2722 search results - page 321 / 545 » Automating Language Evolution |
120
click to vote
WSC
1997
15 years 5 months ago
1997
This paper describes a general framework for the modeling, design, simulation, and prototyping of large scale systems. The framework uses a coherent set of tools that model the sy...
123
click to vote
AAAI
1992
15 years 5 months ago
1992
We describe an approach to training a statistical parser from a bracketed corpus, and demonstrate its use in a software testing application that translates English speci cations i...
134
click to vote
AIPS
2009
15 years 5 months ago
2009
The ability to automatically compose Web Services is critical for realising more complex functionalities. Several proposals to use automated planning to deal with the problem of s...
129
click to vote
JSW
2008
15 years 4 months ago
2008
A new tool for automated validation of attacks on authentication protocols has been used to find several errors and ambiguities in the list of attacks described in the well known r...
106
click to vote
FUIN
2007
15 years 4 months ago
2007
We present in this paper the algorithm which performs the translation of MSC’2000 diagrams into Petri net modulo strong bisimulation. The correctness of this algorithm is justifi...