6960 search results - page 348 / 1392 » Continuity Analysis of Programs |
136
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Quantitative proteomics technologies have been developed to comprehensively identify and quantify proteins in two or more complex samples. Quantitative proteomics base...
183
Voted
SIGMOD
2012
ACM
13 years 7 months ago
2012
ACM
It is often highly valuable for organizations to have their data analyzed by external agents. However, any program that computes on potentially sensitive data risks leaking inform...
131
click to vote
VLDB
2001
ACM
15 years 9 months ago
2001
ACM
We present new techniques for supervised wrapper generation and automated web information extraction, and a system called Lixto implementing these techniques. Our system can gener...
115
click to vote
ICCL
1998
IEEE
15 years 8 months ago
1998
IEEE
Dynamic optimization of computer programs can dramatically improve their performance on a variety of applications. This paper presents an efficient infrastructure for dynamic reco...
128
click to vote
MFPS
1993
15 years 8 months ago
1993
All known structures involving a constructively obtainable fixed point (or iteration) operation satisfy the equational laws defining iteration theories. Hence, there seems to be...