Sciweavers

1302 search results - page 51 / 261
» From Liveness to Promptness
Sort
View
OOPSLA
2007
Springer
15 years 6 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
108
Voted
GI
2009
Springer
15 years 5 months 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
103
Voted
ECAL
2007
Springer
15 years 6 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
96
Voted
ICIP
2000
IEEE
16 years 2 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
83
Voted
HCI
2007
15 years 2 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