Sciweavers

101 search results - page 12 / 21
» Classifying Temporal Relations Between Events
Sort
View
EUROPAR
2006
Springer
14 years 1 months ago
Specification of Inefficiency Patterns for MPI-2 One-Sided Communication
Abstract. Automatic performance analysis of parallel programs can be accomplished by scanning event traces of program execution for patterns representing inefficient behavior. The ...
Andrej Kühnal, Marc-André Hermanns, Be...
ASYNC
2005
IEEE
118views Hardware» more  ASYNC 2005»
14 years 3 months ago
Modeling and Verifying Circuits Using Generalized Relative Timing
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
Sanjit A. Seshia, Randal E. Bryant, Kenneth S. Ste...
KI
2005
Springer
14 years 3 months ago
Dependency Calculus: Reasoning in a General Point Relation Algebra
The point algebra is a fundamental formal calculus for spatial and temporal reasoning. We present a new generalization that meets all requirements to describe dependencies on netw...
Marco Ragni, Alexander Scivos
EUROSSC
2009
Springer
14 years 4 months ago
Automatic Event-Based Synchronization of Multimodal Data Streams from Wearable and Ambient Sensors
A major challenge in using multi-modal, distributed sensor systems for activity recognition is to maintain a temporal synchronization between individually recorded data streams. A ...
David Bannach, Oliver Amft, Paul Lukowicz
LREC
2010
187views Education» more  LREC 2010»
13 years 11 months ago
Analysing Temporally Annotated Corpora with CAVaT
We present CAVaT, a tool that performs Corpus Analysis and Validation for TimeML. CAVaT is an open source, modular checking utility for statistical analysis of features specific t...
Leon Derczynski, Robert J. Gaizauskas