3333 search results - page 134 / 667 » Abstract Proof Search |
151
click to vote
MST
2010
15 years 2 months ago
2010
Abstract. We describe a heuristic algorithm which searches for spreading clopen sets of a cellular automaton. Then the algorithms searches for the corresponding subshift attractors...
125
click to vote
BEHAVIOURIT
2002
15 years 3 months ago
2002
Abstract. An experiment is reported that compared expandable indexes providing full menu context with sequentialmenus providing only partial context. Menu depth was varied using hi...
120
Voted
MOBILERESPONSE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The coordinated reaction to a large-scale disaster is a challenging research problem. The Robocup rescue simulation league addresses this research problem but is currentl...
124
click to vote
CP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In 1997 we presented ten challenges for research on satisfiability testing [1]. In this paper we review recent progress towards each of these challenges, including our o...
121
click to vote
WADS
1993
Springer
15 years 7 months ago
1993
Springer
Abstract. As a contribution to the recent debate on simple implementations of dictionaries, we present new maintenancealgorithms for balanced trees. In terms of code simplicity, ou...