812 search results - page 13 / 163 » A Complete Guide to the Future |
190
click to vote
Presentation
A hand-held surgical probe is an essential component of any image-guided neurosurgery (IGNS). During the surgical procedure, the IGNS tracks the probe position and displays the ana...
SAT
2009
Springer
15 years 4 months ago
2009
Springer
Recent work has shown the value of using unsatisfiable cores to guide maximum satisfiability algorithms (Max-SAT) running on industrial instances [5,9,10,11]. We take this concep...
ICRA
2007
IEEE
15 years 3 months ago
2007
IEEE
— In order to provide improved convenience for a surgeon in spinal fusion surgery, a robot system should i) closely engage in surgeon’s operation using an end effector, and ii)...
AIPS
2004
14 years 11 months ago
2004
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...
108
click to vote
HICSS
1994
IEEE
15 years 1 months ago
1994
IEEE
This paper examines the facilitator, group member, and system roles as a complete socio-technical system. Each of these three components of the sociotechnical system is discussed ...