3591 search results - page 179 / 719 » Typing linear constraints |
166
click to vote
CCGRID
2007
IEEE
15 years 9 months ago
2007
IEEE
We describe a hybrid linear programming (LP) and evolutionary algorithm (EA) based resource matcher suitable for heterogeneous grid environments. The hybrid matcher adopts the ite...
178
Voted
ANNPR
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Decomposition techniques are used to speed up training support vector machines but for linear programming support vector machines (LP-SVMs) direct implementation of decom...
169
click to vote
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
158
Voted
ASPDAC
2008
ACM
15 years 7 months ago
2008
ACM
- We present a topology synthesis method for high performance System-on-Chip (SoC) design. Our method provides an optimal topology of on-chip communication network for the given ba...
146
click to vote
ICWS
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...