Sciweavers

420 search results - page 12 / 84
» Temporal reasoning in process planning
Sort
View
VL
2007
IEEE
125views Visual Languages» more  VL 2007»
14 years 4 months ago
Visual Reasoning by Generalized Interval-values and Interval Temporal Logic
Interval-valued computation is an unconventional computing paradigm. It is an idealization of classical 16-, 32-, 64- etc. bit based computations. It represents data as specific ...
Benedek Nagy, Sándor Vályi
IEAAIE
2000
Springer
14 years 1 months ago
Modeling of, and Reasoning with Recurrent Events with Imprecise Durations
In this paper we study how the framework of Petri nets can be extended and applied to study recurrent events. We use possibility theory to realistically model temporal properties o...
Stanislav Kurkovsky, Rasiah Loganantharaj
AINA
2008
IEEE
14 years 4 months ago
Performance Optimization of Temporal Reasoning for Grid Workflows Using Relaxed Region Analysis
With quick evolution of grid technologies and increasing complexity of e-Science applications, reasoning temporal properties of grid workflows to ensure reliability and trustworth...
Ke Xu, Junwei Cao, Lianchen Liu, Cheng Wu
CAEPIA
2003
Springer
14 years 3 months ago
A Model for Fuzzy Temporal Reasoning on a Database
In decision support systems for Intensive Care Units (ICU), the data management subsystem plays an essential role since the data have a heterogeneous origin. The temporal dimension...
Manuel Campos, José Palma, Roque Marí...
IJCAI
2003
13 years 11 months ago
Incremental Tractable Reasoning about Qualitative Temporal Constraints
In many applications of temporal reasoning we are in­ terested in reasoning incrementally In particular, given a CSP of temporal constrains and a new constraint, we want to maint...
Alfonso Gerevini