4688 search results - page 678 / 938 » Dynamics of Control |
174
click to vote
ECTEL
2007
Springer
16 years 27 days ago
2007
Springer
Nowadays, people are in need for continuous learning in order to keep up to date or be upgraded in their job. An infrastructure for lifelong learning requires continuous adaptation...
174
click to vote
FROCOS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...
179
click to vote
FROCOS
2007
Springer
16 years 27 days ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
184
click to vote
ICARIS
2007
Springer
16 years 27 days ago
2007
Springer
This paper presents a novel immune inspired algorithm, named DERA (Dynamic Effector Regulatory Algorithm), aimed at fault detection and other anomaly detection problems. It integr...
154
click to vote
ISVC
2007
Springer
16 years 27 days ago
2007
Springer
This paper presents a new image-space algorithm for real-time collision detection, where the GPU computes the potentially colliding sets, and the CPU performs the standard triangle...