10608 search results - page 569 / 2122 » Complexity of O'Hara's Algorithm |
226
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
182
click to vote
ICDAR
2005
IEEE
16 years 22 days ago
2005
IEEE
In the field of computer analysis of document images, the problems of physical and logical layout analysis have been approached through a variety of heuristic, rule-based, and gr...
182
click to vote
INFOCOM
2005
IEEE
16 years 21 days ago
2005
IEEE
— Providing approximate max-min fair bandwidth allocation among flows within a network or at a single router has been an important research problem. In this paper, we study the ...
202
click to vote
ARCS
2005
Springer
16 years 20 days ago
2005
Springer
Data fusion concepts are a necessary basis for utilizing complex networks of sensors. A key feature for a robust data fusion system is adaptivity, both to be fault-tolerant and to...
199
click to vote
ATVA
2004
Springer
16 years 15 days ago
2004
Springer
Data races do not cover all kinds of concurrency errors. This paper presents a data- ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...