4370 search results - page 613 / 874 » Algebra of Logic Programming |
130
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
122
Voted
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
A key challenge for companies is to manage customer relationships as an asset. To create an effective toolkit for the analysis of customer relationships, a combination of relation...
145
click to vote
SEW
2003
IEEE
15 years 9 months ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...
123
Voted
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
A special class of oracle circuits with tree-vector form is introduced. It is shown that they can be evaluated in deterministic polynomial-time with a polylog number of adaptive qu...
161
Voted
DAC
2006
ACM
15 years 6 months ago
2006
ACM
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...