661 search results - page 130 / 133 » What Can We Expect from Program Verification |
125
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Internet advertising is a sophisticated game in which the many advertisers "play" to optimize their return on investment. There are many "targets" for the adve...
160
click to vote
BMCBI
2011
14 years 6 months ago
2011
Background: Orthology analysis is an important part of data analysis in many areas of bioinformatics such as comparative genomics and molecular phylogenetics. The ever-increasing ...
145
click to vote
SIGMOD
2012
ACM
13 years 5 months ago
2012
ACM
We present an automatic skew mitigation approach for userdefined MapReduce programs and present SkewTune, a system that implements this approach as a drop-in replacement for an e...
129
click to vote
ICCV
2003
IEEE
16 years 5 months ago
2003
IEEE
We propose a principled account on multiclass spectral clustering. Given a discrete clustering formulation, we first solve a relaxed continuous optimization problem by eigendecomp...
126
Voted
ACG
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we present our ideas for an Arimaa-playing program (also called a bot) that uses plans and pattern matching to guide a highly selective search. We restrict move gener...