4255 search results - page 413 / 851 » Cover |
171
click to vote
LOGCOM
2010
15 years 5 months ago
2010
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
232
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The simulation of ultrasound wave propagation is of high interest in fields as ultrasound system development and therapeutic ultrasound. From a computational point of vi...
166
click to vote
MST
2010
15 years 5 months ago
2010
We initiate the first systematic study of the NP-hard Cluster Vertex Deletion (CVD) problem (unweighted and weighted) in terms of fixed-parameter algorithmics. In the unweighted...
156
click to vote
P2P
2010
IEEE
15 years 5 months ago
2010
IEEE
—Internet Service Providers (ISPs) have failed to reduce the cost of peer-to-peer (P2P) traffic. Traffic throttling devices increase user download times, and caches store content...
195
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
—The widespread use of tracking and localization systems may be hindered by centralized server platforms whose performance can hardly scale up to the needs of very large numbers ...