9119 search results - page 134 / 1824 » A Simultaneous Search Problem |
105
Voted
SPIN
2009
Springer
15 years 7 months ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
104
click to vote
AAMAS
1998
Springer
15 years 14 days ago
1998
Springer
Since real-time search provides an attractive framework for resource-bounded problem solving, this paper extends the framework for autonomous agents and for a multiagent world. To ...
83
Voted
SODA
2010
ACM
15 years 10 months ago
2010
ACM
Searching for a point in the plane is a well-known search game problem introduced in the early eigthies. The best known search strategy is given by a spiral and achieves a competi...
87
Voted
SMI
1999
IEEE
15 years 5 months ago
1999
IEEE
We discuss how to solve variational constraint problems involving points, lines and planes. We concentrate on small problems that must be solved simultaneously.
114
click to vote
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We describe and critique the convergence properties of filterbased evolutionary pattern search algorithms (F-EPSAs). F-EPSAs implicitly use a filter to perform a multi-...