Sciweavers

242 search results - page 11 / 49
» Retrieval of Complex Objects Using a Four-Valued Logic
Sort
View
LOPSTR
1997
Springer
13 years 11 months ago
Implicit Program Synthesis by a Reversible Metainterpreter
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...
Henning Christiansen
EDBT
2011
ACM
225views Database» more  EDBT 2011»
12 years 11 months ago
On (not) indexing quadratic form distance by metric access methods
The quadratic form distance (QFD) has been utilized as an effective similarity function in multimedia retrieval, in particular, when a histogram representation of objects is used...
Tomás Skopal, Tomás Bartos, Jakub Lo...
TARK
2007
Springer
14 years 1 months ago
Alternating-time temporal logic with explicit strategies
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...
Dirk Walther, Wiebe van der Hoek, Michael Wooldrid...
CORR
2010
Springer
141views Education» more  CORR 2010»
13 years 7 months ago
A database approach to information retrieval: The remarkable relationship between language models and region models
In this report, we unify two quite distinct approaches to information retrieval: region models and language models. Region models were developed for structured document retrieval....
Djoerd Hiemstra, Vojkan Mihajlovic
CVPR
2012
IEEE
11 years 10 months ago
Example-based 3D object reconstruction from line drawings
Recovering 3D geometry from a single 2D line drawing is an important and challenging problem in computer vision. It has wide applications in interactive 3D modeling from images, c...
Tianfan Xue, Jianzhuang Liu, Xiaoou Tang