2584 search results - page 334 / 517 » On the Forward Checking Algorithm |
160
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Analog and mixed-signal CAD looks like a nice success story: there's been significant research in building design automation tools since the late 80's, and commercial to...
162
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
— This paper addresses the problem of equivalence verification of RTL descriptions. The focus is on datapathoriented designs that implement polynomial computations over fixed-s...
163
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...
152
click to vote
ER
2009
Springer
16 years 1 months ago
2009
Springer
In previous work, we proposed an algebra whose operators allow to specify the valid compound terms of a faceted taxonomy, in a flexible manner (by combining positive and negative ...
169
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present PelletSpatial, a qualitative spatial reasoning engine implemented on top of Pellet. PelletSpatial provides consistency checking and query answering over s...