359 search results - page 6 / 72 » Classification and Analysis of Distributed Event Filtering A... |
FORTE
2010
13 years 8 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
DEBS
2007
ACM
13 years 9 months ago
2007
ACM
This paper describes an approach to detect unknown event patterns. In this context, an event is not only something that happens, but also something that can be analysed. This task...
ISVC
2010
Springer
13 years 5 months ago
2010
Springer
Leaves provide an important source of data for research in comparative plant biology. This paper presents a method for comparing and classifying plants based on leaf texture. Joint...
ETRA
2010
ACM
13 years 8 months ago
2010
ACM
This paper presents a set of qualitative and quantitative scores designed to assess performance of any eye movement classification algorithm. The scores are designed to provide a ...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
In this paper, we propose an approach to automatically mine event evolution graphs from newswires on the Web. Event evolution graph is a directed graph in which the vertices and e...