25195 search results - page 4893 / 5039 » Applications of Computers to Dance |
189
click to vote
IFL
2005
Springer
16 years 2 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...
167
click to vote
IPSN
2005
Springer
16 years 2 days ago
2005
Springer
—We describe the development of a set of embedded system building blocks, known as eBlocks. An eBlock network can be viewed as a basic form of sensor network that can be develope...
218
click to vote
ISRR
2005
Springer
16 years 2 days ago
2005
Springer
Large area mapping at high resolution underwater continues to be constrained by the mismatch between available navigation as compared to sensor accuracy. In this paper we present ...
191
click to vote
JSSPP
2005
Springer
16 years 2 days ago
2005
Springer
Irregular and iterative I/O-intensive jobs need a different approach from parallel job schedulers. The focus in this case is not only the processing requirements anymore: memory, ...
202
click to vote
LOPSTR
2005
Springer
16 years 2 days ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...