2082 search results - page 10 / 417 » Change Paths in Reasoning! |
GIS
2008
ACM
13 years 8 months ago
2008
ACM
NMR
2004
Springer
14 years 27 days ago
2004
Springer
KI
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
CEE
2010
13 years 7 months ago
2010
SIGCOMM
2004
ACM
14 years 29 days ago
2004
ACM
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...