Sciweavers

1738 search results - page 195 / 348
» Matching Reviews to Objects using a Language Model
Sort
View
TLCA
2005
Springer
15 years 11 months ago
A Lambda Calculus for Quantum Computation with Classical Control
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
Peter Selinger, Benoît Valiron
CC
2009
Springer
153views System Software» more  CC 2009»
15 years 4 months ago
From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
Richard Warburton, Sara Kalvala
ER
2003
Springer
84views Database» more  ER 2003»
15 years 11 months ago
Resolving Structural Conflicts in the Integration of XML Schemas: A Semantic Approach
While the Internet has facilitated access to information sources, the task of scalable integration of these heterogeneous data sources remains a challenge. The adoption of the eXte...
Xia Yang, Mong-Li Lee, Tok Wang Ling
DS
1997
97views Database» more  DS 1997»
15 years 7 months ago
A Formalization of ODMG Queries
The ODMG proposal has helped to focus the work on object-oriented databases (OODBs) onto a common object model and query language. Nevertheless there are several shortcomings of t...
Holger Riedel, Marc H. Scholl
ECAL
2007
Springer
16 years 14 days ago
Protolanguages That Are Semi-holophrastic
There is an ongoing debate about whether the words in the first languages spoken by humans expressed single concepts or complex holophrases. A computer model was used to investigat...
Mike Dowman