Sciweavers

2314 search results - page 191 / 463
» Monoids over domains
Sort
View
ICLP
2009
Springer
16 years 7 months ago
Answer Set Programming with Constraints Using Lazy Grounding
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...
Agostino Dovier, Alessandro Dal Palù, Enric...
CADE
2008
Springer
16 years 7 months ago
Combining Theorem Proving with Natural Language Processing
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...
Björn Pelzer, Ingo Glöckner
EDBT
2006
ACM
156views Database» more  EDBT 2006»
16 years 6 months ago
Indexing Incomplete Databases
Incomplete databases, that is, databases that are missing data, are present in many research domains. It is important to derive techniques to access these databases efficiently. We...
Guadalupe Canahuate, Michael Gibas, Hakan Ferhatos...
ICIAP
2001
Springer
16 years 6 months ago
Global Optimization of Deformable Surface Meshes Based on Genetic Algorithms
Deformable models are by their formulation able to solve surface extraction problem from noisy volumetric image data encountered commonly in medical image analysis. However, this ...
Jussi Tohka
ICIAP
2003
ACM
16 years 6 months ago
A real-time text-independent speaker identification system
The paper presents a real-time speaker identification system based on the analysis of the audio track of a video stream. The system has been employed in the context of automatic v...
Luigi P. Cordella, Pasquale Foggia, Carlo Sansone,...