318 search results - page 16 / 64 » An Experimental Ambiguity Detection Tool |
JAR
2008
13 years 10 months ago
2008
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
This paper introduced NgViz, a tool that examines DNS traffic and shows anomalies in n-gram frequencies. This is accomplished by comparing input files against a fingerprint of leg...
ICVS
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Due to stringing time constraints, saliency models are becoming popular tools for building situated robotic systems requiring, for instance, object recognition and vision...
CEAS
2007
Springer
14 years 4 months ago
2007
Springer
We address the problem of filtering image spam, a rapidly spreading kind of spam in which the text message is embedded into attached images to defeat spam filtering techniques b...
TITS
2002
13 years 10 months ago
2002
Abstract-This paper presents algorithms for vision-based detection and classification of vehicles in monocular image sequences of traffic scenes recorded by a stationary camera. Pr...