Sciweavers

149 search results - page 7 / 30
» Using a Cognitive Architecture to Automate Cyberdefense Reas...
Sort
View
GIS
2002
ACM
15 years 3 months ago
Web architectures for scalable moving object servers
The paper describes how the Web can be used as a support for intensive querying and display of large moving objects databases. We present first an architecture for a system which ...
Cédric du Mouza, Philippe Rigaux
COGSR
2011
99views more  COGSR 2011»
14 years 10 months ago
A biologically realistic cleanup memory: Autoassociation in spiking neurons
Methods for cleaning up (or recognizing) states of a neural network are crucial for the functioning of many neural cognitive models. For example, Vector Symbolic Architectures pro...
Terrence C. Stewart, Yichuan Tang, Chris Eliasmith
AUSAI
2005
Springer
15 years 9 months ago
Automated Scene Understanding for Airport Aprons
Abstract. This paper presents a complete visual surveillance system for automatic scene interpretation of airport aprons. The system comprises two main modules — Scene Tracking a...
James M. Ferryman, Mark Borg, David Thirde, Floren...
IJCAI
1989
15 years 5 months ago
Constrained Heuristic Search
Cognitive architectures aspire for generality both in terms of problem solving and learning across a range of problems, yet to date few examples of domain independent learning has...
Mark S. Fox, Norman M. Sadeh, Can A. Baykan
JAR
2006
103views more  JAR 2006»
15 years 3 months ago
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
Panagiotis Manolios, Sudarshan K. Srinivasan