3446 search results - page 103 / 690 » A Reasoning Algorithm for pD* |
112
click to vote
ISCI
2007
15 years 1 months ago
2007
Techniques for drawing graphs have proven successful in producing good layouts of undirected graphs. When nodes must be labeled however, the problem of overlapping nodes arises, p...
ICCD
2004
IEEE
15 years 10 months ago
2004
IEEE
— In this paper, we approach the gate sizing problem in VLSI circuits in the context of increasing variability of process and circuit parameters as technology scales into the nan...
92
Voted
ICCAD
2006
IEEE
15 years 10 months ago
2006
IEEE
Ignoring the effect of simultaneous switching for logic gates causes silicon failures for high performance microprocessor designs. The main reason to omit this effect is the run...
110
click to vote
CSL
2009
Springer
15 years 8 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
112
Voted
ECSQARU
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing con...