Sciweavers

99 search results - page 3 / 20
» Temporal Integrity Constraints with Indeterminacy
Sort
View
MFCS
1997
Springer
13 years 10 months ago
Integrating the Specification Techniques of Graph Transformation and Temporal Logic
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Co...
AICOM
2004
37views more  AICOM 2004»
13 years 5 months ago
Integrating quantitative and qualitative fuzzy temporal constraints
Silvana Badaloni, Marco Falda, Massimiliano Giacom...
AIPS
1994
13 years 7 months ago
Managing Dynamic Temporal Constraint Networks
This paper concerns the specialization of arcconsistency algorithms for constraint satisfaction in the management of quantitative temporal constraint networks. Attention is devote...
Roberto Cervoni, Amedeo Cesta, Angelo Oddi
BIOSTEC
2008
148views Healthcare» more  BIOSTEC 2008»
13 years 7 months ago
Representing and Reasoning with Temporal Constraints in Clinical Trials Using Semantic Technologies
Clinical trial protocols include schedule of clinical trial activities such as clinical tests, procedures, and medications. The schedule specifies temporal constraints on the seque...
Ravi D. Shankar, Susana B. Martins, Martin J. O'Co...