5608 search results - page 139 / 1122 » Structure description tools |
144
click to vote
CVPR
2000
IEEE
16 years 5 months ago
2000
IEEE
Inferring both 3D structure and motion of nonrigid objects from monocular images is an important problem in computational vision. The challenges stem not only from the absence of ...
118
click to vote
JUCS
2006
15 years 3 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
102
click to vote
ECAL
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Recent work in the field of computational evolutionary linguistics suggests that the dynamics arising from the cultural evolution of language can explain the emergence o...
142
click to vote
GRAPHICSINTERFACE
1997
15 years 4 months ago
1997
We present a modelling method and graphical user interface for the creation of natural branching structures such as plants. Structural and geometric information is encapsulated in...
102
click to vote
NAR
2002
15 years 2 months ago
2002
The GeneNet database is designed for accumulation of information on gene networks. Original technology applied in GeneNet enables description of not only a gene network structure ...