Sciweavers

3044 search results - page 452 / 609
» Linear logical approximations
Sort
View
SWAT
2010
Springer
204views Algorithms» more  SWAT 2010»
15 years 3 months ago
Feasible and Accurate Algorithms for Covering Semidefinite Programs
In this paper we describe an algorithm to approximately solve a class of semidefinite programs called covering semidefinite programs. This class includes many semidefinite programs...
Garud Iyengar, David J. Phillips, Clifford Stein
CORR
2010
Springer
60views Education» more  CORR 2010»
15 years 3 months ago
Stiffness modelling of parallelogram-based parallel manipulators
Abstract. The paper presents a methodology to enhance the stiffness analysis of parallel manipulators with parallelogram-based linkage. It directly takes into account the influence...
Anatoly Pashkevich, Alexandr Klimchik, Stép...
CVPR
2011
IEEE
15 years 1 months ago
Discriminative Image Warping with Attribute Flow
We address the problem of finding deformation between two images for the purpose of recognizing objects. The challenge is that discriminative features are often transformation-va...
Weiyu Zhang, Praveen Srinivasan, Jianbo Shi
AAMAS
2011
Springer
15 years 1 months ago
Long-term fairness with bounded worst-case losses
How does one repeatedly choose actions so as to be fairest to the multiple beneficiaries of those actions? We examine approaches to discovering sequences of actions for which the...
Gabriel Catalin Balan, Dana Richards, Sean Luke
CACM
2011
120views more  CACM 2011»
15 years 29 days ago
The sequence memoizer
We propose an unbounded-depth, hierarchical, Bayesian nonparametric model for discrete sequence data. This model can be estimated from a single training sequence, yet shares stati...
Frank Wood, Jan Gasthaus, Cédric Archambeau...