392 search results - page 60 / 79 » APROL: a Hybrid Language |
123
Voted
IJCNN
2008
IEEE
15 years 8 months ago
2008
IEEE
— Current work is described wherein simplified versions of the Novamente Cognition Engine (NCE) are being used to control virtual agents in virtual worlds such as game engines an...
100
click to vote
SEMCO
2008
IEEE
15 years 8 months ago
2008
IEEE
Gesture interfaces are needed for natural intuitive communication with machine devices. Hand gesture intuitiveness is the cognitive association between a command or intent, and it...
142
click to vote
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
CP
2007
Springer
15 years 8 months ago
2007
Springer
Shaving and constructive disjunction are two main refutation principles used in constraint programming. The shaving principle allows us to compute the singleton arc-consistency (SA...
102
click to vote
MM
2006
ACM
15 years 8 months ago
2006
ACM
Takashi’s Seasons is a sequential live shadow puppet/video performance in which a number of interpretations of the four seasons are performed by an artist. Controlled with fishi...