7943 search results - page 1255 / 1589 » A calculus for costed computations |
210
click to vote
GCC
2003
Springer
16 years 3 hour ago
2003
Springer
— The peer-to-peer network for sharing information and data through direct exchange has emerged rapidly in recent years. The searching problem is a basic issue that addresses the...
230
click to vote
ICLP
2003
Springer
15 years 12 months ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
177
click to vote
ICMI
2003
Springer
15 years 12 months ago
2003
Springer
The major difficulty for large vocabulary sign language or gesture recognition lies in the huge search space due to a variety of recognized classes. How to reduce the recognition ...
167
click to vote
IPSN
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The issue of data association arises frequently in sensor networks; whenever multiple sensors and sources are present, it may be necessary to determine which observations...
182
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
- The current energy and environmental cost trends of datacenters are unsustainable. It is critically important to develop datacenter-wide power and thermal management (PTM) soluti...