5105 search results - page 320 / 1021 » An algorithm to determine peer-reviewers |
202
click to vote
EPIA
1997
Springer
15 years 11 months ago
1997
Springer
Argumentation semantics in extended logic programming has been defined in [5,12] for a single agent which determines its believes by an internal argumentation process. In this pap...
184
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
In this paper, we describe a technique for power reduction in sequential circuits. Existing signals in the circuit are used to selectively disable some of the registers so that a ...
197
click to vote
ICCAD
1992
IEEE
15 years 11 months ago
1992
IEEE
In this paper we describe combining a mesh analysis equation formulation technique with a preconditioned GORES matrix solution algorithm to accelerate the determination of inducta...
215
Voted
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper provides a general and comprehensive approach to implementing misuse detection on expert systems and an in-depth analysis of the effectiveness of the optimization strat...
179
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
A new graph reduction approach to symbolic circuit analysis is developed in this paper. A Binary Decision Diagram (BDD) mechanism is formulated, together with a specially designed ...