193 search results - page 27 / 39 » Algorithmic Information Theory and Cellular Automata Dynamic... |
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
Almost every application of spreading activation is accompanied by its own set of often heuristic restrictions on the dynamics. We show that in constraint-free scenarios spreading...
HT
2004
ACM
15 years 5 months ago
2004
ACM
Adaptive hypermedia has the goal of contextualizing the display of a hypertext to suit the user and their situation. A variety of aspects of the context can influence the appropri...
102
click to vote
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
102
click to vote
KDD
2012
ACM
13 years 2 months ago
2012
ACM
Most existing research about online trust assumes static trust relations between users. As we are informed by social sciences, trust evolves as humans interact. Little work exists...
208
click to vote
POPL
2004
ACM
15 years 12 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...