5423 search results - page 50 / 1085 » Denial-of-service in automation systems |
107
click to vote
DAC
2010
ACM
15 years 5 months ago
2010
ACM
In this paper we summarize recent developments in compact dynamical modeling for both linear and nonlinear systems arising in analog applications. These techniques include methods...
114
Voted
RTA
2010
Springer
15 years 5 months ago
2010
Springer
Decreasing diagrams technique (van Oostrom, 1994) is a technique that can be widely applied to prove confluence of rewrite systems. To directly apply the decreasing diagrams techn...
115
click to vote
NAACL
2003
15 years 3 months ago
2003
We present a novel system for automatically marking up text documents into XML and discuss the benefits of XML markup for intelligent information retrieval. The system uses the Se...
165
click to vote
ACL
1990
15 years 3 months ago
1990
We describe a system of reversible grammar in which, given a logic-grammar specification of a natural language, two efficient PROLOGprograms are derived by an off-line compilation...
126
click to vote
TVCG
2008
15 years 1 months ago
2008
Building visualization and analysis pipelines is a large hurdle in the adoption of visualization and workflow systems by domain scientists. In this paper, we propose techniques to ...