Sciweavers

1271 search results - page 90 / 255
» On Simulation-Checking with Sequential Systems
Sort
View
ARTDB
1997
Springer
269views Database» more  ARTDB 1997»
14 years 2 months ago
Parallel Event Detection in Active Database Systems: The Heart of the Matter
This paper proposes a strategy for parallel composite event detection in Active database systems (DBS). Up to now, the detection is sequential and totally synchronized, and thus p...
Ulrike Jaeger, Johann K. Obermaier
LREC
2010
178views Education» more  LREC 2010»
14 years 6 days ago
Building a System for Emotions Detection from Speech to Control an Affective Avatar
In this paper we describe a corpus set together from two sub-corpora. The CINEMO corpus contains acted emotional expression obtained by playing dubbing exercises. This new protoco...
Mátyás Brendel, Riccardo Zaccarelli,...
CSREAESA
2006
14 years 4 days ago
Improving the Fault Tolerance of a Computer System with Space-Time Triple Modular Redundancy
- Triple Modular Redundancy is widely used in dependable systems design to ensure high reliability against soft errors. Conventional TMR is effective in protecting sequential circu...
Wei Chen, Rui Gong, Fang Liu, Kui Dai, Zhiying Wan...
GEOINFO
2003
14 years 4 days ago
An Early Warning System for Space-Time Cluster Detection
A new topic of great relevance and concern has been the design of efficient early warning systems to detect as soon as possible the emergence of spatial clusters. In particular, m...
Renato M. Assunção, Andréa Ia...
ATAL
2010
Springer
13 years 12 months ago
Distributed BDD-based BMC for the verification of multi-agent systems
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
Andrew V. Jones, Alessio Lomuscio