6020 search results - page 384 / 1204 » A New Approach to Model Counting |
148
click to vote
GRC
2008
IEEE
15 years 7 months ago
2008
IEEE
Research on auto-harmonizing a melody (e.g. Chinese folksong) with piano accompaniment is trying to build up a computer system which generates a 3voice music including piano left-...
165
click to vote
CGF
2008
15 years 7 months ago
2008
We present a novel representation and algorithm, ReduceM, for memory efficient ray tracing of large scenes. ReduceM exploits the connectivity between triangles in a mesh and decom...
203
click to vote
IJBRA
2006
15 years 6 months ago
2006
: Stochastic Context-Free Grammars (SCFG) has been shown to be effective in modelling RNA secondary structure for searches. Our previous work (Cai et al., 2003) in Stochastic Paral...
132
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— We present a new retraction algorithm for high DOF articulated models and use our algorithm to improve the performance of RRT planners in narrow passages. The retraction step i...
186
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— It is frequently accepted in the manipulation literature that tactile sensing is needed to improve the precision of robot manipulation. However, there is no consensus on how th...