Sciweavers

2647 search results - page 3 / 530
» Solving Term Inequalities
Sort
View
ENTCS
2007
101views more  ENTCS 2007»
13 years 5 months ago
Inequational Deduction as Term Graph Rewriting
Multi-algebras allow to model nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. We propose a s...
Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Ba...
MOR
2006
92views more  MOR 2006»
13 years 5 months ago
Polynomial-Time Separation of a Superclass of Simple Comb Inequalities
The comb inequalities are a well-known class of facet-inducing inequalities for the Traveling Salesman Problem, defined in terms of certain vertex sets called the handle and the t...
Lisa Fleischer, Adam N. Letchford, Andrea Lodi
SIAMNUM
2010
118views more  SIAMNUM 2010»
13 years 13 hour ago
Discontinuous Galerkin Methods for Solving Elliptic Variational Inequalities
Abstract. We study discontinuous Galerkin methods for solving elliptic variational inequalities, of both the first and second kinds. Analysis of numerous discontinuous Galerkin sch...
Fei Wang, Weimin Han, Xiao-Liang Cheng
CDC
2010
IEEE
134views Control Systems» more  CDC 2010»
13 years 8 days ago
Observer design for Lipschitz systems with discrete-time measurements
In this paper, the authors investigate the problem of designing an observer for Lipschitz nonlinear systems with discrete time measurements (continuous-discrete time systems). The ...
Vincent Andrieu, Madiha Nadri
AUTOMATICA
2006
137views more  AUTOMATICA 2006»
13 years 5 months ago
A Newton-like method for solving rank constrained linear matrix inequalities
This paper presents a Newton-like algorithm for solving systems of rank constrained linear matrix inequalities. Though local quadratic convergence of the algorithm is not a priori...
Robert Orsi, Uwe Helmke, John B. Moore