Sciweavers

1533 search results - page 161 / 307
» Semantic Matching: Algorithms and Implementation
Sort
View
ESTIMEDIA
2006
Springer
14 years 29 days ago
Use of a Bit-true Data Flow Analysis for Processor-Specific Source Code Optimization
Nowadays, key characteristics of a processor's instruction set are only exploited in high-level languages by using inline assembly or compiler intrinsics. Inserting intrinsic...
Heiko Falk, Jens Wagner, André Schaefer
IPCV
2008
13 years 10 months ago
Content Based Retrieval System for Archaeological Images
Most of the existing image retrieval systems take the textual query from the user and utilize the metadata associated with the database images to retrieve the result. However, the...
Akshay Asthana, Ranjan Dutta, Anshul Jain, Deepak ...
SIGMOD
2004
ACM
163views Database» more  SIGMOD 2004»
14 years 9 months ago
Constraint-Based XML Query Rewriting For Data Integration
We study the problem of answering queries through a target schema, given a set of mappings between one or more source schemas and this target schema, and given that the data is at...
Cong Yu, Lucian Popa
FOSSACS
2005
Springer
14 years 2 months ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto

Source Code
7589views
15 years 5 months ago
MATLAB and Octave Functions for Computer Vision and Image Processing
Great Matlab and Octave function implementation for hot computer vision algorithms such as Feature detection via Phase Congruency, Spatial feature detection, Non-maxima suppression...
P. D. Kovesi