89 search results - page 2 / 18 » Abstraction Heuristics Extended with Counting Abstractions |
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
In this extended abstract we summarize our consulting work, scientiļ¬c research, and activism in the topic of electronic (computer-based) voting. The Dutch and Irish governmentā...
WDAG
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Distributed computing must adapt its techniques to networks of mobile agents. Indeed, we are facing new problems like the small size of memory and the lack of computation...
LICS
1998
IEEE
13 years 9 months ago
1998
IEEE
Hierarchies (Extended Abstract) Jan Johannsen Chris Pollett Department of Mathematics Department of Computer Science University of California, San Diego Boston University La Jolla,...
CSL
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. The notion of graph polynomials definable in Monadic Second Order Logic, MSOL, was introduced in [Mak04]. It was shown that the Tutte polynomial and its generalization, a...
SFP
2000
13 years 6 months ago
2000
Abstract: Parallel heuristic search algorithms are widely used in artificial intelligence. This paper describes novel parallel variants of two standard sequential search algorithms...