7628 search results - page 116 / 1526 » Automatic Generation of the C |
136
click to vote
AAAI
2008
15 years 7 months ago
2008
This paper addresses the task of automatic classification of semantic relations between nouns. We present an improved WordNet-based learning model which relies on the semantic inf...
159
click to vote
SDL
2003
15 years 6 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
133
click to vote
NAACL
1994
15 years 6 months ago
1994
We present results ofexperiments designed to assess the usefulness of a new technique for the evaluation of translation quality, comparing human rankings with automatic measures. ...
149
Voted
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
This paper introduces a procedure based on genetic programming to evolve XSLT programs (usually called stylesheets or logicsheets). XSLT is a general purpose, document-oriented fu...
144
Voted
ATVA
2010
Springer
15 years 4 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...