Sciweavers

88 search results - page 13 / 18
» Intelligent Guidance and Suggestions Using Case-Based Planni...
Sort
View
99
Voted
GI
2009
Springer
14 years 8 months ago
Smart mechatronic driver for surgical trajectory navigation
: The aim of trajectory navigation is to position a surgical instrument along a planned trajectory. Computer assisted navigation systems show maximal flexibility but are limited by...
Matías de la Fuente, Axel Follmann, Sabine ...
95
Voted
IJCAI
1993
14 years 11 months ago
Using Inferred Disjunctive Constraints To Decompose Constraint Satisfaction Problems
Constraint satisfaction problems involve finding values for problem variables that satisfy constraints on what combinations of values are permitted. They have applications in many...
Eugene C. Freuder, Paul D. Hubbe
IJCAI
1989
14 years 11 months ago
Neuroplanners and Their Application to Eyes/Head/Neck Coordination
We review a neuroplanner architecture for use in constructing subcognitive controllers and new application that uses it. These controllers have wo important properties: (1) the ab...
Daryl H. Graf, Wilf R. LaLonde
81
Voted
HUC
1999
Springer
15 years 2 months ago
Exploring Brick-Based Navigation and Composition in an Augmented Reality
BUILD-IT is a planning tool based on computer vision technology, supporting complex planning and composition tasks. A group of people, seated around a table, interact with objects ...
Morten Fjeld, Fred Voorhorst, Martin Bichsel, Kris...
86
Voted
ECAI
2004
Springer
15 years 3 months ago
Guiding a Theorem Prover with Soft Constraints
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
John K. Slaney, Arnold Binas, David Price