Sciweavers

1134 search results - page 21 / 227
» Using Constraints with Action Language for Model Evolution
Sort
View
POPL
2009
ACM
15 years 4 months ago
Language constructs for transactional memory
Transactional memory (TM) provides a safer, more modular, and more scalable alternative to traditional lock-based synchronization. Implementing high performance TM systems has rec...
Tim Harris
ACL
1992
14 years 10 months ago
Understanding Natural Language Instructions: The Case of Purpose Clauses
This paper presents an analysis of purpose clauses in the context of instruction understanding. Such analysis shows that goals affect the interpretation and / or execution of acti...
Barbara Di Eugenio
91
Voted
POPL
1990
ACM
15 years 28 days ago
Concurrent Constraint Programming
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
Vijay A. Saraswat, Martin C. Rinard
OTM
2007
Springer
15 years 3 months ago
Property-Preserving Evolution of Components Using VPA-Based Aspects
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...
Dong Ha Nguyen, Mario Südholt
EELC
2006
128views Languages» more  EELC 2006»
15 years 1 months ago
Evolving Distributed Representations for Language with Self-Organizing Maps
We present a neural-competitive learning model of language evolution in which several symbol sequences compete to signify a given propositional meaning. Both symbol sequences and p...
Simon D. Levy, Simon Kirby