2035 search results - page 271 / 407 » On the complexity of stratified logics |
118
Voted
ASPDAC
1995
ACM
15 years 4 months ago
1995
ACM
— The goal of transistor reordering for a logic gate is to reduce the propagation delay as well as the charging and discharging of internal capacitances to achieve low power cons...
104
click to vote
DAC
1995
ACM
15 years 4 months ago
1995
ACM
- Power estimation in combinational modules is addressed from a probabilistic point of view. The zero-delay hypothesis is considered and under highly correlated input streams, the ...
134
click to vote
AIIA
1991
Springer
15 years 4 months ago
1991
Springer
The use of approximation as a method for dealing with complex problems is a fundamental research issue in Knowledge Representation. Using approximation in symbolic AI is not strai...
127
Voted
AAAI
2007
15 years 3 months ago
2007
Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on complex logical representation...
101
click to vote
AAAI
2007
15 years 3 months ago
2007
This paper presents both a semantic and a computational model for multi-agent belief revision. We show that these two models are equivalent but serve different purposes. The seman...