1922 search results - page 357 / 385 » ie 2007 |
128
click to vote
CSL
2007
Springer
15 years 3 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ļ...
CTRSA
2007
Springer
15 years 3 months ago
2007
Springer
Standard signature schemes are usually designed only to achieve weak unforgeability ā i.e. preventing forgery of signatures on new messages not previously signed. However, most s...
DFG
2007
Springer
15 years 3 months ago
2007
Springer
: To better understand how developmental regulatory networks are deļ¬ned in the genome sequence, the Berkeley Drosophila Transcription Network Project (BDNTP) has developed a suit...
EMSOFT
2007
Springer
15 years 3 months ago
2007
Springer
Design space exploration of embedded systems typically focuses on classical design goals such as cost, timing, buffer sizes, and power consumption. Robustness criteria, i.e. sensi...
EVOW
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Overcompression is the process of post-processing compressed images to gain either further size reduction or improved quality. This is made possible by the fact that the ...