2126 search results - page 276 / 426 » An optimization algorithm for imprecise multi-objective prob... |
212
click to vote
ICPR
2010
IEEE
16 years 1 months ago
2010
IEEE
In this paper, we present a method that recognizes single or multiple common actions between a pair of video sequences. We establish an energy function that evaluates geometric and...
162
click to vote
VMCAI
2007
Springer
16 years 12 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
158
click to vote
ASPDAC
1995
ACM
15 years 10 months ago
1995
ACM
- We address the problem of transforming a behavioral specification so that synthesis of a testable implementation from the new specification requires significantly less area and ...
163
click to vote
COLT
2008
Springer
15 years 8 months ago
2008
Springer
Coordinate gradient learning is motivated by the problem of variable selection and determining variable covariation. In this paper we propose a novel unifying framework for coordi...
170
click to vote
Publication
In this paper we describe a new class of representations for realvalued parameters called Center of Mass Encoding (CoME). CoME is based on variable length strings, it is self-adap...