Sciweavers

627 search results - page 83 / 126
» Contextual Grammars as Generative Models of Natural Language...
Sort
View
AAAI
1994
13 years 10 months ago
Automatic Depiction of Spatial Descriptions
A novel combination of ideas from cognitive linguistics and spatial occupancy models in robotics has led to the WIP (Words Into Pictures) system. WIP automatically generates depic...
Patrick Olivier, Toshiyuki Maeda, Jun-ichi Tsujii
IJCAI
2001
13 years 10 months ago
Generating Tailored Examples to Support Learning via Self-explanation
We describe a framework that helps students learn from examples by generating example problem solutions whose level of detail is tailored to the students' domain knowledge. T...
Cristina Conati, Giuseppe Carenini
OTM
2009
Springer
14 years 3 months ago
The Constellation Query Language
Collaboration in modeling is essential to success, but ORM diagrams intimidate many business people, and most would never install an ORM modeling tool on their computers. The Const...
Clifford Heath
CP
2007
Springer
14 years 3 months ago
Propagation = Lazy Clause Generation
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
Olga Ohrimenko, Peter J. Stuckey, Michael Codish
ESOP
2012
Springer
12 years 4 months ago
The Call-by-Need Lambda Calculus, Revisited
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
Stephen Chang, Matthias Felleisen