10901 search results - page 1874 / 2181 » Approximations in Distributed Optimization |
157
click to vote
ICCD
2000
IEEE
15 years 8 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
170
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
There is growing interest in multi-robot frequency-based patrolling, in which a team of robots optimizes its frequency of point visits, for every point in a target work area. In p...
165
click to vote
ISPD
2007
ACM
15 years 6 months ago
2007
ACM
When VLSI technology scales toward 45nm, the lithography wavelength stays at 193nm. This large gap results in strong refractive effects in lithography. Consequently, it is a huge...
155
click to vote
CASCON
2007
15 years 6 months ago
2007
The management of non-functional goals, or Service Level Agreements (SLA), in the development of business processes in a Service Oriented Architecture often requires much manual a...
158
click to vote
ESANN
2006
15 years 6 months ago
2006
Neural gas (NG) constitutes a very robust clustering algorithm which can be derived as stochastic gradient descent from a cost function closely connected to the quantization error...