1945 search results - page 159 / 389 » Speeding up Serpent |
144
click to vote
ASPDAC
2004
ACM
15 years 12 months ago
2004
ACM
The design of future high-performance embedded systems is hampered by two problems: First, the required hardware needs more energy than is available from batteries. Second, curren...
141
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
This paper investigates the issues in polyphonic popular song retrieval. The problems that we consider include singing voice extraction, melodic curve representation, and database...
130
click to vote
XIMEP
2004
ACM
15 years 12 months ago
2004
ACM
We argue that efficient support for schema validation and type annotation in XQuery processors deserves as much attention as efficient evaluation techniques for XPath queries have...
146
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
175
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Genetic algorithms have been a standard technique for engineers optimising water distribution networks for some time. However in recent years there has been an increasing...