3047 search results - page 297 / 610 » A Temporal Consensus Model |
165
click to vote
IJCAI
2001
15 years 8 months ago
2001
Recent research has addressed the problem of planning in non-deterministic domains. Classical planning has also been extended to the case of goals that can express temporal proper...
175
click to vote
ICANN
2010
Springer
15 years 7 months ago
2010
Springer
We propose a model of the hippocampus aimed at learning the timed association between subsequent sensory events. The properties of the neural network allow it to learn and predict ...
150
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We consider the problem of bounded model checking (BMC) for linear temporal logic (LTL). We present several efficient encodings that have size linear in the bound. Furthe...
186
click to vote
DKE
2007
15 years 6 months ago
2007
One of the main factors for the knowledge discovery success is related to the comprehensibility of the patterns discovered by applying data mining techniques. Amongst which we can...
140
click to vote
IJON
2007
15 years 6 months ago
2007
Hebbian cell assemblies have been proposed as a model for cortical processing able to bridge between physiology and psychology. Assembly-based theories focused mainly on represent...