16430 search results - page 560 / 3286 » On Computable Tree Functions |
198
click to vote
ENTCS
2007
15 years 7 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
179
click to vote
GC
2010
Springer
15 years 5 months ago
2010
Springer
A directed graph has a natural Z-module homomorphism from the underlying graph’s cycle space to Z where the image of an oriented cycle is the number of forward edges minus the n...
206
click to vote
HAID
2009
Springer
15 years 4 months ago
2009
Springer
In this paper a number of examples are presented of how haptic and auditory feedback can be used for deictic referencing in collaborative virtual environments. Haptic feedback supp...
129
click to vote
HCI
2009
15 years 4 months ago
2009
Abstract. Within OASIS, a set of detailed Use Cases have been developed, after capturing the specific needs of elderly users on the use and acquisition of services for the support ...
349
click to vote
Book
"The present Handbook has been designed to provide scientific investigators with a comprehensive and self-contained summary of the mathematical functions that arise in physica...