4513 search results - page 553 / 903 » Logic programming with satisfiability |
131
Voted
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
New emerging embedded system platforms in the realm of highthroughput multimedia, imaging, and signal processing will consist of multiple microprocessors and reconfigurable compon...
120
click to vote
WSC
2008
15 years 7 months ago
2008
Proposed and developed is a framework and an extensible library of simulation modeling components for strategic sourcing and transportation. The components include items, supplier...
142
click to vote
CSFW
2008
IEEE
15 years 6 months ago
2008
IEEE
Declassification occurs when the confidentiality of information is weakened; erasure occurs when the confidentiality of information is strengthened, perhaps to the point of comple...
154
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
A data structure is said to be persistent when any update operation returns a new structure without altering the old version. This paper introduces a new notion of persistence, cal...
149
Voted
IJRR
2006
15 years 4 months ago
2006
We describe the design and experimental validation of a large heterogeneous mobile robot team built for the DARPA Software for Distributed Robotics (SDR) program. The core challen...