5232 search results - page 188 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
116
click to vote
ICDCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
115
click to vote
ICALP
1990
Springer
15 years 6 months ago
1990
Springer
Any tree can be represented in a max/ma//y compact form as a directed acyclic graph where common subtrees are factored and shared, being represented only once. Such a compaction ca...
139
click to vote
3DIM
2007
IEEE
15 years 8 months ago
2007
IEEE
The ICP (Iterative Closest Point) algorithm is the de facto standard for geometric alignment of threedimensional models when an initial relative pose estimate is available. The ba...
IJON
2000
15 years 1 months ago
2000
Central pattern generators (CPGs) have traditionally been modeled as sets of coupled bistable oscillators [2]. We present a framework for constructing models which avoid the short...
147
click to vote
NIPS
2008
15 years 3 months ago
2008
Motor primitives or motion templates have become an important concept for both modeling human motor control as well as generating robot behaviors using imitation learning. Recent ...