23590 search results - page 4506 / 4718 » Algorithm Performance Contest |
128
Voted
ICFP
2007
ACM
16 years 5 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
146
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
Often, independent organizations define and advocate different XML formats for a similar purpose and, as a result, application programs need to mutually convert between such forma...
139
click to vote
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
Abstract-- Despite of advances in machine learning technologies, a schema matching result between two database schemas (e.g., those derived from COMA++) is likely to be imprecise. ...
165
click to vote
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
Similarity joins have been studied as key operations in multiple application domains, e.g., record linkage, data cleaning, multimedia and video applications, and phenomena detectio...
160
click to vote
MOBISYS
2008
ACM
16 years 4 months ago
2008
ACM
Over the course of a day a human interacts with tens or hundreds of individual objects. Many of these articles are nomadic, relying on human memory to manually index, inventory, o...