2646 search results - page 497 / 530 » Local Type Inference |
RECOMB
2004
Springer
15 years 10 months ago
2004
Springer
Identifying gene clusters, genomic regions that share local similarities in gene organization, is a prerequisite for many different types of genomic analyses, including operon pred...
STOC
2007
ACM
15 years 10 months ago
2007
ACM
A zero-knowledge proof allows a prover to convince a verifier of an assertion without revealing any further information beyond the fact that the assertion is true. Secure multipar...
166
click to vote
SIGMOD
2009
ACM
15 years 10 months ago
2009
ACM
The query models of the recent generation of very large scale distributed (VLSD) shared-nothing data storage systems, including our own PNUTS and others (e.g. BigTable, Dynamo, Ca...
ICIAP
2007
ACM
15 years 10 months ago
2007
ACM
Natural scene categorization of images represents a very useful task for automatic image analysis systems in a wide variety of applications. In the literature, several methods hav...
111
click to vote
ICFP
2004
ACM
15 years 10 months ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...