Sciweavers

3191 search results - page 225 / 639
» Qualitative Modeling in Education
Sort
View
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 5 months ago
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...
Karine Altisen, Yanhong Liu, Matthieu Moy
TIT
2010
87views Education» more  TIT 2010»
15 years 1 months ago
Silence-based communication
We consider a power-efficient communication model for wireless sensor networks where silence is used to convey information. We study the average-case and worstcase complexities of ...
Anand K. Dhulipala, Christina Fragouli, Alon Orlit...
ICPR
2006
IEEE
16 years 8 months ago
Unusual Event Detection via Multi-camera Video Mining
This paper describes a framework for detecting unusual events in surveillance videos. Most surveillance systems consist of multiple video streams, but traditional event detection ...
Hanning Zhou, Don Kimber
CHI
2005
ACM
16 years 7 months ago
Parallel worlds: immersion in location-based experiences
This paper analyses the stages and circumstances for immersion based on quantitative and qualitative feedback from 563 people who took part in a three week long public trial of a ...
Ben J. C. Clayton, Erik Geelhoed, Josephine Reid, ...
ICRA
2008
IEEE
197views Robotics» more  ICRA 2008»
16 years 1 months ago
Approximate optimal control of the compass gait on rough terrain
Abstract— In this paper, we explore the capabilities of actuated models of the compass gait walker on rough terrain. We solve for the optimal high-level feedback policy to negoti...
Katie Byl, Russ Tedrake