276 search results - page 36 / 56 » From Model-Checking to Temporal Logic Constraint Solving |
111
click to vote
ICAPR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper addresses the clustering problem of hidden dynamical systems behind observed multivariate sequences by assuming an interval-based temporal structure in the seq...
ASPDAC
2004
ACM
15 years 6 months ago
2004
ACM
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we use a novel topo...
134
click to vote
ICCV
2011
IEEE
14 years 1 months ago
2011
IEEE
An articulated trajectory is defined as a trajectory that remains at a fixed distance with respect to a parent trajectory. In this paper, we present a method to reconstruct an a...
107
click to vote
NMR
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...
116
click to vote
CHARME
2005
Springer
15 years 6 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...