4341 search results - page 696 / 869 » Quantitative Model checking |
179
click to vote
SAC
2004
ACM
15 years 12 months ago
2004
ACM
In our present work we introduce the use of data fusion in the field of DoS anomaly detection. We present DempsterShafer’s Theory of Evidence (D-S) as the mathematical foundati...
187
click to vote
EDBT
2004
ACM
15 years 12 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...
162
click to vote
GRID
2004
Springer
15 years 12 months ago
2004
Springer
A computational grid is a wide-area computing environment for cross-domain resource sharing and service integration. Resource management and load balancing are key concerns when i...
159
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We present a Bayesian approach for simultaneously estimating the number of people in a crowd and their spatial locations by sampling from a posterior distribution over cr...
183
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
Due to both the size and growth of the internet, new tools are needed to assist with the finding and extraction of very specific resources relevant to a user's task. Previous...