6253 search results - page 580 / 1251 » Use Case Modeling Guidelines |
185
Voted
ICRA
2009
IEEE
16 years 2 months ago
2009
IEEE
— Active cannulas are a relatively new continuum robot subclass characterized by their use of preshaped tubes that transmit bending moments as they slide within one another and a...
207
Voted
CVPR
1999
IEEE
15 years 11 months ago
1999
IEEE
We introduce an approach to feature-based object recognition, using maximum a posteriori (MAP) estimation under a Markov random field (MRF) model. This approach provides an effici...
179
Voted
CVIU
2008
15 years 7 months ago
2008
This paper addresses the problem of estimating the 3D rigid pose of an object from its digitized X-ray projection. We considered the cases of homogeneous (CAD models) and inhomoge...
214
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
203
click to vote
FOCS
2007
IEEE
16 years 1 months ago
2007
IEEE
We consider approximation algorithms for buy-at-bulk network design, with the additional constraint that demand pairs be protected against edge or node failures in the network. In...