3591 search results - page 156 / 719 » Typing linear constraints |
180
click to vote
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
191
click to vote
SIAMREV
2010
15 years 4 days ago
2010
The affine rank minimization problem consists of finding a matrix of minimum rank that satisfies a given system of linear equality constraints. Such problems have appeared in the ...
144
click to vote
DAC
2007
ACM
16 years 6 months ago
2007
ACM
The flip-chip package provides a high chip-density solution to the demand for more I/O pads of VLSI designs. In this paper, we present the first routing algorithm in the literatur...
145
click to vote
ISCAS
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper proposes two new methods for optimizing objectives and constraints. The GP approach is very general and hardware resources in finite wordlength implementation of it allo...
144
click to vote
UAI
2004
15 years 6 months ago
2004
We describe an algorithm for computing bestresponse strategies in a class of two-player infinite games of incomplete information, defined by payoffs piecewise linear in agents...