15754 search results - page 865 / 3151 » Programs are Knowledge Bases |
219
click to vote
BIRTHDAY
2003
Springer
16 years 28 days ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
177
click to vote
VL
1994
IEEE
15 years 11 months ago
1994
IEEE
Stretch-A-Sketch is a pen-based drawing program that combines recognition of hand-drawn glyphs with constraint based maintenance of spatial relations. The recognition program iden...
180
click to vote
POPL
1992
ACM
15 years 11 months ago
1992
ACM
This paper presents a program transformation that allows languages with polymorphic typing (e.g. ML) to be implemented with unboxed, multi-word data representations, more efficien...
192
click to vote
LICS
1989
IEEE
15 years 11 months ago
1989
IEEE
The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses βη-conversion to prove equivalence of programs, then a gros...
198
click to vote
HYBRID
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper we present a dynamic programming formulation of a hybrid optimal control problem for bimodal systems with regional dynamics. In particular, based on optimal...