5904 search results - page 106 / 1181 » Requirements for a Composition Language |
TLDI
2009
ACM
14 years 7 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
NIPS
2003
13 years 11 months ago
2003
We present a novel connectionist model for acquiring the semantics of a simple language through the behavioral experiences of a real robot. We focus on the “compositionality” ...
EMNLP
2010
13 years 8 months ago
2010
In many applications, replacing a complex word form by its stem can reduce sparsity, revealing connections in the data that would not otherwise be apparent. In this paper, we focu...
PRIMA
2009
Springer
14 years 4 months ago
2009
Springer
Service-Oriented Architectures (SOA) provide infrastructures to make resources available to other participants in the network as independent services. However, service providers, n...
PADL
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Creating GUI programs is hard even for prototyping purposes. Using the model-view paradigm makes it somewhat simpler since the model-view paradigm dictates that the model...