2266 search results - page 377 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
149
click to vote
ICDCS
2003
IEEE
15 years 9 months ago
2003
IEEE
Writing correct distributed programs is hard. In spite of extensive testing and debugging, software faults persist even in commercial grade software. Many distributed systems, esp...
120
click to vote
CA
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents a new method for editing an existing motion to satisfy a set of user-specified constraints, and in doing so guaranteeing the kinematic and dynamic soundness o...
159
click to vote
INFOCOM
2002
IEEE
15 years 9 months ago
2002
IEEE
—In this paper, we introduce a cross-layer design framework to the multiple access problem in contention-based wireless ad hoc networks. The motivation for this study is twofold,...
125
click to vote
RTSS
1998
IEEE
15 years 8 months ago
1998
IEEE
suitable disk layout and network transmission schedule to minimize allocated resources (buffer size, bandwidth, ..., etc.) with maximum resource utilization. In this paper, the rea...
128
click to vote
AAAI
1992
15 years 5 months ago
1992
models require the identi cation of abstractions and approximations that are well suited to the task at hand. In this paper we analyze the problem of automatically selecting adequ...