12981 search results - page 2054 / 2597 » Model Checking (Abstract) |
197
click to vote
EPIA
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. One of the most influential factors in the quality of the solutions found by an evolutionary algorithm is the appropriateness of the fitness function. Specifically in ...
188
click to vote
FC
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. We present a new cryptographic auction protocol that prevents extraction of bid information despite any collusion of participants. This requirement is stronger than commo...
223
click to vote
FPL
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. This paper explores using information about program branch probabilities to optimise reconfigurable designs. The basic premise is to promote utilization by dedicating mo...
187
click to vote
ICCBR
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. This paper presents an approach of case mining to automatically discover case bases from large datasets in order to improve both the speed and the quality of case based r...
205
click to vote
ECCV
2010
Springer
16 years 17 days ago
2010
Springer
Abstract. We use a simple yet powerful higher-order conditional random field (CRF) to model optical flow. It consists of a standard photoconsistency cost and a prior on affine mo...