932 search results - page 21 / 187 » Verifying Progress in Timed Systems |
110
click to vote
GW
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. We present a HMM based system for real-time gesture analysis. The system outputs continuously parameters relative to the gesture time progression and its likelihood. Thes...
VLSI
2007
Springer
15 years 5 months ago
2007
Springer
System design complexity is growing rapidly. As a result, current development costs are constantly increasing. It is becoming increasingly difficult to estimate how much time it ...
107
click to vote
QEST
2006
IEEE
15 years 5 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
106
click to vote
ENTCS
2007
14 years 11 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
ENTCS
2002
14 years 11 months ago
2002
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...