5451 search results - page 371 / 1091 » Typed Operational Semantics |
158
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper discusses a novel approach to combining human and machine intelligence in teleoperation of 6 degree of freedom (DOF) arm manipulators. Two algorithms are presented that...
143
click to vote
ECOOP
2003
Springer
15 years 11 months ago
2003
Springer
This paper explains how higher-order hierarchies can be used to handle the expression problem. The expression is concerned with extending both the set of data structures and the s...
179
click to vote
LPNMR
1993
Springer
15 years 10 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
184
Voted
SBBD
2004
15 years 7 months ago
2004
Learning Content Management Systems (LCMS) store and manage e-learning content and play an important role in the development of Distance Learning technology. ROSA (Repository of O...
162
click to vote
ESOP
2009
Springer
16 years 28 days ago
2009
Springer
This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of th...