2702 search results - page 358 / 541 » Practically Applicable Formal Methods |
134
click to vote
TROB
2002
15 years 2 months ago
2002
Abstract-- This paper presents a framework for visual servoing that guarantees convergence to a visible goal from almost every initially visible configuration while maintaining ful...
133
click to vote
ICML
2010
IEEE
15 years 12 days ago
2010
IEEE
Online learning algorithms have recently risen to prominence due to their strong theoretical guarantees and an increasing number of practical applications for large-scale data ana...
201
Voted
EVOW
2009
Springer
15 years 7 days ago
2009
Springer
In recent years, optimization in dynamic environments has attracted a growing interest from the genetic algorithm community due to the importance and practicability in real world a...
110
click to vote
ICASSP
2009
IEEE
15 years 6 days 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...
112
click to vote
CORR
2011
Springer
14 years 9 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...