Sciweavers

3836 search results - page 604 / 768
» Semantics of Database Transformations
Sort
View
LPAR
2005
Springer
15 years 12 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 12 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 11 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 11 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 11 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...