1532 search results - page 127 / 307 » The Symbol Grounding Problem |
173
click to vote
IIHMSP
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a new behavior classification system for analyzing human movements directly from video sequences. First of all, we propose a triangulation-based method to tran...
142
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
117
click to vote
BIOCOMP
2006
15 years 5 months ago
2006
The use of computer algebra software has many applications in diverse fields like epidemiology. This work pretends to show how computer algebra software applications for symbolic ...
133
click to vote
NIPS
2004
15 years 5 months ago
2004
Amino acid profiles, which capture position-specific mutation probabilities, are a richer encoding of biological sequences than the individual sequences themselves. However, profi...
168
click to vote
IEAAIE
2011
Springer
14 years 8 months ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...