Counting Knot Mosaics with ALLSAT (Student Abstract)

Abstract Model Counting

Model Counting: A Novel Approach for Quantification of Information Leaks

Learning Generalized Plans Using Abstract Counting

Given the complexity of planning, it is often beneficial to create plans that work for a wide class of problems. This facilitates reuse of existing plans for different instances drawn from the same problem or from an infinite family of similar problems. We define a class of such planning problems called generalized planning problems and present a novel approach for transforming classical plans ...

Counting RNA pseudoknotted structures ( extended abstract )

In 2004, Condon and coauthors gave a hierarchical classification of exact RNA structure prediction algorithms according to the generality of structure classes that they handle. We complete this classification by adding two recent prediction algorithms. More importantly, we precisely quantify the hierarchy by giving closed or asymptotic formulas for the theoretical number of structures of given ...

Student and Postdoctoral Fellow Abstract Approval Form

Panoramic Mosaics with VideoBrush TM

As the eld of view of a picture is much smaller than our own visual eld of view, it is common to paste together several pictures to create a panoramic mosaic having a larger eld of view. While scissors and glue are the tools used in lm photography, more sophisticated methods were enabled with digital video. Panoramic mosaics can be created by special devices which rotate around the camera's opt...