Sciweavers

6456 search results - page 1079 / 1292
» Constraint Solving on Terms
Sort
View
CDC
2010
IEEE
15 years 1 months ago
Synthesis using approximately bisimilar abstractions: time-optimal control problems
s using Approximately Bisimilar Abstractions: Time-Optimal Control Problems Antoine Girard In this paper, we present a hierarchical approach to time-optimal control using approxima...
Antoine Girard
CROSSROADS
2010
15 years 1 months ago
Massive multiplayer human computation for fun, money, and survival
Crowdsourcing is an effective tool to solve hard tasks. By bringing 100,000s of people to work on simple tasks that only humans can do, we can go far beyond traditional models of ...
Lukas Biewald
PAMI
2011
15 years 1 months ago
Multiple Kernel Learning for Dimensionality Reduction
—In solving complex visual learning tasks, adopting multiple descriptors to more precisely characterize the data has been a feasible way for improving performance. The resulting ...
Yen-Yu Lin, Tyng-Luh Liu, Chiou-Shann Fuh
SIAMSC
2011
162views more  SIAMSC 2011»
15 years 1 months ago
Accelerating the LSTRS Algorithm
In a recent paper [Rojas, Santos, Sorensen: ACM ToMS 34 (2008), Article 11] an efficient method for solving the Large-Scale Trust-Region Subproblem was suggested which is based on ...
Jörg Lampe, Marielba Rojas, Danny C. Sorensen...
TIP
2011
156views more  TIP 2011»
15 years 1 months ago
Geodesic Active Fields - A Geometric Framework for Image Registration
In this paper we present a novel geometric framework called geodesic active fields for general image registration. In image registration, one looks for the underlying deformation ...
Dominique Zosso, Xavier Bresson, Jean-Philippe Thi...
« Prev « First page 1079 / 1292 Last » Next »