Sciweavers

1849 search results - page 173 / 370
» Intelligent Expressions of Emotions
Sort
View
PSYCHNOLOGY
2007
113views more  PSYCHNOLOGY 2007»
15 years 6 months ago
Psychological Implications of Domestic Assistive Technology for the Elderly
The ROBOCARE Domestic Environment (RDE) is the result of a three-year project aimed at developing cognitive support technology for elderly people. Specifically, the domestic envir...
Amedeo Cesta, Gabriella Cortellessa, Vittoria Giul...
EDUTAINMENT
2009
Springer
16 years 1 months ago
Music-Making and Musical Comprehension with Robotic Building Blocks
Being able to express oneself musically and experiment with music composition is traditionally determined by one’s ability to play an actual instrument with a certain degree of c...
Niels Kristian Bærendsen, Carsten Jessen, Ja...
TPHOL
2007
IEEE
16 years 24 days ago
Mizar's Soft Type System
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...
Freek Wiedijk
CP
2004
Springer
15 years 12 months ago
Constraint-Based Combinators for Local Search
Abstract. One of the most appealing features of constraint programming is its rich constraint language for expressing combinatorial optimization problems. This paper demonstrates t...
Pascal Van Hentenryck, Laurent Michel, Liyuan Liu
EVOW
2010
Springer
16 years 1 months ago
Towards a Generic Framework for Automated Video Game Level Creation
This paper presents a generative system for the automatic creation of video game levels. Our approach is novel in that it allows high-level design goals to be expressed in a top-do...
Nathan Sorenson, Philippe Pasquier