Sciweavers

638 search results - page 47 / 128
» A New Approach to Tractable Planning
Sort
View
AIPS
2000
13 years 9 months ago
Merging Plans with Quantitative Temporal Constraints, Temporally Extended Actions, and Conditional Branches
We develop an algorithm for merging plans that are represented in a richly expressive language. Speci cally, weare concerned with plans that have i quantitative temporal constrain...
Ioannis Tsamardinos, Martha E. Pollack, John F. Ho...
ICRA
2007
IEEE
124views Robotics» more  ICRA 2007»
14 years 1 months ago
Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
Uluc Saranli, Frank Pfenning
ICRA
2000
IEEE
150views Robotics» more  ICRA 2000»
14 years 20 hour ago
Path Planning in Image Space for Robust Visual Servoing
Vision feedback control loop techniques are efficient for a great class of applications but they come up against difficulties when the initial and desired positions of the camer...
Youcef Mezouar, François Chaumette
IIS
2000
13 years 9 months ago
Applying Data Mining Methods for Cellular Radio Network Planning
: This paper contains description of an knowledge discovery experiment performed in radio planning department of one of Polish celular telecom providers. The results of using vario...
Piotr Gawrysiak, Michal Okoniewski
SIGOPS
2008
183views more  SIGOPS 2008»
13 years 7 months ago
Plan 9 authentication in Linux
In Linux, applications like su and login currently run as root in order to access authentication information and set or alter the identity of the process. In such cases, if the ap...
Ashwin Ganti