2740 search results - page 5 / 548 » Typing the Specialization Interface |
EOR
2000
13 years 9 months ago
2000
This paper addresses the problem of scheduling randomly arriving tasks of dierent types at a diversi
LICS
1993
IEEE
14 years 1 months ago
1993
IEEE
This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type infer...
CC
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Scientists are increasingly using dynamic programming languages like Matlab for prototyping and implementation. Effectively compiling Matlab raises many challenges due t...
CHI
2000
ACM
14 years 2 months ago
2000
ACM
Interfaces based on recognition technologies are used extensively in both the commercial and research worlds. But recognizers are still error-prone, and this results in human perf...
AVI
2008
14 years 4 days ago
2008
Automultiscopic displays show 3D stereoscopic images that can be viewed from any viewpoint without special glasses. These displays are becoming widely available and affordable. In...