12568 search results - page 2306 / 2514 » Selective user interaction |
132
click to vote
ICCV
1995
IEEE
15 years 8 months ago
1995
IEEE
This paper presents a topologically adaptable snakes model for image segmentation and object representation. The model is embedded in the framework of domain subdivision using sim...
152
click to vote
ASM
2010
ASM
15 years 7 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
120
click to vote
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
Method overloading is a controversial language feature, especially in the context of Object Oriented languages, where its interaction with overriding may lead to confusing semantic...
152
click to vote
SCA
2007
15 years 6 months ago
2007
We present a new approach to character skinning where divergence-free vector fields induced by skeletal motion, describe the velocity of skin deformation. The joint transformation...
125
click to vote
VISSYM
2007
15 years 6 months ago
2007
For displaying a dense graph, an adjacency matrix is superior than a node-link diagram because it is more compact and free of visual clutter. A node-link diagram, however, is far ...