192 search results - page 39 / 39 » Interactive Modeling of Tree Bark |
CSL
2010
Springer
13 years 11 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
CVPR
1998
IEEE
14 years 11 months ago
1998
IEEE
We describe a vision system that monitors activity in a site over extended periods of time. The system uses a distributed set of sensors to cover the site, and an adaptive tracker...