877 search results - page 36 / 176 » Full Abstraction for HOPLA |
ECCV
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. Bundle adjustment for multi-view reconstruction is traditionally done using the Levenberg-Marquardt algorithm with a direct linear solver, which is computationally very e...
BIRTHDAY
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. We investigate the power of play-out, the execution mechanism associated with scenario-based programming, which was defined as the operational semantics of live sequence ...
CEC
2010
IEEE
15 years 28 days ago
2010
IEEE
Abstract-- jMetal is a Java-based framework for multiobjective optimization using metaheuristics. It is an ease-to-use, flexible, and extensible software package that has been used...
CDC
2009
IEEE
15 years 28 days ago
2009
IEEE
Abstract-- Formation control experiments are performed using two robots, each equipped with a camera. When both robots are fully informed of the reference velocity, a decentralized...
FSTTCS
2008
Springer
15 years 27 days ago
2008
Springer
ABSTRACT. We study the algorithmic complexity of lattice problems based on Ajtai-Kumar-Sivakumar sieving technique [AKS01]. Given a k-dimensional subspace M ⊆ Rn and a full rank ...