Sciweavers

2661 search results - page 375 / 533
» Quantum Complexity Classes
Sort
View
119
Voted
PODS
2008
ACM
110views Database» more  PODS 2008»
16 years 3 months ago
Static analysis of active XML systems
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
Serge Abiteboul, Luc Segoufin, Victor Vianu
109
Voted
EDBT
2008
ACM
122views Database» more  EDBT 2008»
16 years 3 months ago
Mining all frequent projection-selection queries from a relational table
In this paper we study the problem of mining all frequent queries in a given database table, a problem known to be intractable even for conjunctive queries. We restrict our attent...
Tao-Yuan Jen, Dominique Laurent, Nicolas Spyratos
132
Voted
ICIAP
2005
ACM
16 years 3 months ago
A New Efficient Method for Producing Global Affine Invariants
This paper introduces a new efficient way for computing affine invariant features from gray-scale images. The method is based on a novel image transform which produces infinitely m...
Esa Rahtu, Janne Heikkilä, Mikko Salo
133
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
Security protocols, properties, and their monitoring
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
Andreas Bauer 0002, Jan Jürjens
144
Voted
DCC
2008
IEEE
16 years 3 months ago
Object-Based Regions of Interest for Image Compression
A fully automated architecture for object-based region of interest (ROI) detection is proposed. ROI's are defined as regions containing user defined objects of interest, and ...
Sunhyoung Han, Nuno Vasconcelos