Sciweavers

311 search results - page 16 / 63
» Algebras for Moving Objects and Their Implementation
Sort
View
ICDE
2004
IEEE
120views Database» more  ICDE 2004»
14 years 9 months ago
Algebraic Signatures for Scalable Distributed Data Structures
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 ...
Witold Litwin, Thomas J. E. Schwarz
IFL
2003
Springer
144views Formal Methods» more  IFL 2003»
14 years 28 days ago
Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
Rafael Martínez, Ricardo Pena
ICIP
2003
IEEE
14 years 9 months ago
Robust object boundary determination using a locally adaptive level set algorithm
This paper introduces a level set methodology for the precise boundary localization of image objects within an indicated region, designed to be particularly robust against weak or...
Eftychios Sifakis, George Tziritas
GI
1997
Springer
13 years 12 months ago
Functional Object-Oriented Programming with Object-Gofer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
Wolfram Schulte, Klaus Achatz
SSD
2005
Springer
108views Database» more  SSD 2005»
14 years 1 months ago
Topological Predicates Between Vague Spatial Objects
Topological predicates are an important element of database systems that allow manipulation of spatial data. Based on the necessity for such systems to handle uncertainty, we intro...
Alejandro Pauly, Markus Schneider