1516 search results - page 216 / 304 » The Increasing Nvalue Constraint |
140
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
115
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
In this contribution1 , we investigate the idea of using cognitive radio to reuse locally unused spectrum to increase the total system capacity. We consider a multiband/wideband sy...
149
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
With the general trend towards ubiquitous access to the Internet, more users will prefer to make voice calls through the Internet. VoIP as the application which facilitates voice c...
158
click to vote
ANNPR
2006
Springer
15 years 8 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...
132
click to vote
CCGRID
2004
IEEE
15 years 8 months ago
2004
IEEE
Grid computing aims to connect large numbers of geographically and organizationally distributed resources to increase computational power, resource utilization, and resource acces...