1307 search results - page 80 / 262 » Follow the intellectual property |
145
click to vote
AAAI
2012
13 years 3 months ago
2012
A tailored model of a system is the prerequisite for various analysis tasks, such as anomaly detection, fault identification, or quality assurance. This paper deals with the algo...
ACRI
2006
Springer
15 years 7 months ago
2006
Springer
This paper propose a maze routing algorithm based on cellular automata. The aim of this algorithm is find the shortest path between the source cell and the target cell , so that th...
AUTOMATICA
2007
15 years 1 months ago
2007
— We consider a formation control system where individual systems are controlled by a path-following design and the path variables are to be synchronized. We first show a passiv...
105
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We give a novel proof of the existence of Nash equilibria in all finite games without using fixed point theorems or path following arguments. Our approach relies on a new notion i...
107
click to vote
SLOGICA
2008
15 years 1 months ago
2008
We study the proof-theoretic relationship between two deductive systems for the modal mu-calculus. First we recall an infinitary system which contains an omega rule allowing to de...