8766 search results - page 1495 / 1754 » Functional logic programming |
180
Voted
CVPR
2011
IEEE
15 years 1 months ago
2011
IEEE
We analyze the computational problem of multi-object tracking in video sequences. We formulate the problem using a cost function that requires estimating the number of tracks, as ...
253
click to vote
SCP
2011
14 years 10 months ago
2011
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...
125
Voted
NAR
2010
14 years 10 months ago
2010
ALTER is an open web-based tool to transform between different multiple sequence alignment formats. The originality of ALTER lies in the fact that it focuses on the specifications...
177
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
—Validation is one of the software engineering disciplines that help build quality into software. The major objective of software validation process is to determine that the soft...
119
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
—This paper deals with optimized training sequences to estimate multiple-input multiple-output orthogonal frequencydivision multiplexing (MIMO-OFDM) channel states in the presenc...