8828 search results - page 361 / 1766 » Formal methods in practice |
147
Voted
CVRMED
1997
Springer
1997
Springer
An efficient needle injection technique and radiological guidance method for percutaneous procedures
15 years 11 months ago
This paper presents a simple radiologicd image guidance method and robotic system optimized for percutaneous procedures.This simplicity is achieved by combining the proven guidance...
174
click to vote
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
The dynamics of neural and other automata networks are defined to a large extent by their topologies. Artificial evolution constitutes a practical means by which an optimal topolog...
191
click to vote
ESTIMEDIA
2008
Springer
15 years 8 months ago
2008
Springer
Markov random field models provide a robust formulation of low-level vision problems. Among the problems, stereo vision remains the most investigated field. The belief propagation...
173
click to vote
ISTA
2007
15 years 8 months ago
2007
: The evaluation of Information Systems (IS) is a critical process for the successful development of any organizational IT capability. An important class of decision making techniq...
186
click to vote
CADUI
2004
15 years 8 months ago
2004
The development process of hypermedia applications implies very specific problems mainly related, first, to the use of navigational structures, interactive behaviours and multimed...