Sciweavers

1972 search results - page 152 / 395
» connection 2008
Sort
View
LREC
2008
121views Education» more  LREC 2008»
15 years 7 months ago
The IFADV Corpus: a Free Dialog Video Corpus
Research into spoken language has become more visual over the years. Both fundamental and applied research have progressively included gestures, gaze, and facial expression. Corpo...
Rob van Son, Wieneke Wesseling, Eric Sanders, Henk...
OPODIS
2008
15 years 7 months ago
CQS-Pair: Cyclic Quorum System Pair for Wakeup Scheduling in Wireless Sensor Networks
Due to the heterogenous power-saving requirement in wireless sensor networks, we propose the Cyclic Quorum System Pair (CQS-Pair) which can guarantee that two asynchronous nodes ad...
Shouwen Lai, Bo Zhang, Binoy Ravindran, Hyeonjoong...
163
Voted
PTS
2008
109views Hardware» more  PTS 2008»
15 years 7 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
230
Voted
STRINGOLOGY
2008
15 years 7 months ago
The Road Coloring and Cerny Conjecture
A synchronizing word of a deterministic automaton is a word in the alphabet of colors (considered as letters) of its edges that maps the automaton to a single state. A coloring of...
Avraham Trahtman
163
Voted
SWAP
2008
15 years 7 months ago
Grounding Semantic Web Services with Rules
Semantic web services achieve effects in the world through web services, so the connection to those services--the grounding--is of paramount importance. The established technique i...
David Lambert, John Domingue