3333 search results - page 181 / 667 » Abstract Proof Search |
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We describe a method for enumerating all essentially different executions possible for a cryptographic protocol. We call them the shapes of the protocol. Naturally occur...
157
click to vote
IJCNN
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— This paper presents an investigation of a neuralbased technique for detecting and quantifying persons in beach imagery for the purpose of predicting trends of tourist a...
127
click to vote
ICDE
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract Although e-commerce is becoming popular, product rules, which describe various conditions such as prices, applicability, and discount conditions are still expressed in nat...
143
Voted
GBRPR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Graph matching is often used for image recognition. Different kinds of graph matchings have been proposed such as (sub)graph isomorphism or error-tolerant graph matching...
154
Voted
STACS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In recent years, probabilistic analyses of algorithms have received increasing attention. Despite results on the average-case complexity and smoothed complexity of exact ...