5331 search results - page 721 / 1067 » Algebraic Methods for Optimization Problems |
183
click to vote
ECCV
2010
Springer
16 years 3 days ago
2010
Springer
Abstract. This paper presents a novel and efficient method for locating deformable shapes in cluttered scenes. The shapes to be detected may undergo arbitrary translational and rot...
301
click to vote
DAGM
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents an approach for applying a dual quaternion hand– eye calibration algorithm on an endoscopic surgery robot. Special focus is on robustness, since the error of ...
213
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
139
Voted
ESWS
2010
Springer
15 years 11 months ago
2010
Springer
Recent research has shown that annotations are useful for representing access restrictions to the axioms of an ontology and their implicit consequences. Previous work focused on as...
195
Voted
CBMS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents the developement of a novel, fullyautomatic tracking and segmentation system to extract the boundary of the carotid artery from ultrasound images in real-time....