4894 search results - page 846 / 979 » Choices |
200
click to vote
GECCO
2005
Springer
16 years 14 days 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...
211
click to vote
ICAPR
2005
Springer
2005
Springer
Mathematical Features for Recognizing Preference in Sub-saharan African Traditional Rhythm Timelines
16 years 14 days 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...
204
click to vote
IFL
2005
Springer
16 years 14 days 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...
180
click to vote
KIVS
2005
Springer
16 years 13 days 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...
185
Voted
LCPC
2005
Springer
16 years 13 days 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...