254 search results - page 47 / 51 » Evaluation Strategies for Planning as Satisfiability |
ROBOCOMM
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract—A major barrier to advancing modern wireless networking research is the lack of an effective wireless network simulation platform that simultaneously offers high fideli...
RTAS
1999
IEEE
14 years 4 days ago
1999
IEEE
We present a QoS management framework that enables us to quantitatively measure QoS, and to analytically plan and allocate resources. In this model, end users' quality prefer...
FOCS
1998
IEEE
14 years 3 days ago
1998
IEEE
This paper deals with the evaluation of acyclic Boolean conjunctive queries in relational databases. By well-known results of Yannakakis [1981], this problem is solvable in polynom...
SIGUCCS
2000
ACM
14 years 6 days ago
2000
ACM
Wabash College has initiated an innovative strategy to solve technology staffing problems experienced by many small undergraduate liberal arts colleges. This strategy targets stud...
RTAS
2007
IEEE
14 years 2 months ago
2007
IEEE
Over the last thirty years, the MIL-STD 1553B data bus has been used in many embedded systems, like aircrafts, ships, missiles and satellites. However, the increasing number and c...