38 search results - page 5 / 8 » Unpacking |
ECOOP
2008
Springer
13 years 9 months ago
2008
Springer
Wildcards are a complex and subtle part of the Java type system, present since version 5.0. Although there have been various formalisations and partial type soundness results conce...
ACL
1998
13 years 8 months ago
1998
In this paper we present an ambiguity preserving translation approach which transfers ambiguous LFG f-structure representations. It is based on packed f-structure representations ...
PUC
2008
13 years 7 months ago
2008
Abstract We consider the emergence of hybrid ecologies, which marry mixed reality environments and ubiquitous computing environments together to bridge the physical-digital divide....
103
click to vote
Source Code
Description
===========
This package contains the major source code of a demo for our learning based digital image matting technique (as detailed in the below paper).
@InPro...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...