1604 search results - page 164 / 321 » Development Separation in Lambda-Calculus |
HPDC
1998
IEEE
14 years 3 months ago
1998
IEEE
Conventional resource management systems use a system model to describe resources and a centralized scheduler to control their allocation. We argue that this paradigm does not ada...
CVPR
1997
IEEE
14 years 3 months ago
1997
IEEE
ÐThe detection of smooth curves in images and their completion over gaps are two important problems in perceptual grouping. In this study, we examine the notion of completion ener...
SIGMOD
1997
ACM
14 years 2 months ago
1997
ACM
Visual Language (VL) system development is getting increasingly sophisticated in part due to the arduous nature of user interface (UI) code development. This typically involves id...
UIST
1996
ACM
14 years 2 months ago
1996
ACM
Most interactive graphical applications that use direct manipulation are built with low-level libraries such as Xlib because the graphic and interaction models of higher-level too...
HPTS
1993
14 years 2 months ago
1993
Elements of transaction processing become more and more accepted as a base for general purpose distributed computing.We have developed an action concept with an extended functiona...