1052 search results - page 180 / 211 » Foundations for Virtual Types |
ESOP
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
WISE
2000
Springer
14 years 1 months ago
2000
Springer
The mediator/wrapper approach is used to integrate data from different databases and other data sources by introducing a middleware virtual database that provides high level abstr...
SI3D
1999
ACM
14 years 29 days ago
1999
ACM
Users of 3D desktop applications perform tasks that require accessing data storage, moving objects, and navigation. These operations are typically performed using 2D GUI elements ...
HICSS
1999
IEEE
14 years 29 days ago
1999
IEEE
The main objective of the IBM Grand Central Station (GCS) is to gather information of virtually any type of formats (text, data, image, graphics, audio, video) from the cyberspace...
ICMCS
1999
IEEE
14 years 29 days ago
1999
IEEE
Abstract--In this paper, a procedure is described for the segmentation, content-based coding, and visualization of videoconference image sequences. First, image sequence analysis i...