1021 search results - page 123 / 205 » Pure Subtype Systems |
POPL
2004
ACM
14 years 8 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— It is widely agreed that efficient visual search requires the integration of target-driven top-down information and image-driven bottom-up information. Yet the problem of gaze...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Analog and hybrid computation methods are areas of continued interest, particularly in specific applications where traditional digital computation techniques cannot achieve the de...
ECWEB
2000
Springer
14 years 10 days ago
2000
Springer
PC franking systems allow customers to download postage value into their PCs and to print postage value onto envelopes or mailing labels by using regular desktop printers connected...
POPL
1998
ACM
14 years 6 days ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...