1710 search results - page 77 / 342 » High-Level Programs and Program Conditions |
CORR
2006
Springer
15 years 1 months ago
2006
Springer
In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size ...
105
click to vote
HRI
2006
ACM
15 years 7 months ago
2006
ACM
Robot programmers are faced with the challenging problem of understanding the robot’s view of its world, both when creating and when debugging robot software. As a result tools ...
224
click to vote
MICRO
2006
IEEE
15 years 1 months ago
2006
IEEE
Since processor performance scalability will now mostly be achieved through thread-level parallelism, there is a strong incentive to parallelize a broad range of applications, inc...
DIGRA
2003
Springer
15 years 6 months ago
2003
Springer
We advocate a research approach to determining the conditions of engagement in game simulation that is a multi-disciplinary cultural and scientific inquiry at the juncture of psyc...
106
Voted
EUROCOLT
1999
Springer
15 years 5 months ago
1999
Springer
The present paper motivates the study of mind change complexity for learning minimal models of length-bounded logic programs. It establishes ordinal mind change complexity bounds ...