2962 search results - page 502 / 593 » Reasoning on Association Rules |
167
click to vote
ICLP
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
194
click to vote
LOPSTR
2007
Springer
16 years 10 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
152
click to vote
LPAR
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
171
click to vote
PAM
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Techniques for authenticating BGP protocol objects entail the inspection of additional information in the form of authentication credentials that can be used to validate ...
163
click to vote
PKDD
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Recent results on robust density-based clustering have indicated that the uncertainty associated with the actual measurements can be exploited to locate objects that are ...