3919 search results - page 646 / 784 » Modelling Dynamic Forgetting in Distributed Information Syst... |
107
Voted
COGSCI
2010
15 years 2 months ago
2010
The contributions to this special issue on cognitive development collectively propose ways in which learning involves developing constraints that shape subsequent learning. A lear...
107
click to vote
MOVEP
2000
15 years 6 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 ...
118
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Recent studies have investigated how a team of mobile sensors can cope with real world constraints, such as uncertainty in the reward functions, dynamically appearing and disappea...
139
Voted
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
123
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...