3146 search results - page 200 / 630 » Efficient Consequence Finding |
149
click to vote
VLSID
1996
IEEE
15 years 10 months ago
1996
IEEE
The paper presents QCAMP, a cube-based algorithm for minimization of single Boolean functions. The algorithm does not generate all the prime cubes, nor does it require the Off-set...
147
click to vote
SSD
1997
Springer
15 years 10 months ago
1997
Springer
It is agreed upon that topological relations ore of great importance regarding to GIS data sets consistency. A lot of errors that can be found in GIS data sets are coming from a l...
170
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
In order to increase the productivity of the application developers, it is desirable to remove the persistence concern from their responsibility. For this purpose, the orthogonal ...
145
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents a new register assignment heuristic for procedures in SSA Form, whose interference graphs are chordal; the heuristic is called optimistic chordal coloring (OCC...
157
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents a brief summary of the findings of a Web-based survey of the views of Australian publishers, on the potential impact of digital technologies, followed by three...