Sciweavers

416 search results - page 36 / 84
» The ruby intermediate language
Sort
View
IJCNN
2006
IEEE
14 years 2 months ago
A Structured Context Model for Grammar Learning
—We present a structured model of context that supports an integrated approach to language acquisition and use. The model extends an existing formal notation, Embodied Constructi...
Nancy Chang, Eva Mok
DISCEX
2003
IEEE
14 years 1 months ago
MuCAPSL
Secure group communication protocols have been designed to meet needs such as secure management of group membership, confidential group communication, and access control. New lan...
Jonathan K. Millen, Grit Denker
DS
1997
97views Database» more  DS 1997»
13 years 10 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
LISP
2007
112views more  LISP 2007»
13 years 8 months ago
The next 700 Krivine machines
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...
Rémi Douence, Pascal Fradet
COLING
2002
13 years 8 months ago
A Chart-Parsing Algorithm for Efficient Semantic Analysis
In some contexts, well-formed natural language cannot be expected as input to information or communication systems. In these contexts, the use of grammar-independent input (sequen...
Pascal Vaillant