Sciweavers

517 search results - page 8 / 104
» On intelligence as memory
Sort
View
AIPS
2006
13 years 8 months ago
Memory-Efficient Symbolic Heuristic Search
Rune M. Jensen, Eric A. Hansen, Simon Richards, Ro...
HAIS
2010
Springer
13 years 7 months ago
Lattice Associative Memories for Segmenting Color Images in Different Color Spaces
Gonzalo Urcid, Juan Carlos Valdiviezo-N., Gerhard ...
KI
2008
Springer
13 years 7 months ago
Augmenting Cognition With a Digital Episodic Memory
Alexander Kröner, Anthony Jameson, Michael Sc...
HPCA
2005
IEEE
14 years 7 months ago
SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs
Memory leaks and memory corruption are two major forms of software bugs that severely threaten system availability and security. According to the US-CERT Vulnerability Notes Datab...
Feng Qin, Shan Lu, Yuanyuan Zhou
EMSOFT
2007
Springer
13 years 11 months ago
Verification of device drivers and intelligent controllers: a case study
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
David Monniaux