4498 search results - page 646 / 900 » How to Invent Functions |
139
click to vote
DESRIST
2009
Springer
15 years 9 months ago
2009
Springer
Despite the widespread recognition that information technology (IT) and business process are tightly connected, existing system design methods provide limited guidance on how to t...
134
click to vote
EDBT
2009
ACM
15 years 9 months ago
2009
ACM
In this paper, we propose an original solution for the general reverse k-nearest neighbor (RkNN) search problem. Compared to the limitations of existing methods for the RkNN searc...
140
click to vote
ICLP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
138
click to vote
CCS
2001
ACM
15 years 9 months ago
2001
ACM
hfulness of Abstract Protocol Analysis: Message Authentication∗ Joshua D. Guttman F. Javier Thayer Lenore D. Zuck December 18, 2002 Dolev and Yao initiated an approach to studyi...
164
click to vote
DAGM
2001
Springer
15 years 9 months ago
2001
Springer
A complete processing chain for visual object recognition is described in this paper. The system automatically detects individual objects on an assembly line, identifies their typ...