3693 search results - page 494 / 739 » Splitting a Logic Program |
111
Voted
VTS
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract: An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU...
112
click to vote
CP
2005
Springer
15 years 8 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...
105
Voted
VLDB
2005
ACM
15 years 8 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...
129
click to vote
SEW
2003
IEEE
15 years 7 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...
104
Voted
ICALP
2003
Springer
15 years 7 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...