Sciweavers

11436 search results - page 516 / 2288
» Modeling Real Reasoning
Sort
View
IJCNN
2006
IEEE
16 years 25 days ago
Markov Coding Strategy of the Simple Spiking Model of Auditory Neuron
— The present paper is devoted to the exploration of the properties of the simple spiking neuron model and quantification of the information transfer rate, which the separate neu...
Alexei V. Ivanov, Alexander A. Petrovsky
156
Voted
KBSE
2003
IEEE
16 years 2 days ago
Automated Environment Generation for Software Model Checking
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasare...
201
Voted
AMR
2003
Springer
179views Multimedia» more  AMR 2003»
16 years 1 days ago
Building User Models from Observations of Users Accessing Multimedia Learning Objects
Abstract. We report our work towards building user models of learner’s development based upon evidence of their interactions with an e-learning website composed of multimedia lea...
Judy Kay, Andrew Lum
GIS
1999
ACM
15 years 11 months ago
Spatial Data Integrity Constraints in Object Oriented Geographic Data Modeling
An important activity in the design of a particular database application consists in identifying the integrity constraints that must hold on the database, and that are used to det...
Karla A. V. Borges, Alberto H. F. Laender, Clodove...
AAAI
2007
15 years 9 months ago
A Connectionist Cognitive Model for Temporal Synchronisation and Learning
The importance of the efforts towards integrating the symbolic and connectionist paradigms of artificial intelligence has been widely recognised. Integration may lead to more e...
Luís C. Lamb, Rafael V. Borges, Artur S. d'...