39 search results - page 8 / 8 » Efficient state representation for symbolic simulation |
IJCNN
2000
IEEE
13 years 9 months ago
2000
IEEE
A self-organizing neural network for learning and recall of complex temporal sequences is proposed. we consider a single sequence with repeated items, or several sequences with a c...
TROB
2008
13 years 4 months ago
2008
We describe a novel method for discovering and incorporating higher level map structure in a real-time visual SLAM system. Previous approaches use sparse maps, populated by isolate...
DATE
2004
IEEE
13 years 9 months ago
2004
IEEE
A distributed sensor network (DSN) designed to cover a given region R, is said to be alive if there is at least one subset of sensors that can collectively cover (sense) the regio...
MOVEP
2000
13 years 9 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...