3267 search results - page 459 / 654 » Computational Models of Language Acquisition |
136
click to vote
SIGADA
2001
Springer
15 years 9 months ago
2001
Springer
The last years have seen an increasing, albeit restricted simulation of large-scale networks on shared memory parallel platforms. As the complexity of communication protocols and ...
139
Voted
ASPLOS
2000
ACM
15 years 9 months ago
2000
ACM
Simulation is the primary method for evaluating computer systems during all phases of the design process. One significant problem with simulation is that it rarely models the syst...
157
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
129
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
192
Voted
ASE
1998
15 years 4 months ago
1998
The process of understanding a source code in a high-level programming language involves complex computation. Given a piece of legacy code and a library of program plan templates, ...