2501 search results - page 362 / 501 » Logics with Rank Operators |
126
click to vote
ESAW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
139
click to vote
EURODAC
1995
IEEE
15 years 8 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...
112
click to vote
FPL
1995
Springer
15 years 8 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 ...
111
click to vote
ICPP
1987
IEEE
15 years 8 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...
162
click to vote
AAAI
2007
15 years 7 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...