3678 search results - page 421 / 736 » On the Stable Paths Problem |
158
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Needle insertion for percutaneous therapies is formulated as a trajectory planning and control problem. A new concept of needle steering is developed and a Needle Manipulation Jaco...
198
click to vote
PODS
2004
ACM
16 years 6 months ago
2004
ACM
The problem of deciding query containment has important applications in classical query optimization and heterogeneous database systems. Query containment is undecidable for unres...
175
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
In this paper, we consider the design of a policy-based routing system and the role that link state might play. Looking at the problem from a link-state perspective, we propose Ce...
207
Voted
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...
164
click to vote
GBRPR
2007
Springer
16 years 26 days ago
2007
Springer
Spatial relations play a crucial role in model-based image recognition and interpretation due to their stability compared to many other image appearance characteristics. Graphs are...