4163 search results - page 782 / 833 » A comprehensive combination framework |
124
Voted
EDBT
2008
ACM
16 years 3 months ago
2008
ACM
Enterprises may have multiple database systems spread across the organization for redundancy or for serving different applications. In such systems, query workloads can be distrib...
155
click to vote
ECCV
2008
Springer
16 years 1 months ago
2008
Springer
Monte Carlo methods and their subsequent simulated annealing are able to minimize general energy functions. However, the slow convergence of simulated annealing compared with more ...
132
Voted
PLDI
2010
ACM
16 years 21 days ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
112
Voted
ECIR
2009
Springer
16 years 14 days ago
2009
Springer
Ranking for multilingual information retrieval (MLIR) is a task to rank documents of different languages solely based on their relevancy to the query regardless of query’s langu...
118
Voted
EUROSYS
2007
ACM
16 years 11 days ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...