4894 search results - page 846 / 979 » Choices |
177
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
Any computational approach to design, including the use of evolutionary algorithms, requires the transformation of the domain-specific knowledge into a formal design representatio...
195
click to vote
ICAPR
2005
Springer
2005
Springer
Mathematical Features for Recognizing Preference in Sub-saharan African Traditional Rhythm Timelines
15 years 12 months ago
The heart of an African rhythm is the timeline, a beat that cyclically repeats thoughout a piece, and is often performed with an iron bell that all performers can hear. Such rhythm...
183
click to vote
IFL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
159
click to vote
KIVS
2005
Springer
15 years 11 months ago
2005
Springer
Peer-to-peer overlay networks have grown significantly in size and sophistication over the last years. Meanwhile, distributed hash tables (DHT) provide efficient means to create g...
175
click to vote
LCPC
2005
Springer
15 years 11 months ago
2005
Springer
Thread-level speculation (TLS) allows potentially dependent threads to speculatively execute in parallel, thus making it easier for the compiler to extract parallel threads. Howeve...