552 search results - page 27 / 111 » Languages Modulo Normalization |
100
click to vote
LICS
2010
IEEE
15 years 12 days ago
2010
IEEE
We consider formulas which, in addition to the symbols in the vocabulary, may use two designated symbols ≺ and + that must be interpreted as a linear order and its associated ad...
108
click to vote
CIE
2006
Springer
15 years 5 months ago
2006
Springer
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
202
click to vote
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
Fundamental to data cleaning is the need to account for multiple data representations. We propose a formal framework that can be used to reason about and manipulate data represent...
117
click to vote
DOCENG
2005
ACM
15 years 3 months ago
2005
ACM
We show how the full XPath language can be compiled into a minimal subset suited for stream-based evaluation. Specifically, we show how XPath normalization into a core language a...
112
click to vote
NLPRS
2001
Springer
15 years 6 months ago
2001
Springer
This paper addresses the problem of extracting information from textual documents, either normal documents or web pages. A new approach for extracting complicate information from ...