Sciweavers

4798 search results - page 281 / 960
» A Time for Change
Sort
View
AI
2007
Springer
15 years 6 months ago
Axiomatic characterization of the AGM theory of belief revision in a temporal logic
Since belief revision deals with the interaction of belief and information over time, branching-time temporal logic seems a natural setting for a theory of belief change. We propo...
Giacomo Bonanno
CNSR
2010
IEEE
140views Communications» more  CNSR 2010»
15 years 10 months ago
Performance Evaluation of Using a Dynamic Shortest Path Algorithm in OLSRv2
—MANET routing protocols are designed to scale up to thousands of routers with frequent changes of the topology. In preference, MANET routing protocols should also support constr...
Ulrich Herberg
INFOCOM
2006
IEEE
16 years 20 days ago
Reverse Hashing for High-Speed Network Monitoring: Algorithms, Evaluation, and Applications
— A key function for network traffic monitoring and analysis is the ability to perform aggregate queries over multiple data streams. Change detection is an important primitive w...
Robert T. Schweller, Zhichun Li, Yan Chen, Yan Gao...
WEA
2007
Springer
104views Algorithms» more  WEA 2007»
16 years 22 days ago
Dynamic Trees in Practice
Dynamic tree data structures maintain forests that change over time through edge insertions and deletions. Besides maintaining connectivity information in logarithmic time, they ca...
Robert Endre Tarjan, Renato Fonseca F. Werneck
ICMCS
2005
IEEE
92views Multimedia» more  ICMCS 2005»
16 years 7 days ago
Personalized Prefetching for Manets
Mobile ad hoc networks (MANETs) are a very promising next generation networks. Prediction is an essential aspect in the deployment of MANETs. Current work mainly focuses on mobili...
S. H. Srinivasan