Sciweavers

94 search results - page 5 / 19
» On Probabilistic Time versus Alternating Time
Sort
View
GIS
2007
ACM
14 years 10 months ago
An interactive framework for raster data spatial joins
Many Geographic Information System (GIS) applications must handle large geospatial datasets stored in raster representation. Spatial joins over raster data are important queries i...
Wan D. Bae, Petr Vojtechovský, Shayma Alkob...
CN
2004
121views more  CN 2004»
13 years 8 months ago
Probabilistic fault diagnosis in communication systems through incremental hypothesis updating
This paper presents a probabilistic event-driven fault localization technique, which uses a probabilistic symptomfault map as a fault propagation model. The technique isolates the...
Malgorzata Steinder, Adarshpal S. Sethi
ENTCS
2006
136views more  ENTCS 2006»
13 years 9 months ago
Automated Game Analysis via Probabilistic Model Checking: a case study
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
Paolo Ballarini, Michael Fisher, Michael Wooldridg...
CVPR
2007
IEEE
14 years 11 months ago
Probabilistic Reverse Annotation for Large Scale Image Retrieval
Automatic annotation is an elegant alternative to explicit recognition in images. In annotation, the image is matched with keyword models, and the most relevant keywords are assig...
K. Pramod Sankar, C. V. Jawahar
IPPS
2006
IEEE
14 years 3 months ago
Dynamic resource allocation of computer clusters with probabilistic workloads
Real-time resource scheduling is an important factor for improving the performance of cluster computing. In many distributed and parallel processing systems, particularly real-tim...
Marwan S. Sleiman, Lester Lipsky, Robert Sheahan