14078 search results - page 2341 / 2816 » Design and Analysis of Computer Algorithms |
295
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
171
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
The use of nanometer technologies is making it increasingly important to consider transient characteristics of a circuit’s power dissipation (e.g., peak power, and power gradien...
146
click to vote
WABI
2007
Springer
16 years 14 days ago
2007
Springer
Although snake venom proteins have been proven instrumental in the design of blood clotting and cytostatic breast cancer drugs, the main method in use to sequence these unknown pr...
183
click to vote
MM
2005
ACM
15 years 12 months ago
2005
ACM
In this paper, we study how a sensor-rich world can be exploited by digital recording devices such as cameras and camcorders to improve a user’s ability to search through a larg...
175
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
HyperNEAT, a generative encoding for evolving artificial neural networks (ANNs), has the unique and powerful ability to exploit the geometry of a problem (e.g., symmetries) by enc...