1902 search results - page 72 / 381 » Differential Dynamic Logics |
132
click to vote
ENTCS
2008
15 years 5 months ago
2008
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
113
click to vote
ISCAS
2003
IEEE
15 years 10 months ago
2003
IEEE
A closed form expression for the rise time of a gate driving a distributed RLC line is introduced that is within 8% of dynamic circuit simulations for a wide range of RLC loads. I...
128
click to vote
ICRA
2002
IEEE
15 years 10 months ago
2002
IEEE
A new extremal distance tracking algorithm is presented for parametric curves and surfaces undergoing rigid body motion. The essentially geometric extremization problem is transfo...
152
click to vote
AIML
2004
15 years 6 months ago
2004
In this paper we study the relation between two approaches to information change: Dynamic Epistemic Logic and Belief Revision. One of the main differences between these approaches...
187
click to vote
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...