Sciweavers

961 search results - page 74 / 193
» An Algorithm for Computing Semi-stable Semantics
Sort
View
ICIP
2009
IEEE
13 years 6 months ago
Precise head segmentation on arbitrary backgrounds
We propose a method for segmentation of frontal human portraits from arbitrary unknown backgrounds. Semantic information is used to project the face into a normalized reference fr...
David C. Schneider, Benjamin Prestele, Peter Eiser...
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
14 years 2 months ago
Model Checking Discounted Temporal Properties
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
Luca de Alfaro, Marco Faella, Thomas A. Henzinger,...
ESWS
2011
Springer
13 years 14 days ago
Optimizing Query Shortcuts in RDF Databases
The emergence of the Semantic Web has led to the creation of large semantic knowledge bases, often in the form of RDF databases. Improving the performance of RDF databases necessit...
Vicky Dritsou, Panos Constantopoulos, Antonios Del...
ICCS
2007
Springer
14 years 3 months ago
An Inferential Approach to the Generation of Referring Expressions
This paper presents a Conceptual Graph (cg) framework to the Generation of Referring Expressions (gre). Employing Conceptual Graphs as the underlying formalism allows a new rigorou...
Madalina Croitoru, Kees van Deemter
EUROGRAPHICS
2010
Eurographics
14 years 6 months ago
Electors Voting for Fast Automatic Shape Correspondence
This paper challenges the difficult problem of automatic semantic correspondence between two given shapes which are semantically similar but possibly geometrically very different...
Oscar Kin-Chung Au, Chiew-Lan Tai, Daniel Cohen-Or...