1532 search results - page 104 / 307 » The Symbol Grounding Problem |
119
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete com...
123
click to vote
ICTAI
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a generic cognitive vision platform for the automatic recognition of natural complex objects. The recognition consists of three steps : image processing for nu...
139
click to vote
ISQED
2000
IEEE
15 years 8 months ago
2000
IEEE
We address the problem of power estimation at the register-transfer level (RTL). At this level, the circuit is described in terms of a set of interconnected memory elements and co...
126
click to vote
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
The integration of constraint solvers into proof planning has pushed the problem solving horizon. Proof planning benefits from the general functionalities of a constraint solver s...
119
click to vote
DAC
2010
ACM
15 years 8 months ago
2010
ACM
Understanding the flow of information is an important aspect in computer security. There has been a recent move towards tracking information in hardware and understanding the flow...