192 search results - page 39 / 39 » Interactive Modeling of Tree Bark |
CSL
2010
Springer
15 years 26 days 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...
127
click to vote
CVPR
1998
IEEE
16 years 1 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...