3624 search results - page 385 / 725 » Abstract Algebraic Logic |
161
click to vote
EPIA
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The two puzzles are the Lottery Paradox and the Amalgamation Paradox, which both point out difficulties for aggregating uncertain information. A generalization of the lot...
135
click to vote
ASPDAC
2006
ACM
16 years 20 days ago
2006
ACM
Abstract— The memory subsystem is known to comprise a significant fraction of the power dissipation in embedded systems. The memory addressing strategy, which determines the seq...
166
click to vote
ICLP
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...
210
click to vote
ICLP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
155
click to vote
IWANN
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper we analyse a serial (ripple carry) and a parallel (Kogge-Stone) adder when operating in subthreshold at 100nm and 70nm. These are targeted for ultra low pow...