193 search results - page 10 / 39 » A PVS Based Framework for Validating Compiler Optimizations |
164
click to vote
ESANN
2004
15 years 6 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...
148
Voted
GECCO
2007
Springer
15 years 11 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...
145
click to vote
LCTRTS
2005
Springer
15 years 10 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...
143
Voted
ICNP
2000
IEEE
15 years 9 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...
157
Voted
ISNN
2004
Springer
15 years 10 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...