Sciweavers

1561 search results - page 164 / 313
» Probability Theory on IF Events
Sort
View
QSIC
2009
IEEE
15 years 4 months ago
From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
Valentin Chimisliu, Christian Schwarzl, Bernhard P...
BPM
2009
Springer
168views Business» more  BPM 2009»
15 years 4 months ago
Divide-and-Conquer Strategies for Process Mining
The goal of Process Mining is to extract process models from logs of a system. Among the possible models to represent a process, Petri nets is an ideal candidate due to its graphic...
Josep Carmona, Jordi Cortadella, Michael Kishinevs...
66
Voted
CDC
2008
IEEE
107views Control Systems» more  CDC 2008»
15 years 4 months ago
Resource pooling for optimal evacuation of a large building
— This paper is concerned with modeling, analysis and optimization/control of occupancy evolution in a large building. The main concern is efficient evacuation of a building in ...
Kun Deng, Wei Chen, Prashant G. Mehta, Sean P. Mey...
ICRA
2008
IEEE
172views Robotics» more  ICRA 2008»
15 years 4 months ago
Robot navigation using a sparse distributed memory
— Despite all the progress that has been made in Robotics and Artificial Intelligence, traditional approaches seem unsuitable to build truly intelligent robots, exhibiting human...
Mendes Mendes, Manuel Marques Crisóstomo, A...
BIRTHDAY
2005
Springer
15 years 3 months ago
Agents with Exact Foreknowledge
Computational experiments are reported involving the concept of foreknowledge, an agent’s direct, unmediated and accurate, but possibly incomplete, awareness of its future includ...
Jim Doran