Sciweavers

1738 search results - page 195 / 348
» Matching Reviews to Objects using a Language Model
Sort
View
TLCA
2005
Springer
15 years 9 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 1 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 9 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 5 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
15 years 10 months 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