5105 search results - page 756 / 1021 » Approximate Structural Consistency |
158
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Knockout tournaments constitute a common format of sporting events, and also model a specific type of election scheme (namely, sequential pairwise elimination election). In such ...
150
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
The problem of measuring similarity between web pages arises in many important Web applications, such as search engines and Web directories. In this paper, we propose a novel neig...
189
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
In order to deal with the diversified nature of XML documents as well as individual user preferences, we propose a novel Multiodel (MRM), which is able to abstract a spectrum of i...
172
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
156
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
Digitized legacy document marked up with XML can be used in many ways, e.g., to generate RDF statements about the world described. A prerequisite for doing so is that the document ...