26 search results - page 6 / 6 » An Efficient Sequential SAT Solver With Improved Search Stra... |
RAS
2000
13 years 5 months ago
2000
A mobile agent with the task to classify its sensor pattern has to cope with ambiguous information. Active recognition of three-dimensional objects involves the observer in a sear...