812 search results - page 13 / 163 » A Complete Guide to the Future |
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
14 years 2 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
14 years 2 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
13 years 9 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'...
HICSS
1994
IEEE
14 years 5 days 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 ...