2907 search results - page 450 / 582 » Presentations of Structures in Admissible Sets |
173
click to vote
ACCV
2006
Springer
16 years 2 days ago
2006
Springer
This paper presents a method of image-based 3D modeling for intricately-shaped objects, such as a fur, tree leaves and human hair. We formulate the imaging process of these small g...
142
click to vote
ERLANG
2006
ACM
16 years 2 days ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
154
click to vote
VALUETOOLS
2006
ACM
16 years 1 days ago
2006
ACM
We present the software tool “Web Graph Analyzer”. This tool is designed to perform a comprehensive analysis of the Web Graph structure. By Web Graph we mean a graph whose ver...
170
click to vote
ICRA
2005
IEEE
15 years 11 months ago
2005
IEEE
— This paper is concerned with the problem of identifying robust equilibrium postures of a planar mechanism supported by fixed frictional contacts in a twodimensional gravitation...
153
click to vote
SIBGRAPI
2005
IEEE
15 years 11 months ago
2005
IEEE
The design of W-operators from a set of input/output examples for large windows is a hard problem. From the statistical standpoint, it is hard because of the large number of examp...