Sciweavers

4277 search results - page 96 / 856
» On Multiple Linear Approximations
Sort
View
APAL
2005
97views more  APAL 2005»
14 years 10 months ago
Polarized and focalized linear and classical proofs
We give the precise correspondence between polarized linear logic and polarized classical logic. The properties of focalization and reversion of linear proofs are at the heart of ...
Olivier Laurent, Myriam Quatrini, Lorenzo Tortora ...
JAIR
2006
122views more  JAIR 2006»
14 years 10 months ago
Solving Factored MDPs with Hybrid State and Action Variables
Efficient representations and solutions for large decision problems with continuous and discrete variables are among the most important challenges faced by the designers of automa...
Branislav Kveton, Milos Hauskrecht, Carlos Guestri...
CAGD
1999
101views more  CAGD 1999»
14 years 9 months ago
Approximation algorithms for developable surfaces
By its dual representation, a developable surface can be viewed as a curve of dual projective 3-space. After introducing an appropriate metric in the dual space and restricting ou...
Helmut Pottmann, Johannes Wallner
STOC
2007
ACM
146views Algorithms» more  STOC 2007»
15 years 10 months ago
Playing games with approximation algorithms
In an online linear optimization problem, on each period t, an online algorithm chooses st S from a fixed (possibly infinite) set S of feasible decisions. Nature (who may be adve...
Sham M. Kakade, Adam Tauman Kalai, Katrina Ligett
FOCM
2007
55views more  FOCM 2007»
14 years 10 months ago
On Location and Approximation of Clusters of Zeros: Case of Embedding Dimension One
Isolated multiple zeros or clusters of zeros of analytic maps with several variables are known to be difficult to locate and approximate. This article is in the vein of the α-theo...
Marc Giusti, Grégoire Lecerf, Bruno Salvy, ...