Sciweavers

1809 search results - page 106 / 362
» Using GDE in Educational Systems
Sort
View
CORR
2004
Springer
97views Education» more  CORR 2004»
14 years 10 months ago
Quantum typing
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...
Benoît Valiron
CORR
2000
Springer
112views Education» more  CORR 2000»
14 years 10 months ago
Evolution of differentiated expression patterns in digital organisms
Abstract. We investigate the evolutionary processes behind the development and optimization of multiple threads of execution in digital organisms using the avida platform, a softwa...
Charles Ofria, Christoph Adami, Travis C. Collier,...
CORR
2002
Springer
175views Education» more  CORR 2002»
14 years 10 months ago
A continuation semantics of interrogatives that accounts for Baker's ambiguity
Wh-phrases in English have two important properties: first, they can appear both raised and in-situ; second, while in-situ wh-phrases can take semantic scope beyond the immediately...
Chung-chieh Shan
CORR
1998
Springer
62views Education» more  CORR 1998»
14 years 9 months ago
Eliminating deceptions and mistaken belief to infer conversational implicature
Conversational implicatures are usually described as being licensed by the disobeying or flouting of some principle by the speaker in cooperative dialogue. However, such work has...
Mark Lee, Yorick Wilks
CORR
1998
Springer
66views Education» more  CORR 1998»
14 years 9 months ago
Textual Economy through Close Coupling of Syntax and Semantics
We focus on the productionof efficient descriptionsof objects, actions and events. We define a type of efficiency, textualeconomy, thatexploitsthe hearer’s recognitionof infe...
Matthew Stone, Bonnie L. Webber