1999 search results - page 180 / 400 » Dependently Typed Grammars |
162
click to vote
ITICSE
1996
ACM
15 years 10 months ago
1996
ACM
This paper describes two ways we have integrated algorithm animations into several computer science courses. First, we use previously existing animations during lectures to aid in...
134
click to vote
CTCS
1989
Springer
15 years 10 months ago
1989
Springer
The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does not capture that evaluation of type-expressions i...
194
click to vote
GECCO
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents the emergence of the cooperative behavior for multiple agents by means of Genetic Programming (GP). For the purpose of evolving the effective cooperative behav...
169
click to vote
DAGM
1995
Springer
15 years 10 months ago
1995
Springer
The reliability and accuracy of point-based image registration strongly depends on the selection of suitable landmarks and on the precision of localizing theses landmarks in images...
171
click to vote
SIGLEX
1991
15 years 10 months ago
1991
Drawing on a growing database of systematic relationships between word-senses, the authors argue that a significant class of these represent Lexical Implication Rules, a set of fo...