Sciweavers

21430 search results - page 3770 / 4286
» Abstract Effective Models
Sort
View
QEST
2009
IEEE
16 years 1 months ago
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermi...
Pedro R. D'Argenio, Nicolás Wolovick, Pedro...
RTCSA
2009
IEEE
16 years 1 months ago
Managing Imprecise Worst Case Execution Times on DVFS Platforms
Abstract—Although energy-efficient real-time task scheduling has attracted a lot of attention in the past decade, most existing results assumed deterministic execution lengths f...
Vandy Berten, Chi-Ju Chang, Tei-Wei Kuo
ICPPW
2009
IEEE
16 years 1 months ago
Hardware Microkernels for Heterogeneous Manycore Systems
Abstract— The migration away from power-hungry, speculative execution procesors towards manycore architectures is good news for the embedded and real-time systems community. Comm...
Jason Agron, David L. Andrews
ICRA
2009
IEEE
190views Robotics» more  ICRA 2009»
16 years 1 months ago
Whole body motion primitive segmentation from monocular video
Abstract— This paper proposes a novel approach for motion primitive segmentation from continuous full body human motion captured on monocular video. The proposed approach does no...
Dana Kulic, Dongheui Lee, Yoshihiko Nakamura
ICRA
2009
IEEE
147views Robotics» more  ICRA 2009»
16 years 1 months ago
Generating Robot/Agent backchannels during a storytelling experiment
Abstract— This work presents the development of a realtime framework for the research of Multimodal Feedback of Robots/Talking Agents in the context of Human Robot Interaction (H...
Sames Al Moubayed, Malek Baklouti, Mohamed Chetoua...
« Prev « First page 3770 / 4286 Last » Next »