5243 search results - page 350 / 1049 » Reasoning About Strategies |
158
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Deciding what to branch on at each node is a key element of search algorithms. We present four families of methods for selecting what question to branch on. They are all informati...
161
click to vote
ERCIMDL
2006
Springer
15 years 10 months ago
2006
Springer
Annotation-based discussions are an important concept for today's digital libraries and those of the future, containing additional information to and about the content managed...
187
click to vote
ISER
2000
Springer
15 years 10 months ago
2000
Springer
: Automatic model construction is a core problem in mobile robotics. To solve this task efficiently, we need a motion strategy to guide a robot equipped with a range sensor through...
162
click to vote
IPPS
1995
IEEE
15 years 10 months ago
1995
IEEE
The RACE R
parallel computer system provides a highperformance parallel interconnection network at low cost. This paper describes the architecture and implementation of the RACE ...
212
click to vote
DALT
2008
Springer
15 years 8 months ago
2008
Springer
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...