11909 search results - page 2179 / 2382 » The Scheme Programming Language |
108
click to vote
ER
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The development of index structures that allow e cient retrieval of spatial objects has been a topic of interest in the last decades. Most of these structures have been d...
114
click to vote
ESAW
2009
Springer
15 years 9 months ago
2009
Springer
Artificial agents, people, institutes and societies all have the ability to make decisions. Decision making as a research area therefore involves a broad spectrum of sciences, ran...
100
Voted
FM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
117
Voted
FSEN
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...
114
click to vote
ICCS
2009
Springer
15 years 9 months ago
2009
Springer
Many bioinformatics studies require the analysis of RNA or DNA structures. More specifically, extensive work is done to elaborate efficient algorithms able to predict the 2-D fold...