19 search results - page 1 / 4 » Representation Transfer via Elaboration |
AAAI
2007
13 years 7 months ago
2007
TNN
2011
12 years 11 months ago
2011
Domain adaptation solves a learning problem in a target domain by utilizing the training data in a different but related source domain. Intuitively, discovering a good feature rep...
CADE
2006
Springer
14 years 5 months ago
2006
Springer
We define an interpretation of the Isabelle/HOL logic in HOL Light and its metalanguage, OCaml. Some aspects of the Isabelle logic are not representable directly in the HOL Light o...
DAC
1996
ACM
13 years 9 months ago
1996
ACM
: Electromigration induced degradation in integrated circuits has been accelerated by continuous scaling of device dimensions. We present a methodology for synthesizing high-reliab...
ACL
1998
13 years 6 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 ...