7820 search results - page 240 / 1564 » Formalization of Time and Space |
208
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes a spatio-temporal configurations building approach, which has been applied to dynamics points in 1-dimensional space. In this approach, a temporal logic, Allen...
207
click to vote
ICTAI
2003
IEEE
2003
IEEE
Partitioning of Temporal Planning Problems in Mixed Space Using the Theory of Extended Saddle Points
16 years 15 days ago
We study the partitioning of temporal planning problems formulated as mixed-integer nonlinear programming problems, develop methods to reduce the search space of partitioned subpr...
166
click to vote
DATE
2002
IEEE
16 years 6 days ago
2002
IEEE
This paper proposes a comprehensive model for test planning in a core-based environment. The main contribution of this work is the use of several types of TAMs and the considerati...
187
click to vote
ICRA
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper provides an overview of our selection process for proximity sensors for manipulator collision avoidance. Five categories of sensors have been considered for this use in...
134
click to vote
BILDMED
2004
15 years 8 months ago
2004
We present a procedure for the segmentation of the mastoid - a sponge-like bone structure behind the middle ear - from CT Images. This segmentation is a first pre-operative step fo...