994 search results - page 181 / 199 » Custom Computing Machines for the Set Covering Problem |
129
click to vote
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
112
Voted
AAAI
1998
15 years 1 months ago
1998
The World Wide Web is a vast source of information accessible to computers, but understandable only to humans. The goal of the research described here is to automatically create a...
113
Voted
IJRR
2008
15 years 17 days ago
2008
Robots must complete their tasks in spite of unreliable actuators and limited, noisy sensing. In this paper, we consider the information requirements of such tasks. What sensing a...
99
Voted
ECMDAFA
2005
Springer
15 years 6 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
98
Voted
COLT
2004
Springer
15 years 6 months ago
2004
Springer
: We introduce a graph-theoretic generalization of classical Arrow-Debreu economics, in which an undirected graph specifies which consumers or economies are permitted to engage in...