4047 search results - page 744 / 810 » Algebraic Model Checking |
105
click to vote
JFR
2008
15 years 19 days ago
2008
A novel method for estimating vehicle roll, pitch and yaw using machine vision and inertial sensors is presented that is based on matching images captured from an on-vehicle camer...
106
Voted
DEDS
2007
15 years 19 days ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
124
click to vote
ENTCS
2007
15 years 19 days ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
96
Voted
ENTCS
2007
15 years 19 days ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
111
click to vote
KI
2006
Springer
15 years 19 days ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...