Sciweavers

9325 search results - page 430 / 1865
» The decentralized implementability problem
Sort
View
ICIP
1998
IEEE
16 years 6 months ago
Edge Detection Error in the Discrete Laplacian of Gaussian
This paper addresses the problem of determining suitable mask values and sizes for the discrete implementation of the Laplacian of Gaussian edge operator. This is achieved by prov...
Steve R. Gunn
ICDT
2009
ACM
108views Database» more  ICDT 2009»
16 years 5 months ago
A compositional query algebra for second-order logic and uncertain databases
World-set algebra is a variable-free query language for uncertain databases. It constitutes the core of the query language implemented in MayBMS, an uncertain database system. Thi...
Christoph Koch
CADE
2007
Springer
16 years 5 months ago
SRASS - A Semantic Relevance Axiom Selection System
This paper describes the design, implementation, and testing of a system for selecting necessary axioms from a large set also containing superfluous axioms, to obtain a proof of a...
Geoff Sutcliffe, Yury Puzis
SIGMOD
2004
ACM
112views Database» more  SIGMOD 2004»
16 years 5 months ago
ORDPATHs: Insert-Friendly XML Node Labels
We introduce a hierarchical labeling scheme called ORDPATH that is implemented in the upcoming version of Microsoft? SQL ServerTM. ORDPATH labels nodes of an XML tree without requ...
Patrick E. O'Neil, Elizabeth J. O'Neil, Shankar Pa...
ICSE
2007
IEEE-ACM
16 years 5 months ago
Spotlight: A Prototype Tool for Software Plans
Software evolution is made difficult by the need to integrate new features with all previously implemented features in the system. We present Spotlight, a prototype editor for sof...
David Coppit, Robert R. Painter, Meghan Revelle