Sciweavers

6155 search results - page 281 / 1231
» A language for multiple models of computation
Sort
View
NN
2006
Springer
15 years 6 months ago
Hold your horses: A dynamic computational role for the subthalamic nucleus in decision making
The basal ganglia (BG) coordinate decision making processes by facilitating adaptive frontal motor commands while suppressing others. In previous work, neural network simulations ...
Michael J. Frank
ICTCS
2005
Springer
16 years 5 days ago
A Typed Semantics of Higher-Order Store and Subtyping
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
Jan Schwinghammer
COLING
2002
15 years 6 months ago
Machine Translation by Interaction between Paraphraser and Transfer
A machine translation model has been proposed where an input is translated through both source-language and target-language paraphrasing processes. We have implemented our prototy...
Kazuhide Yamamoto
EDOC
2003
IEEE
15 years 12 months ago
Model Transformation: A declarative, reusable patterns approach
The MOF Query, View and Transformation RFP, issued by OMG will result in a key enabling technology for modeldriven development of large distributed systems. We have designed a tra...
Keith Duddy, Anna Gerber, Michael Lawley, Kerry Ra...
POPL
2009
ACM
16 years 1 months ago
Declarative aspects of memory management in the concurrent collections parallel programming model
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
Zoran Budimlic, Aparna Chandramowlishwaran, Kathle...