13827 search results - page 49 / 2766 » The state of artificial intelligence |
FLAIRS
2004
13 years 10 months ago
2004
Nobody would deny that music may evoke deep and profound emotions. In this paper, we present a perceptual music composition system that aims at the controlled manipulation of a us...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
Man-Machine Interaction (MMI) Systems that utilize multimodal information about users’ current emotional state are presently at the forefront of interest of the computer vision ...
LFCS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
CEC
2009
IEEE
14 years 1 months ago
2009
IEEE
— Interested in Evolutionary Robotics, this paper focuses on the acquisition and exploitation of memory skills. The targeted task is a well-studied benchmark problem, the Tolman ...