254 search results - page 33 / 51 » Evaluation Strategies for Planning as Satisfiability |
ICCAD
2002
IEEE
14 years 4 months ago
2002
IEEE
Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, etc. Further use...
COOPIS
2002
IEEE
14 years 26 days ago
2002
IEEE
Abstract. The following paper describes recent work on NED-2, an intelligent information system for ecosystem management currently in development by the USDA Forest Service. Using ...
SIGMOD
2003
ACM
14 years 8 months ago
2003
ACM
The W3C XQuery language recommendation, based on a hierarchical and ordered document model, supports a wide variety of constructs and use cases. There is a diversity of approaches...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— This paper describes our successful implementation of a robot that autonomously and strategically removes multiple blocks from an unstable Jenga tower. We present an in...
IROS
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper reports an autonomous cooperative navigation system for robot formations in realistic scenarios. The formation movement control is based on a virtual structure compo...