959 search results - page 134 / 192 » Transfers between Logics and their Applications |
189
click to vote
WISE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Approximation has been identified as a potential way of reducing the complexity of logical reasoning. Here we explore approximation for speeding up instance retrieval in...
268
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
Deduction modulo is a theoretical framework for reasoning modulo a congruence on propositions. Computational steps are thus removed from proofs, thus allowing a clean separatation...
181
click to vote
ICCD
2007
IEEE
16 years 3 months ago
2007
IEEE
In single processor architectures, computationallyintensive functions are typically accelerated using hardware accelerators, which exploit the concurrency in the function code to ...
115
click to vote
INFOCOM
2007
IEEE
16 years 14 days ago
2007
IEEE
Abstract— Reliability is critical to a variety of network applications. Unfortunately, due to lack of QoS support across ISP boundaries, it is difficult to achieve even two 9s (...
147
click to vote
ICMCS
2005
IEEE
15 years 11 months ago
2005
IEEE
The ever-increasing complexity of generic MultimediaContent-Analysis-based (MCA) solutions, their processing power demanding nature and the need to prototype and assess solutions ...