3765 search results - page 127 / 753 » Qualitative Action Systems |
120
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
The piecewise-linear approximation technique developed by Juli´an et al. in the past few years is applied to dynamical systems dependent on given numbers of state variables and p...
165
click to vote
ASIAN
2003
Springer
15 years 9 months ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
104
Voted
AAAI
2007
15 years 6 months ago
2007
The main focus in the area of action languages, such as GOLOG, was put on expressive power, while the development in the area of action planning was focused on efficient plan gen...
146
click to vote
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...
127
Voted
ISMAR
2006
IEEE
15 years 10 months ago
2006
IEEE
This poster presents a qualitative user study investigating user experience and acceptance of an MR application designed to give instructions on how to start up a diathermy appara...