2646 search results - page 497 / 530 » Local Type Inference |
89
Voted
RECOMB
2004
Springer
16 years 24 days 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
16 years 24 days 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...
193
Voted
SIGMOD
2009
ACM
16 years 22 days 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...
113
click to vote
ICIAP
2007
ACM
16 years 19 days 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...
136
Voted
ICFP
2004
ACM
16 years 14 days 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...