120 search results - page 13 / 24 » Generative type abstraction and type-level computation |
148
click to vote
CGF
2011
14 years 7 months ago
2011
The complexity and detail of geometric scenes that are used in today’s computer animated films and interactive games have reached a level where the manual creation by tradition...
233
Voted
ECCV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In this paper, we propose a novel type of explicit image filter - guided filter. Derived from a local linear model, the guided filter generates the filtering output b...
140
Voted
EUSAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. To realise an Ambient Intelligence environment, it is paramount that applications can dispose of information about the context in which they operate, preferably in a very...
125
click to vote
LACL
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. The principle of compositionality, as standardly defined, regards grammars as compositional that are not compositional in an intuitive sense of the word. There is, for ex...
178
Voted
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...