1888 search results - page 178 / 378 » Proof theory and computational analysis |
210
click to vote
RTSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Schedulability analysis is a cornerstone of modern real-time scheduling theory development. Utilizationbound based schedulability test is considered one of most efficient and effe...
196
click to vote
PODS
2000
ACM
15 years 11 months ago
2000
ACM
An estimation algorithm for a query is a probabilistic algorithm that computes an approximation for the size (number of tuples) of the query. One class of estimation algorithms us...
212
click to vote
MIAR
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract. Surface-based morphometry (SBM) is widely used in biomedical imaging and other domains to localize shape changes related to different conditions. This paper presents a co...
300
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
A statistical database (StatDB) retrieves only aggregate results, as opposed to individual tuples. This paper investigates the construction of a privacy preserving StatDB that can...
224
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Stateless opportunistic forwarding is a simple faulttolerant distributed approach for data delivery and information querying in wireless ad hoc networks, where packets a...