6829 search results - page 220 / 1366 » Quantitative Generalizations of Languages |
158
click to vote
AAMAS
1999
Springer
15 years 6 months ago
1999
Springer
We discuss the tradeo s involved in control of complex articulated agents, and present three implemented controllers for a complex task: a physically-based humanoid torso dancing ...
161
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Since each language that meets all criteria is...
168
click to vote
PPDP
2007
Springer
16 years 20 days ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
153
click to vote
SAC
2006
ACM
16 years 15 days ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
172
click to vote
DLS
2007
15 years 8 months ago
2007
This paper presents a package management system for the Scheme programming language. It is inspired by the Comprehensive Perl Archive Network (CPAN) and various GNU/Linux distribu...