17054 search results - page 259 / 3411 » Logics of Dynamical Systems |
200
click to vote
LICS
2003
IEEE
16 years 15 days ago
2003
IEEE
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...
205
click to vote
AUTOMATICA
2007
15 years 7 months ago
2007
An image-based strategy for visual servo control of a class of dynamic systems is proposed. The class of systems considered includes dynamic models of unmanned aerial vehicles cap...
158
click to vote
MLG
2007
Springer
16 years 1 months ago
2007
Springer
We introduce a framework for an empirical evaluation of probabilistic logic languages and systems.
208
click to vote
TCS
2008
15 years 7 months ago
2008
Reversible computing is a paradigm where computing models are so defined that they reflect physical reversibility, one of the fundamental microscopic physical property of Nature. ...
185
click to vote
VMCAI
2012
Springer
14 years 2 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...