Sciweavers

5055 search results - page 251 / 1011
» Relative Timing
Sort
View
CONCUR
2010
Springer
15 years 7 months ago
Conditional Automata: A Tool for Safe Removal of Negligible Events
Abstract. Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation len...
Roberto Segala, Andrea Turrini
CAV
2005
Springer
86views Hardware» more  CAV 2005»
16 years 11 days ago
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
Eric Vecchié, Robert de Simone
NIME
2004
Springer
122views Music» more  NIME 2004»
16 years 5 days ago
Digital Instruments and Players: Part I - Efficiency and Apprenticeship
When envisaging new digital instruments, designers do not have to limit themselves to their sonic capabilities (which can be absolutely any), not even to their algorithmic power; ...
Sergi Jordà
ACMSE
2010
ACM
15 years 4 months ago
Pattern-based synonym and antonym extraction
Many research studies adopt manually selected patterns for semantic relation extraction. However, manually identifying and discovering patterns is time consuming and it is difficu...
Wenbo Wang, Christopher Thomas, Amit P. Sheth, Vic...
LREC
2008
95views Education» more  LREC 2008»
15 years 8 months ago
Evaluation Metrics for Automatic Temporal Annotation of Texts
Recent years have seen increasing attention in temporal processing of texts as well as a lot of standardization effort of temporal information in natural language. A central part ...
Xavier Tannier, Philippe Muller