11234 search results - page 373 / 2247 » A Microsurgery Simulation System |
178
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
The need to register data is abundant in applications such as: world modeling, part inspection and manufacturing, object recognition, pose estimation, robotic navigation, and reve...
202
click to vote
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
150
Voted
ACISICIS
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper presents a parallel algorithm for computer simulation of Electrocardiogram (ECG) based on a 3-dimensional (3D) whole-heart model. The computer heart model includes ap...
195
click to vote
APN
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...
151
click to vote
AAAI
2008
15 years 9 months ago
2008
With the aim of fluency and efficiency in human-robot teams, we have developed a cognitive architecture based on the neuro-psychological principles of anticipation and perceptual ...