619 search results - page 52 / 124 » Generic Extensions and Generic Polynomials |
ECML
2001
Springer
14 years 7 days ago
2001
Springer
Abstract. This paper proposes a generic extension to propositional rule learners to handle multiple-instance data. In a multiple-instance representation, each learning example is r...
TPHOL
1998
IEEE
13 years 12 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
WSC
2007
13 years 10 months ago
2007
Commercial simulation environments offer model developers the ability to compose simulation models using generic or domain specific model constructs. Most simulation environments ...
ICPR
2004
IEEE
14 years 8 months ago
2004
IEEE
Pattern matching is a well-known pattern recognition technique. This paper proposes a novel pattern matching algorithm that searches transformation space by sequential subdivision...
SP
2006
IEEE
14 years 1 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...