Sciweavers

2944 search results - page 43 / 589
» On Well Quasi-orders on Languages
Sort
View
SAC
2000
ACM
14 years 7 days ago
An Approach for Modeling the Name Lookup Problem in the C++ Programming Language
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
James F. Power, Brian A. Malloy
IAT
2007
IEEE
14 years 3 months ago
A Specification Language for Coordination in Agent Systems
This paper introduces an executable coordination specification language, which is able to handle prespecified ways as well as more flexible and generic ways of specifying coordina...
Tibor Bosse, Mark Hoogendoorn, Radu Serban, Jan Tr...
ECOOP
2005
Springer
14 years 2 months ago
Efficient Multimethods in a Single Dispatch Language
Smalltalk-80 is a pure object-oriented language in which messages are dispatched according to the class of the receiver, or first argument, of a message. Object-oriented languages ...
Brian Foote, Ralph E. Johnson, James Noble
SPATIALCOGNITION
1998
Springer
14 years 26 days ago
How Space Structures Language
As Talmy has observed, language schematizes space; language provides a systematic framework to describe space, by selecting certain aspects of a referent scene while neglecting the...
Barbara Tversky, Paul U. Lee
NIPS
2008
13 years 10 months ago
A Scalable Hierarchical Distributed Language Model
Neural probabilistic language models (NPLMs) have been shown to be competitive with and occasionally superior to the widely-used n-gram language models. The main drawback of NPLMs...
Andriy Mnih, Geoffrey E. Hinton