48 search results - page 4 / 10 » Integrating quantitative and qualitative fuzzy temporal cons... |
TCS
2008
13 years 7 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
AIPS
1994
13 years 8 months ago
1994
This paper concerns the specialization of arcconsistency algorithms for constraint satisfaction in the management of quantitative temporal constraint networks. Attention is devote...
AAAI
2010
13 years 8 months ago
2010
Quantitative modeling plays a key role in the natural sciences, and systems that address the task of inductive process modeling can assist researchers in explaining their data. In...
IJCAI
2003
13 years 8 months ago
2003
Temporal Constraint Satisfaction Problems allow for reasoning with events happening over time. Their expressiveness has been extended independently in two directions: to account f...
CVPR
2001
IEEE
14 years 9 months ago
2001
IEEE
A method for temporally integrating appearance-based body-part labelling is presented. We begin by modifying the silhouette labelling method of Ghost[4]; that system first determi...