436 search results - page 53 / 88 » Decomposing constraint systems: equivalences and computation... |
SASO
2008
IEEE
14 years 3 months ago
2008
IEEE
—High level languages greatly increase the power of a programmer at the cost of programs that consume more s than those written at a lower level of abstraction. This inefficienc...
NIPS
1998
13 years 10 months ago
1998
We examine the statistics of natural monochromatic images decomposed using a multi-scale wavelet basis. Although the coefficients of this representation are nearly decorrelated, t...
PODS
2008
ACM
14 years 8 months ago
2008
ACM
A fundamental problem in distributed computation is the distributed evaluation of functions. The goal is to determine the value of a function over a set of distributed inputs, in ...
SIAMJO
2010
13 years 7 months ago
2010
Abstract. We present a new “lifting” approach for the solution of nonlinear optimization problems (NLPs) that have objective and constraint functions with intermediate variable...
ICCS
2007
Springer
14 years 16 days ago
2007
Springer
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...