1743 search results - page 268 / 349 » Generalized Modal Satisfiability |
97
Voted
FOCM
2010
15 years 1 months ago
2010
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
123
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract— Trajectory planning and optimization is a fundamental problem in articulated robotics. It is often viewed as a two phase problem of initial feasible path planning aroun...
150
Voted
IJCGA
2010
15 years 1 months ago
2010
This paper is concerned with on-line problems where a mobile robot of size D has to achieve a task in an unknown planar environment whose geometry is acquired by the robot during ...
129
Voted
JUCS
2010
15 years 1 months ago
2010
: Given a multiple power sum (extending polynomial’s exponents to real numbers), the positive root isolation problem is to find a list of disjoint intervals, satisfying that the...
133
click to vote
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
Situated software systems are an emerging class of systems that are predominantly pervasive, embedded, and mobile. They are marked with a high degree of unpredictability and dynam...