1716 search results - page 251 / 344 » Generating models for temporal representations |
ECAI
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
ICASSP
2010
IEEE
13 years 10 months ago
2010
IEEE
We propose a framework for modeling, analysis, annotation and synthesis of multi-modal dance performances. We analyze correlations between music features and dance figure labels ...
IJON
2006
13 years 10 months ago
2006
Cultured neuronal networks generate spontaneous activity in the form of synchronized bursting events (SBEs)--short time events during which most of the recorded neurons fire rapid...
ET
2010
13 years 8 months ago
2010
Abstract As technology scales down into the nanometer era, delay testing of modern chips has become more and more important. Tests for the path delay fault model are widely used to...
TII
2010
13 years 4 months ago
2010
Abstract--Real-time systems are subject to temporal constraints and require a schedulability analysis to ensure that task execution finishes within lower and upper specified bounds...