846 search results - page 93 / 170 » Rewrite-Based Decision Procedures |
189
click to vote
DIALM
2005
ACM
15 years 8 months ago
2005
ACM
The identification of holes in a wireless sensor network is of primary interest since the breakdown of sensor nodes in a larger area often indicates one of the special events to ...
152
Voted
AAAI
2004
15 years 7 months ago
2004
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boo...
170
click to vote
IJCAI
2003
15 years 7 months ago
2003
In this paper we consider the solution of scheduling problems that are inherently over-subscribed. In such problems, there are always more tasks to execute within a given time fra...
131
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The efficiency of current cargo screening processes at sea and air ports is largely unknown as few benchmarks exists against which they could be measured. Some manufacturers provi...
153
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The task of verifying the compatibility between interacting web services has traditionally been limited to checking the compatibility of the interaction protocol in terms...