6104 search results - page 154 / 1221 » Constructing Information Bases Using Associative Structures |
135
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper we present a procedure for solving quantified boolean formulas (QBF), which uses And-Inverter Graphs (AIGs) as the core data-structure. We make extensive use of s...
135
Voted
JUCS
2002
15 years 3 months ago
2002
: Different models and methodologies for the development of hypermedia systems and applications have emerged in the recent years. Software-technical methods and principles enriched...
158
Voted
CANDC
2005
ACM
15 years 3 months ago
2005
ACM
We propose an algorithm of global multiple sequence alignment that is based on a measure of what we call information discrepancy. The algorithm follows a progressive alignment ite...
136
Voted
ICPR
2000
IEEE
16 years 4 months ago
2000
IEEE
We describe a system which is designed to assist in extracting high-level information from sets or sequences of images. We show that the method of principal components analysis fo...
166
Voted
IJAR
2006
15 years 3 months ago
2006
In spatial reasoning, in particular for applications in image understanding, structure recognition and computer vision, a lot of attention has to be paid to spatial relationships ...