5423 search results - page 247 / 1085 » Denial-of-service in automation systems |
161
click to vote
AAAI
2000
15 years 8 months ago
2000
We present Dialog Moves Markup Language (DMML): an extensible markup language (XML) representation of modality independent communicative acts of automated conversational agents. I...
157
click to vote
MVA
2000
15 years 8 months ago
2000
The present paper proposes a new concept of image processing method based on vector representation for visual inspection test. The method was applied to detect defects and extract...
174
click to vote
ASIAMS
2008
IEEE
15 years 6 months ago
2008
IEEE
Image difference operation is frequently used in automated printed circuit board (PCB) inspection system as well as in many other image processing applications. During the impleme...
179
click to vote
AICOM
2010
15 years 6 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
229
click to vote
DMS
2010
15 years 5 months ago
2010
We present an automated Image Annotation system called I-Tag which uses both visual and textual information of the images and recommends relevant tags for them. The automatic gene...