4341 search results - page 341 / 869 » Quantitative Model checking |
149
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Organ deformation between preoperative image data and the patient in the OR is the main obstacle for using surgical navigation systems in liver surgery. Our approach is to provide ...
166
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Peephole interaction occurs when a spatially aware display is moved and acts as a viewport to reveal different parts of the virtual space that cannot all fit within the display at...
187
click to vote
ESCIENCE
2007
IEEE
16 years 1 months ago
2007
IEEE
Simulation studies of Grid scheduling strategies require representative workloads to produce dependable results. Real production Grid workloads have shown diverse correlation stru...
156
click to vote
ICRA
2005
IEEE
16 years 10 days ago
2005
IEEE
— We propose a dynamics model of galvanotaxis (locomotor response to electrical stimulus) of the protozoan Paramecium. Our purpose is to utilize microorganisms as microrobots by ...
180
click to vote
ASAP
2000
IEEE
15 years 11 months ago
2000
IEEE
High level modeling and (quantitative) performance analysis of signal processing systems requires high level models for the applications(algorithms) and the implementations (archi...