8828 search results - page 1208 / 1766 » Formal methods in practice |
184
click to vote
ICASSP
2009
IEEE
15 years 5 months ago
2009
IEEE
Digital compensation of nonlinear systems is an important topic in many practical applications. This paper considers the problem of predistortion of nonlinear systems described us...
205
click to vote
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
In deflectometry, the shape of mirror objects is recovered from distorted images of a calibrated scene. While remarkably high accuracies are achievable, state-of-the-art methods ...
205
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
With the explosion of the size of digital dataset, the limiting factor for decomposition algorithms is the number of passes over the input, as the input is often stored out-of-cor...
213
click to vote
COLING
2010
15 years 2 months ago
2010
Recent kernel-based PPI extraction systems achieve promising performance because of their capability to capture structural syntactic information, but at the expense of computation...
152
click to vote
FAC
2011
15 years 2 months ago
2011
UseCase-wise Development, an ‘Agile Method’ which introduces functionality into an application stage by stage, with each stage being carried through (ideally) to implementation...