5423 search results - page 291 / 1085 » Denial-of-service in automation systems |
151
click to vote
TACAS
1995
Springer
15 years 10 months ago
1995
Springer
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
147
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
The automation of forest cleaning presupposes principles for choosing those trees that ought to be taken away and those that shall be left standing. In this paper, which is a repor...
172
click to vote
ACL
2001
15 years 8 months ago
2001
We present a machine learning approach to evaluating the wellformedness of output of a machine translation system, using classifiers that learn to distinguish human reference tran...
164
click to vote
WSC
2004
15 years 8 months ago
2004
Distributed simulation promises a range of benefits and opportunities, especially for modeling large-scale complex systems, such as wafer fabs. However, as with many promising tec...
164
Voted
COLING
2010
15 years 1 months ago
2010
We propose a methodology for investigating how well NLP systems handle meaning preserving syntactic variations. We start by presenting a method for the semi automated creation of ...