2858 search results - page 429 / 572 » Logics with Aggregate Operators |
163
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper describes a method to optimize the performance of data paths. It is based on bit-level arithmetic transformations, and is especially suited to optimize large adder stru...
128
click to vote
FPL
1995
Springer
15 years 10 months ago
1995
Springer
Although the energy required to perform a logic operation has continuously dropped at least by ten orders of magnitude since early vacuumtube electronics [1], the increasing clock ...
133
click to vote
ICPP
1987
IEEE
15 years 9 months ago
1987
IEEE
-- A hardware fault tolerance scheme for large multicomputers executing time-consuming non-interactive applications is described. Error detection and recovery are done mostly by so...
194
click to vote
AAAI
2007
15 years 8 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...
138
click to vote
DLOG
2008
15 years 8 months ago
2008
Absorptions are generally employed in Description Logics (DL) reasoners in a uniform way regardless of the structure of an input knowledge base. In this paper we present an approac...