31686 search results - page 294 / 6338 » Resource typing in Guru |
AVSS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper deals with classification of human gait types based on the notion that different gait types are in fact different types of locomotion, i.e., running is not simply walk...
75
Voted
TGC
2007
Springer
15 years 6 months ago
2007
Springer
Session types are a means of statically encoding patterns of interaction between two communicating parties. This paper explores a distributed calculus with session types in which a...
98
Voted
CSL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. For nested or heterogeneous datatypes, terminating recursion schemes considered so far have been instances of iteration, excluding efficient definitions of fixed-point ...
ICDT
2001
ACM
15 years 5 months ago
2001
ACM
XML data is often used (validated, stored, queried, etc) with respect to di erent types. Understanding the relationship between these types can provide important information for ma...
ECOOP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...