Sciweavers

2082 search results - page 19 / 417
» Change Paths in Reasoning!
Sort
View
TARK
1998
Springer
13 years 11 months ago
A Modal Logic of Information Change
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
Joeri Engelfriet, Yde Venema
GIS
2002
ACM
13 years 7 months ago
Spatio-temporal evolution: querying patterns of change in databases
This paper contributes a general approach to characterizing patterns of change in a spatio-temporal database. While there is a particular interest in modelling and querying how sp...
Nassima Djafri, Alvaro A. A. Fernandes, Norman W. ...
IMC
2003
ACM
14 years 24 days ago
Tomography-based overlay network monitoring
Overlay network monitoring enables distributed Internet applications to detect and recover from path outages and periods of degraded performance within seconds. For an overlay net...
Yan Chen, David Bindel, Randy H. Katz
CONEXT
2005
ACM
13 years 9 months ago
The stability of paths in a dynamic network
Dynamic networks appear in several contexts: QoS routing faces the difficult problem of accurately and efficiently maintaining, distributing and updating network state information...
Fernando A. Kuipers, Huijuan Wang, Piet Van Mieghe...
ICCD
2002
IEEE
146views Hardware» more  ICCD 2002»
14 years 4 months ago
From ASIC to ASIP: The Next Design Discontinuity
A variety of factors is making it increasingly difficult and expensive to design and manufacture traditional Application Specific Integrated Circuits (ASICs). This has started a s...
Kurt Keutzer, Sharad Malik, A. Richard Newton