5423 search results - page 39 / 1085 » Denial-of-service in automation systems |
118
click to vote
AAAI
1994
15 years 3 months ago
1994
Large amounts of low- to medium-quality English texts are now being produced by machine translation (MT) systems, optical character readers (OCR), and non-native speakers of Engli...
117
click to vote
DFG
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...
ACSD
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper reviews a proposal for the modular analysis of Petri nets and its applicability to factory automation systems. It presents new algorithms to harness this modular analys...
126
click to vote
LOPSTR
1995
Springer
15 years 5 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
106
click to vote
JIRS
2007
15 years 1 months ago
2007
— Today, there are many opportunities to create vision-based intelligent systems that are human-centric. This is a very rich area because humans are very complex, and the number ...