Sciweavers

2962 search results - page 382 / 593
» Reasoning on Association Rules
Sort
View
DSOM
2004
Springer
15 years 12 months ago
A Formal Validation Model for the Netconf Protocol
Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate...
Sylvain Hallé, Rudy Deca, Omar Cherkaoui, R...
FLOPS
2004
Springer
15 years 12 months ago
Basic Pattern Matching Calculi: a Fresh View on Matching Failure
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
Wolfram Kahl
KR
2004
Springer
15 years 12 months ago
Inferential Complexity Control for Model-Based Abduction
We describe a technique for speeding up inference for model-based abduction tasks that trades off inference time and/or space for the fraction of queries correctly answered. We co...
Gregory M. Provan
ISCIS
2003
Springer
15 years 11 months ago
Similarity for Conceptual Querying
Abstract. The focus of this paper is approaches to measuring similarity for application in content-based query evaluation. Rather than only comparing at the level of words, the iss...
Troels Andreasen, Henrik Bulskov, Rasmus Knappe
ISMIS
2003
Springer
15 years 11 months ago
Similarity Graphs
Abstract. The focus of this paper is approaches to measuring similarity for application in content-based query evaluation. Rather than only comparing at the level of words, the iss...
Rasmus Knappe, Henrik Bulskov, Troels Andreasen