895 search results - page 60 / 179 » A User Guide to HyTech |
134
click to vote
TOG
2010
14 years 10 months ago
2010
Moving garments and other cloth objects exhibit dynamic, complex wrinkles. Generating such wrinkles in a virtual environment currently requires either a time-consuming manual desi...
136
click to vote
NAR
2011
14 years 7 months ago
2011
The stability, localization and translation rate of mRNAs are regulated by a multitude of RNAbinding proteins (RBPs) that find their targets directly or with the help of guide RNA...
163
click to vote
LPAR
2012
Springer
13 years 11 months ago
2012
Springer
E-matching is the most commonly used technique to handle quantifiers in SMT solvers. It works by identifying characteristic subexpressions of quantified formulae, named triggers,...
161
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
Modeling objects using formal grammars has recently regained much attention in computer vision. Probabilistic logic programming, such as Bilattice based Logical Reasoning (BLR), i...
134
click to vote
TVCG
2012
13 years 6 months ago
2012
—This paper presents an interactive system for creating painterly animation from video sequences. Previous approaches to painterly animation typically emphasize either purely aut...