11168 search results - page 1619 / 2234 » Abstract State Processes |
103
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract-- The problem of cooperative fusion in the presence of both Byzantine sensors and misinformed sensors is considered. An information theoretic formulation is used to charac...
181
click to vote
ENTCS
2006
15 years 5 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
136
click to vote
IJDAR
2008
15 years 5 months ago
2008
Abstract This paper describes a document recognition system for the modern neume based notation of Byzantine music. We propose algorithms for page segmentation, lyrics removal, syn...
81
Voted
INFORMATICALT
2008
15 years 5 months ago
2008
Abstract. New information technologies provide a possibility of collecting a large amount of fundus images into databases. It allows us to use automated processing and classificati...
179
click to vote
INFORMATICALT
2008
15 years 5 months ago
2008
Abstract. A new computational methodology for executing calculations with infinite and infinitesimal quantities is described in this paper. It is based on the principle `The part i...