Sciweavers

6957 search results - page 242 / 1392
» Planning before plans
Sort
View
IJRR
2008
115views more  IJRR 2008»
15 years 6 months ago
Planning High-quality Paths and Corridors Amidst Obstacles
The motion-planning problem, involving the computation of a collision-free path for a moving entity amidst obstacles, is a central problem in fields like Robotics and Game Design....
Ron Wein, Jur P. van den Berg, Dan Halperin
210
Voted
JAIR
2008
107views more  JAIR 2008»
15 years 6 months ago
Planning with Durative Actions in Stochastic Domains
Probabilistic planning problems are typically modeled as a Markov Decision Process (MDP). MDPs, while an otherwise expressive model, allow only for sequential, non-durative action...
Mausam, Daniel S. Weld
SIGOPS
2008
183views more  SIGOPS 2008»
15 years 6 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
INFORMATICALT
2007
76views more  INFORMATICALT 2007»
15 years 6 months ago
An Integrative Framework to Protocol Analysis and Repair: Bellare-Rogaway Model + Planning + Model Checker
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
Kim-Kwang Raymond Choo
CCE
2005
15 years 6 months ago
Integrating CDU, FCC and product blending models into refinery planning
The accuracy of using linear models for crude distillation unit (CDU), fluidize-bed catalytic cracker (FCC) and product blending in refinery planning has been debated for decades....
Wenkai Li, Chi-Wai Hui, AnXue Li