Sciweavers

1723 search results - page 89 / 345
» Cycling in linear programming problems
Sort
View
DISOPT
2007
96views more  DISOPT 2007»
15 years 3 months ago
Symmetric ILP: Coloring and small integers
This paper presents techniques for handling symmetries in integer linear programs where variables can take integer values, extending previous work dealing exclusively with binary v...
François Margot
WINE
2005
Springer
206views Economy» more  WINE 2005»
15 years 8 months ago
Exchange Market Equilibria with Leontief's Utility: Freedom of Pricing Leads to Rationality
This paper studies the equilibrium property and algorithmic complexity of the exchange market equilibrium problem with concave piece-wise linear functions, which include linear an...
Yinyu Ye
102
Voted
ICASSP
2008
IEEE
15 years 9 months ago
Adaptive RR prediction for cardiac MRI
Cardiac magnetic resonance imaging (MRI) is very challenging due to the perpetual heart movements. This movement is pseudo-periodic and implies several issues for image acquisitio...
Julien Oster, Olivier Pietquin, Gilles Bosser
POPL
2012
ACM
13 years 10 months ago
Higher-order functional reactive programming in bounded space
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
Neelakantan R. Krishnaswami, Nick Benton, Jan Hoff...
CAV
2003
Springer
108views Hardware» more  CAV 2003»
15 years 8 months ago
Linear Invariant Generation Using Non-linear Constraint Solving
Abstract. We present a new method for the generation of linear invariants which reduces the problem to a non-linear constraint solving problem. Our method, based on Farkas’ Lemma...
Michael Colón, Sriram Sankaranarayanan, Hen...