Sciweavers

7557 search results - page 584 / 1512
» Modeling Timed Concurrent Systems
Sort
View
ENTCS
2006
136views more  ENTCS 2006»
15 years 7 months ago
Automated Game Analysis via Probabilistic Model Checking: a case study
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
Paolo Ballarini, Michael Fisher, Michael Wooldridg...
BIRTHDAY
2009
Springer
16 years 1 months ago
Data Modeling in Dataspace Support Platforms
Data integration has been an important area of research for several years. However, such systems suffer from one of the main drawbacks of database systems: the need to invest signi...
Anish Das Sarma, Xin Luna Dong, Alon Y. Halevy
WSC
2004
15 years 8 months ago
Decision Tree Module Within Decision Support Simulation System
Decision trees are one of the most easy to use tools in decision analysis. Problems where decision tree branches are based on random variables have not received much attention. Th...
Mohamed Moussa, Janaka Y. Ruwanpura, George Jergea...
CDC
2009
IEEE
122views Control Systems» more  CDC 2009»
15 years 4 months ago
Reduced complexity models in the identification of dynamical networks: Links with sparsification problems
In many applicative scenarios it is important to derive information about the topology and the internal connections of more dynamical systems interacting together. Examples can be ...
Donatello Materassi, Giacomo Innocenti, Laura Giar...
ICPR
2004
IEEE
16 years 8 months ago
Evaluation of Model-Based Interactive Flower Recognition
We introduce the concept of Computer Assisted Visual InterActive Recognition (CAVIAR). In CAVIAR, a parameterized geometrical model serves as the human-computer communication chan...
Jie Zou, George Nagy