797 search results - page 43 / 160 » Observing Success in the Pi-Calculus |
82
Voted
MICCAI
2007
Springer
15 years 10 months ago
2007
Springer
We present a novel method to track a guidewire in cardiac x-ray video. Using variational calculus, we derive differential equations that deform a spline, subject to intrinsic and e...
72
Voted
IPMI
2005
Springer
15 years 10 months ago
2005
Springer
Deformable template models, in which a shape model and its corresponding appearance model are deformed to optimally fit an object in the image, have proven successful in many medic...
78
Voted
ICML
2008
IEEE
15 years 10 months ago
2008
IEEE
We present an algorithm, HI-MAT (Hierarchy Induction via Models And Trajectories), that discovers MAXQ task hierarchies by applying dynamic Bayesian network models to a successful...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Software engineering researchers solve problems of several different kinds. To do so, they produce several different kinds of results, and they should develop appropriate evidence...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Benchmarks have been used in computer science to compare the performance of computer systems, information retrieval algorithms, databases, and many other technologies. The creatio...