Sciweavers

7890 search results - page 47 / 1578
» The MathSAT 3 System
Sort
View
ICRA
2009
IEEE
414views Robotics» more  ICRA 2009»
14 years 2 months ago
A Stereoscopic Fibroscope for Camera Motion and 3D Depth Recovery During Minimally Invasive Surgery
This paper introduces a stereoscopic fibroscope imaging system for Minimally Invasive Surgery (MIS) and examines the feasibility of utilizing images transmitted from the distal ...
David Noonan, Peter Mountney, Daniel Elson, Ara ...
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
14 years 6 days ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
CVPR
2012
IEEE
11 years 11 months ago
3D landmark model discovery from a registered set of organic shapes
We present a machine learning framework that automatically generates a model set of landmarks for some class of registered 3D objects: here we use human faces. The aim is to repla...
Clement Creusot, Nick Pears, Jim Austin
PPL
2008
101views more  PPL 2008»
13 years 8 months ago
Skeletal Parallel Programming with OCamlP3l 2.0
Parallel programming has proven to be an effective technique to improve the performance of computationally intensive applications. However, writing parallel programs is not easy, ...
Roberto Di Cosmo, Zheng Li, Susanna Pelagatti, Pie...
SCL
2008
106views more  SCL 2008»
13 years 8 months ago
Output-feedback control for stabilization on SE(3)
This paper addresses the problem of stabilizing systems that evolve on SE(3). The proposed solution consists of an output-feedback controller that guarantees almost global asympto...
Rita Cunha, Carlos Silvestre, João Pedro He...