18 search results - page 2 / 4 » Meta-programming through typeful code representation |
PLDI
2005
ACM
13 years 11 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
CADUI
2006
13 years 6 months ago
2006
Three types of representation are typically produced during the User Interface (UI) development life cycle: a conceptual representation holding the models used for elaborating a UI...
PPDP
2009
Springer
13 years 12 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
CVPR
2010
IEEE
14 years 1 months ago
2010
IEEE
Many successful models for scene or object recognition transform low-level descriptors (such as Gabor filter responses, or SIFT descriptors) into richer representations of interme...
3DPVT
2004
IEEE
13 years 9 months ago
2004
IEEE
This paper presents an efficient and scalable coding scheme for transmitting a stream of 3D models extracted from a video. As in classical model-based video coding, the geometry, ...