Sciweavers

5200 search results - page 35 / 1040
» Symbolic models for control systems
Sort
View
DAGSTUHL
2008
15 years 3 months ago
The Grand Challenges and Myths of Neural-Symbolic Computation
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
Luís C. Lamb
CAV
1993
Springer
127views Hardware» more  CAV 1993»
15 years 6 months ago
Symbolic Equivalence Checking
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
Jean-Claude Fernandez, Alain Kerbrat, Laurent Moun...
IWSAS
2001
Springer
15 years 6 months ago
Model-Based Diagnosis for Information Survivability
The Infrastructure of modern society is controlled by software systems that are vulnerable to attack. Successful attacks on these systems can lead to catastrophic results; the sur...
Howard E. Shrobe
ICASSP
2010
IEEE
15 years 2 months ago
Optimal gain control for single-carrier communications with uniform quantization at the receiver
The achievable rate of digital communications systems can strongly depend on the analog-to-digital conversion at the receiver. It is hence important to adjust the gain control at ...
Stefan Krone, Gerhard Fettweis
97
Voted
AI
2004
Springer
15 years 7 months ago
Intrinsic Representation: Bootstrapping Symbols from Experience
If we are to understand human-level intelligence, we need to understand how meanings can be learned without explicit instruction. I take a step toward that understanding by showing...
Stephen David Larson