106 search results - page 20 / 22 » Characterizing Minimal Interval Completions |
TYPES
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...
CIKM
2003
Springer
14 years 23 days ago
2003
Springer
As online document collections continue to expand, both on the Web and in proprietary environments, the need for duplicate detection becomes more critical. Few users wish to retri...
ENTCS
2006
13 years 7 months ago
2006
The three classical process algebras CCS, CSP and ACP present several differences in their respective technical machinery. This is due, not only to the difference in their operato...
ICDE
2008
IEEE
14 years 9 months ago
2008
IEEE
Text documents often embed data that is structured in nature, and we can expose this structured data using information extraction technology. By processing a text database with inf...
MOBISYS
2006
ACM
14 years 7 months ago
2006
ACM
Multihop wireless mesh networks can provide Internet access over a wide area with minimal infrastructure expenditure. In this work, we present a measurement driven deployment stra...