Sciweavers

19003 search results - page 260 / 3801
» We Need Assurance
Sort
View
ICIP
2008
IEEE
16 years 8 months ago
Local-spectrum-based distinction between handwritten and machine-printed characters
In this paper, we propose a method to distinguish between handwritten and machine-printed characters with no need to locate character or text-line positions. We transform a local ...
Jumpei Koyama, Akira Hirose, Masahiro Kato
SIGMOD
2003
ACM
98views Database» more  SIGMOD 2003»
16 years 6 months ago
On Relational Support for XML Publishing: Beyond Sorting and Tagging
In this paper, we study whether the need for efficient XML publishing brings any new requirements for relational query engines, or if sorting query results in the relational engin...
Surajit Chaudhuri, Raghav Kaushik, Jeffrey F. Naug...
PODS
2003
ACM
157views Database» more  PODS 2003»
16 years 6 months ago
Algorithms for data migration with cloning
Our work is motivated by the problem of managing data on storage devices, typically a set of disks. Such high demand storage servers are used as web servers, or multimedia servers...
Samir Khuller, Yoo Ah Kim, Yung-Chun (Justin) Wan
ACSD
2009
IEEE
117views Hardware» more  ACSD 2009»
16 years 1 months ago
Why Are Modalities Good for Interface Theories?
In this paper we revisit the fundamentals of interface theories. Methodological considerations call for supporting “aspects” and “assume/guarantee” reasoning. From these c...
Jean-Baptiste Raclet, Eric Badouel, Albert Benveni...
CCA
2009
Springer
16 years 1 months ago
Computability of Homology for Compact Absolute Neighbourhood Retracts
In this note we discuss the information needed to compute the homology groups of a topological space. We argue that the natural class of spaces to consider are the compact absolut...
Pieter Collins