Sciweavers

5227 search results - page 921 / 1046
» Enterprise modeling using class and instance models
Sort
View
ICIP
2003
IEEE
14 years 10 months ago
Classification of textures seen from different distances and under varying illumination direction
Changes in the angle of illumination incident upon a 3D surface texture can significantly alter its appearance, implying variations in the image texture. These texture variations ...
Xavier Lladó, Joan Martí, Maria Petr...
ICDE
2007
IEEE
111views Database» more  ICDE 2007»
14 years 10 months ago
Proof Sketches: Verifiable In-Network Aggregation
Recent work on distributed, in-network aggregation assumes a benign population of participants. Unfortunately, modern distributed systems are plagued by malicious participants. In...
Minos N. Garofalakis, Joseph M. Hellerstein, Petro...
SIGCSE
2009
ACM
137views Education» more  SIGCSE 2009»
14 years 9 months ago
The hidden injuries of overloading 'ADT'
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...
Duane Buck, David J. Stucki
CADE
2006
Springer
14 years 9 months ago
Automatic Construction and Verification of Isotopy Invariants
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
Volker Sorge, Andreas Meier, Roy L. McCasland, Sim...
PODS
2005
ACM
124views Database» more  PODS 2005»
14 years 9 months ago
Diagnosis of asynchronous discrete event systems: datalog to the rescue!
We consider query optimization techniques for data intensive P2P applications. We show how to adapt an old technique from deductive databases, namely Query-Sub-Query (QSQ), to a s...
Serge Abiteboul, Stefan Haar, Tova Milo, Zoë ...