Sciweavers

1941 search results - page 50 / 389
» The representation of planning strategies
Sort
View
ICRA
2002
IEEE
78views Robotics» more  ICRA 2002»
14 years 18 days ago
A Sensorless Insertion Strategy for Rigid Planar Parts
The companion paper [2] derives an algorithm that determines the external wrenches consistent with constraints on the contact interactions between two rigid planar bodies. In this...
Devin J. Balkcom, E. J. Gottlieb, Jeffrey C. Trink...
VLSID
2008
IEEE
225views VLSI» more  VLSID 2008»
14 years 8 months ago
Formal Verification of a Public-Domain DDR2 Controller Design
This paper demonstrates a formal verificationplanning process and presents associated verification strategy that we believe is an essential (yet often neglected) step in an ASIC o...
Abhishek Datta, Vigyan Singhal
JAMDS
2000
90views more  JAMDS 2000»
13 years 7 months ago
Stratified filtered sampling in stochastic optimization
We develop a methodology for evaluating a decision strategy generated by a stochastic optimization model. The methodology is based on a pilot study in which we estimate the distri...
Robert Rush, John M. Mulvey, John E. Mitchell, Tho...
AAAI
2006
13 years 9 months ago
Planning with First-Order Temporally Extended Goals using Heuristic Search
Temporally extended goals (TEGs) refer to properties that must hold over intermediate and/or final states of a plan. The problem of planning with TEGs is of renewed interest becau...
Jorge A. Baier, Sheila A. McIlraith
AIPS
2004
13 years 9 months ago
Conformant Planning via Heuristic Forward Search: A New Approach
Conformant planning is the task of generating plans given uncertainty about the initial state and action effects, and without any sensing capabilities during plan execution. The p...
Ronen I. Brafman, Jörg Hoffmann