1532 search results - page 57 / 307 » The Symbol Grounding Problem |
121
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Due to relative motion between the transmitter and the receiver, the carrier of the received signal in digital burstmode transmission can be affected by Doppler distortion. Thi...
157
click to vote
KES
2007
Springer
15 years 10 months ago
2007
Springer
Biological systems consist of many components and interactions between them. In Systems Biology the principal problem is modeling complex biological systems and reconstructing inte...
141
click to vote
DDECS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
128
click to vote
LPAR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe a novel decision procedure for Quantified Boolean Formulas (QBFs) which aims to unleash the hidden potential of quantified reasoning in applications. The Sk...
120
click to vote
ADBIS
2001
Springer
15 years 8 months ago
2001
Springer
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...