3552 search results - page 530 / 711 » Proof theory in the abstract |
179
click to vote
CEEMAS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We are interested in understanding and simulating how humans elaborate plans in situations where knowledge is incomplete and how they interact to obtain missing informati...
155
click to vote
COLT
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We establish a generic theoretical tool to construct probabilistic bounds for algorithms where the output is a subset of objects from an initial pool of candidates (or mo...
172
click to vote
ECAL
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The paper presents a method to guide the self-organised development of behaviours of autonomous robots. In earlier publications we demonstrated how to use the homeokinesi...
134
click to vote
ESA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We present a new algorithm that can output the rankdecomposition of width at most k of a graph if such exists. For that we use an algorithm that, for an input matroid rep...
151
click to vote
HYBRID
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The majority of research in control engineering considers periodic or time-triggered control systems with equidistant sample intervals. However, practical cases abound in...