Sciweavers

3844 search results - page 398 / 769
» Modular interpreted systems
Sort
View
ACMDIS
2006
ACM
16 years 4 days ago
The history tablecloth: illuminating domestic activity
The History Tablecloth is a flexible substrate screen-printed with electroluminescent material forming a grid of lace-like elements. When objects are left on the table, cells bene...
William W. Gaver, John Bowers, Andy Boucher, Andy ...
ER
2005
Springer
177views Database» more  ER 2005»
15 years 11 months ago
Conceptual Content Management for Enterprise Web Services
Web services aim at providing an interoperable framework for cross system and multiple domain communication. Current basic standards are allowing for first cases of practical use ...
Sebastian Bossung, Hans-Werner Sehring, Joachim W....
CONCUR
2006
Springer
15 years 10 months ago
Controller Synthesis for MTL Specifications
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier
183
Voted
FORMATS
2006
Springer
15 years 9 months ago
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
Carlo A. Furia, Matteo Rossi
138
Voted
LREC
2010
171views Education» more  LREC 2010»
15 years 7 months ago
Meta-Knowledge Annotation of Bio-Events
Biomedical corpora annotated with event-level information provide an important resource for the training of domain-specific information extraction (IE) systems. These corpora conc...
Raheel Nawaz, Paul Thompson, John McNaught, Sophia...