2483 search results - page 305 / 497 » A design framework to model retinas |
172
click to vote
GECCO
2007
Springer
16 years 21 days ago
2007
Springer
Real life optimization problems often require finding optimal solution to complex high dimensional, multimodal problems involving computationally very expensive fitness function e...
185
click to vote
VSTTE
2005
Springer
16 years 8 hour ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
169
click to vote
DEXA
2004
Springer
15 years 12 months ago
2004
Springer
One of the key research issues with moving objects databases (MOD) is the uncertainty management problem. In this paper, we discuss how the uncertainty of network constrained movin...
170
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
138
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
The power consumption due to the HW/SW communication on system-level buses represents one of the major contributions to the overall power budget. A model to estimate the switching...