689 search results - page 55 / 138 » A Modal-Logic Based Graph Abstraction |
TAICPART
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract. Writing multithreaded software for multicore computers confronts many developers with the difficulty of finding parallel programming errors. In the past, most parallel d...
TMA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Network traffic classification and anomaly detection have received much attention in the last few years. However, due to the the lack of common ground truth, proposed met...
CIVR
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we propose a multimedia categorization framework that is able to exploit information across different parts of a multimedia document (e.g., a Web page, a PDF, a Micr...
EUROPAR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We consider approaches that allow task migration for scheduling recurrent directed-acyclic-graph (DAG) tasks on symmetric, shared-memory multiprocessors (SMPs) in order t...
IBPRIA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper extends and generalizes the Bayesian semisupervised segmentation algorithm [1] for oil spill detection using SAR images. In the base algorithm on which we buil...