6142 search results - page 1152 / 1229 » The Complexity of Partition Functions |
154
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
Computational Grids potentially offer cheap large-scale high-performance systems, but are a very challenging architecture, being heterogeneous, shared and hierarchical. Rather tha...
182
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...
191
click to vote
ISRR
2005
Springer
15 years 11 months ago
2005
Springer
A novel model for dynamic emergence and adaptation of embodied behavior is proposed. A musculo-skeletal system is controlled by a number of chaotic elements, each of which driving...
167
click to vote
MHCI
2005
Springer
15 years 11 months ago
2005
Springer
Users of mobile tour guides often express a strong desire for the system to be able to provide information on arbitrary objects they encounter during their visit – akin to point...
172
click to vote
OTM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We introduce XMLVM, a Turing complete XML-based programming language based on a stack-based, virtual machine. We show how XMLVM can automatically be created from Java cla...