3116 search results - page 207 / 624 » Positively dependent types |
139
click to vote
FSTTCS
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
138
click to vote
ITICSE
1996
ACM
15 years 9 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...
111
click to vote
CTCS
1989
Springer
15 years 9 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...
165
click to vote
GECCO
2000
Springer
15 years 8 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...
143
Voted
DAGM
1995
Springer
15 years 8 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...