Sciweavers

3836 search results - page 604 / 768
» Semantics of Database Transformations
Sort
View
LPAR
2005
Springer
15 years 9 months ago
Automating Coherent Logic
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
Marc Bezem, Thierry Coquand
WEBDB
2005
Springer
102views Database» more  WEBDB 2005»
15 years 9 months ago
An Evaluation and Comparison of Current Peer-to-Peer Full-Text Keyword Search Techniques
Current peer-to-peer (p2p) full-text keyword search techniques fall into the following categories: document-based partitioning, keyword-based partitioning, hybrid indexing, and se...
Ming Zhong, Justin Moore, Kai Shen, Amy L. Murphy
CIVR
2004
Springer
118views Image Analysis» more  CIVR 2004»
15 years 9 months ago
Use of Image Subset Features in Image Retrieval with Self-Organizing Maps
In content-based image retrieval (CBIR), the images in a database are indexed on the basis of low-level statistical features that can be automatically derived from the images. Due ...
Markus Koskela, Jorma Laaksonen, Erkki Oja
DEXA
2004
Springer
79views Database» more  DEXA 2004»
15 years 9 months ago
Querying Distributed Data in a Super-Peer Based Architecture
Data integration is a significant challenge: relevant data objects are split across multiple information sources, and often owned by different organizations. The sources represent...
Zohra Bellahsene, Mark Roantree
ICIAR
2004
Springer
15 years 9 months ago
Automatic Text Extraction in Digital Video Based on Motion Analysis
It is well known that the text that appears in a video scene or is graphically added to it is an important source of semantic information for indexing and retrieval, notably in the...
Duarte Palma, João Ascenso, Fernando Pereir...