15644 search results - page 2838 / 3129 » Brittle System Analysis |
184
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for term...
163
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Recently, lattice-reduction-aided detectors have been proposed for multiple-input multiple-output (MIMO) systems to give performance with full diversity like maximum likelihood rec...
167
click to vote
CSL
2006
Springer
15 years 6 months ago
2006
Springer
We propose and motivate an alternative to the traditional error-based or cost-based evaluation metrics for the goodness of speaker detection performance. The metric that we propos...
179
click to vote
ENTCS
2006
15 years 6 months ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
192
click to vote
IJCV
2008
15 years 6 months ago
2008
The recent development of Sequential Monte Carlo methods (also called particle filters) has enabled the definition of efficient algorithms for tracking applications in image sequen...