747 search results - page 36 / 150 » An Alternative Representation for QBF |
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...
211
Voted
FCCM
2002
IEEE
15 years 6 months ago
2002
IEEE
Abstract - In this paper, we hypothesize that reconfigurable computing is not more widely used because of the logistical difficulties caused by the close coupling of applications a...
111
click to vote
ECAI
1994
Springer
15 years 6 months ago
1994
Springer
This paper presents a lexical model dedicated to the semantic representation and interpretation of individual words in unrestricted text, where sense discrimination is difficult t...
124
click to vote
CORR
2012
Springer
13 years 9 months ago
2012
Springer
We show how to compute cartograms with worst-case optimal polygonal complexity. Specifically we study rectilinear duals which are side-contact representations of a planar graph G ...
116
click to vote
ECCV
1994
Springer
16 years 3 months ago
1994
Springer
A face recognition system must recognize a face from a novel image despite the variations between images of the same face. A common approach to overcoming image variations because...