15474 search results - page 2936 / 3095 » Emergent process design |
156
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 23 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...
164
Voted
POPL
2010
ACM
16 years 23 days ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
126
Voted
ICDT
2010
ACM
16 years 23 days ago
2010
ACM
Sources of data uncertainty and imprecision are numerous. A way to handle this uncertainty is to associate probabilistic annotations to data. Many such probabilistic database mode...
158
Voted
SDM
2009
SIAM
16 years 17 days ago
2009
SIAM
Biclustering refers to simultaneous clustering of objects and their features. Use of biclustering is gaining momentum in areas such as text mining, gene expression analysis and co...