Sciweavers

2664 search results - page 202 / 533
» Theory of processes
Sort
View
SKG
2005
IEEE
15 years 11 months ago
The Reasoning Mechanism of Fuzzy Cognitive Maps
: Fuzzy Cognitive Maps (FCMs) can represent and reason causal knowledge with stronger semantics. And the causal knowledge widely exists in Knowledge Grid. To provide information se...
Xiang-Feng Luo, Er-Lin Yao
HICSS
2003
IEEE
128views Biometrics» more  HICSS 2003»
15 years 11 months ago
Developing a Community Vision: The Case of a Regional United Way
This paper provides descriptive research about a successful collaborative vision development process undertaken for a regional United Way. The entire process from learning about t...
Bradd C. Hayes
GEOINFO
2004
15 years 7 months ago
Spatio-Temporal Database Constraints for Spatial Dynamic Simulation
: Spatial Dynamic Simulation Systems have three main components: the space dimension, the time dimension and the dynamic process. Dynamic processes have been modeled by transition ...
Bianca Maria Pedrosa, Luiz Camolesi Jr., Gilberto ...
FM
1999
Springer
97views Formal Methods» more  FM 1999»
15 years 10 months ago
Sensors and Actuators in TCOZ
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
Brendan P. Mahony, Jin Song Dong
AMAST
1998
Springer
15 years 10 months ago
Scheduling Algebra
The goal of this paper is to develop an algebraic theory of process scheduling. We specify a syntax for denoting processes composed of actions with given durations. Subsequently, w...
Rob J. van Glabbeek, Peter Rittgen