19130 search results - page 3315 / 3826 » Modelling multi-path problems |
185
click to vote
EDBT
2004
ACM
15 years 11 months ago
2004
ACM
Qualitative spatial reasoning forms an important part of the commonsense reasoning required for building intelligent Geographical Information Systems (GIS). Previous research has c...
146
click to vote
ESORICS
2004
Springer
15 years 11 months ago
2004
Springer
Redundancy and diversity are commonly applied principles for fault tolerance against accidental faults. Their use in security, which is attracting increasing interest, is less gene...
170
click to vote
EWCBR
2004
Springer
15 years 11 months ago
2004
Springer
The case-based reasoning approach to email response consists of reusing past messages to synthesize new responses to incoming requests. This task presents various challenges due to...
161
click to vote
FORMATS
2004
Springer
15 years 11 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
160
click to vote
GD
2004
Springer
15 years 11 months ago
2004
Springer
It has been noted that many realistic graphs have a power law degree distribution and exhibit the small world phenomenon. We present drawing methods influenced by recent developm...