3108 search results - page 96 / 622 » The Elements of Computer Credibility |
173
click to vote
FOCS
1991
IEEE
15 years 8 months ago
1991
IEEE
For sums of radicals Pk i=1 i di p i, where i; i are elements of some real algebraic number eld Q( ); di p i 2 R; we present a deterministic polynomial time algorithm to decide wh...
114
click to vote
SIGMOD
2001
ACM
16 years 4 months ago
2001
ACM
An -appro ximate quantile summary of a sequence of N elements is a data structure that can answer quantile queries about the sequence to within a precision of N. We presen t a new...
139
click to vote
ADG
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose an algorithm for automated recognition of computationally constructed curves and discuss several aspects of the recognition problem. Recognizing loci means det...
116
click to vote
CBMS
2005
IEEE
15 years 10 months ago
2005
IEEE
The NCRI Informatics Initiative is overseeing the implementation of an informatics framework for the UK cancer research community. The framework advocates an integrated multidisci...
131
click to vote
ICMB
2005
IEEE
15 years 10 months ago
2005
IEEE
Service discovery is important in mobile and pervasive computing environments, where the set of resources available to an entity changes dynamically over time. This paper describe...