Sciweavers

4184 search results - page 20 / 837
» Names of Our Lives
Sort
View
HUC
2010
Springer
14 years 10 months ago
ALIS: an interactive ecosystem for sustainable living
Engaging occupants in conservation efforts is a key part of reducing our ecological footprint. To this end, we have developed the Aware Living Interface System (ALIS), an integrat...
Johnny Rodgers, Lyn Bartram
IJAOSE
2007
93views more  IJAOSE 2007»
14 years 9 months ago
A formal semantics for Gaia liveness rules and expressions
The Gaia methodology is a development methodology for multi-agent systems that uses the concept of roles to define behaviour. Gaia uses liveness expressions, which are expression...
Tim Miller, Peter McBurney
AMI
2010
Springer
14 years 8 months ago
The DFKI Competence Center for Ambient Assisted Living
The DFKI Competence Center for Ambient Assisted Living (CCAAL) is a cross-project and cross-department virtual organization within the German Research Center for Artificial Intell...
Jochen Frey, Christoph Stahl, Thomas Röfer, B...
ICALP
2011
Springer
14 years 1 months ago
Liveness-Preserving Atomicity Abstraction
-Preserving Atomicity Abstraction Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2 University of Oxford Modern concurrent algorithms are usually encapsulated in libr...
Alexey Gotsman, Hongseok Yang
CHI
2006
ACM
15 years 10 months ago
Robot-human interaction with an anthropomorphic percussionist
The paper presents our approach for human-machine interaction with an anthropomorphic mechanical percussionist that can listen to live players, analyze perceptual musical aspects ...
Gil Weinberg, Scott Driscoll