4242 search results - page 302 / 849 » An Event Spacing Experiment |
233
click to vote
CSFW
1999
IEEE
15 years 11 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
165
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Recent work has shown that effective methods for recognising objects or spatio-temporal events can be constructed based on receptive field responses summarised into histograms or ...
125
click to vote
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
A large number of methods for circle detection has been studied in the last years for numerous image processing applications. The application domain considered in this paper is th...
191
click to vote
ICASSP
2007
IEEE
16 years 1 months ago
2007
IEEE
Content-based audio classification techniques have focused on classifying events that are both semantically and perceptually distinct (such as speech, music, environmental sounds...
165
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—Despite the well-known fact that sensing patterns in reality are highly irregular, researchers continue to develop protocols with simplifying assumptions about the sensing. For ...