Sciweavers

1302 search results - page 51 / 261
» From Liveness to Promptness
Sort
View
OOPSLA
2007
Springer
14 years 2 months ago
Synthesizing reactive systems from LSC requirements using the play-engine
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
Hillel Kugler, Cory Plock, Amir Pnueli
GI
2009
Springer
14 years 21 days ago
Applying Semantic Technologies for Context-Aware AAL Services: What we can learn from SOPRANO
Abstract: Ambient assisted living (AAL) is a newly emerging term describing a research area with focus on services that support people in their daily life with particular focus on ...
Peter Wolf, Andreas Schmidt, Michael Klein
ECAL
2007
Springer
14 years 2 months ago
Minimal Agency Detection of Embodied Agents
Agency detection is studied in a simple simulated model with embodied agents. Psychological experiments such as double TV-monitor experiments and perceptual crossing show the centr...
Hiroyuki Iizuka, Ezequiel A. Di Paolo
ICIP
2000
IEEE
14 years 9 months ago
Scene Reconstruction from Multiple Cameras
This paper reviews a number of recently developed stereo matching algorithms and representations. It focuses on techniques that are especially well suited for stereoscopic and 3-D...
Richard Szeliski
HCI
2007
13 years 9 months ago
What Would Jiminy Cricket Do? Lessons from the First Social Wearable
Work towards the development of a “wearable conscience” that helps individuals make healthy decisions in their everyday lives is described. To be effective, such a system must ...
Timothy W. Bickmore