193 search results - page 10 / 39 » A PVS Based Framework for Validating Compiler Optimizations |
ESANN
2004
13 years 10 months ago
2004
This paper is based on a new way for determining the regularization trade-off in least squares support vector machines (LS-SVMs) via a mechanism of additive regularization which ha...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
LCTRTS
2005
Springer
14 years 2 months ago
2005
Springer
Mobile computing based upon wireless technology as the interconnect and PDAs, Web-enabled cell phones etc. as the end devices provide a rich infrastructure for anywhere, anytime i...
ICNP
2000
IEEE
14 years 1 months ago
2000
IEEE
In order to detect violations of end-to-end service level agreements (SLA) and to isolate trouble links and nodes based on a unified framework, managers of a service provider net...
ISNN
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Internet traffic prediction plays a fundamental role in network design, management, control, and optimization. The self-similar and non-linear nature of network traffic m...