1421 search results - page 193 / 285 » Satisfying KBO Constraints |
167
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
211
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Retrieval queries that combine structural constraints with keyword search represent a significant challenge to XML data management systems. Queries are expected to be answered as...
182
click to vote
ICPADS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we address one of the Wireless Sensor Network (WSN) management problems – optimization on the execution of multiple commands. The objective of the paper is to pro...
185
click to vote
ISCA
2007
IEEE
16 years 1 months ago
2007
IEEE
Concern for the increasing susceptibility of processor structures to transient errors has led to several recent research efforts that propose architectural techniques to enhance r...
189
click to vote
FSR
2007
Springer
16 years 1 months ago
2007
Springer
Sampling in the space of controls or actions is a well-established method for ensuring feasible local motion plans. However, as mobile robots advance in performance and competence ...