81 search results - page 4 / 17 » On Normalization by Evaluation for Object Calculi |
TACS
1994
Springer
14 years 1 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
ICPR
2006
IEEE
14 years 3 months ago
2006
IEEE
Cleft lip and palate (CLP) may cause functional limitations even after adequate surgical and non-surgical treatment, speech disorder being one of them. Until now, an objective mea...
JSS
2000
13 years 8 months ago
2000
This paper presents the results of a study where the effects of introducing code reviews in an organisational unit have been evaluated. The study was performed in an ongoing comme...
ICIAP
1997
ACM
14 years 1 months ago
1997
ACM
The purpose is to arrive at recognition of multicolored objects invariant to a substantial change in viewpoint, object geometry and illumination. Assuming dichromatic reflectance...
IROS
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— When grasping an object, friction forces are sometimes utilized. Because of this friction forces, the object is manipulable to various direction. In this paper, we disc...