8874 search results - page 1586 / 1775 » A New Implementation of Automath |
262
click to vote
ICDE
2004
IEEE
16 years 6 months ago
2004
IEEE
Signatures detect changes to the data objects. Numerous schemes a known, e.g., the popular hash based SHA-1 standard. We propose a nov scheme we call algebraic signatures. We use ...
269
Voted
ICDE
2004
IEEE
16 years 6 months ago
2004
IEEE
Twig queries represent the building blocks of declarative query languages over XML data. A twig query describes a complex traversal of the document graph and generates a set of el...
242
click to vote
ICDE
2004
IEEE
16 years 6 months ago
2004
IEEE
We study the problem of maintaining large replicated collections of files or documents in a distributed environment with limited bandwidth. This problem arises in a number of impo...
118
click to vote
VIS
2009
IEEE
16 years 5 months ago
2009
IEEE
Visual exploration is essential to the visualization and analysis of densely sampled 3D DTI fibers in biological speciments, due to the high geometric, spatial, and anatomical comp...
130
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Uknown to us, an axially-symmetric surface is broken into disjoint pieces along a set of break-curves, i.e., the curves along which the surface locally breaks into two pieces. A s...