2416 search results - page 196 / 484 » The Language of Cortical Dynamics |
221
click to vote
IUI
2005
ACM
16 years 20 days ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
177
Voted
PPDP
2005
Springer
16 years 17 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
211
click to vote
PLDI
2003
ACM
16 years 10 days ago
2003
ACM
An adaptation of the classic register allocation algorithm to the problem of array storage optimization in MATLAB is presented. The method involves the decomposition of an interfe...
186
Voted
DLS
2008
15 years 8 months ago
2008
Parsing Expression Grammar (PEG) is a recognition-based foundation for describing syntax that renewed interest in top-down parsing approaches. Generally, the implementation of PEG...
190
click to vote
IJIT
2004
15 years 8 months ago
2004
Workflow Management Systems (WfMS) allow organizations to streamline and automate business processes and reengineer their structure. One important requirement for this type of syst...