8201 search results - page 199 / 1641 » Approaching Manual Intelligence |
158
Voted
MICCAI
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Graph Cuts have been shown as a powerful interactive segmentation technique in several medical domains. We propose to automate the Graph Cuts in order to automatically se...
137
click to vote
ICCAD
2005
IEEE
16 years 2 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
139
click to vote
ICRA
2007
IEEE
15 years 12 months ago
2007
IEEE
— This paper presents an approach for producing virtual fixture based on simulated plasticity, which can be used for assisting precise manual manipulations performed by human us...
138
click to vote
LCPC
2007
Springer
15 years 11 months ago
2007
Springer
As modern supercomputing systems reach the peta-flop performance range, they grow in both size and complexity. This makes them increasingly vulnerable to failures from a variety o...
138
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
As development techniques, paradigms and platforms evolve far more quickly than domain applications, software modernization and migration, is a constant challenge to software engin...