971 search results - page 115 / 195 » Approximate Satisfiability and Equivalence |
83
Voted
ICDM
2005
IEEE
15 years 6 months ago
2005
IEEE
We consider the problem of integrating a large number of interface schemas over the Deep Web, The scale of the problem and the diversity of the sources present serious challenges ...
106
click to vote
ISCAS
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— Interconnect has become a primary bottleneck in integrated circuit design. As CMOS technology is scaled, it will become increasingly difficult for conventional copper ...
100
click to vote
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...
115
Voted
ISER
2004
Springer
15 years 6 months ago
2004
Springer
This paper reports on experiments conducted as part of the DARPA SDR (Software for Distributed Robotics) program. The core challenge for this program is to develop a system capable...
ISAAC
2001
Springer
15 years 5 months ago
2001
Springer
We consider a problem faced by train companies: How can trains be assigned to satisfy scheduled routes in a cost efficient way? Currently, many railway companies create solutions b...