1547 search results - page 13 / 310 » The Isabelle Collections Framework |
KDD
1994
ACM
13 years 11 months ago
1994
ACM
Wepresent a methodfor discovering informative patterns from data. With this method,large databases can be reducedto only a few representative data entries. Ourframeworkencompasses...
FASE
2000
Springer
13 years 11 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
IJAR
2008
13 years 7 months ago
2008
We address in this paper the problem of defining belief functions, typically for multi-source classification applications in image processing. We propose to use mathematical morph...
ARESEC
2011
12 years 7 months ago
2011
—We formalise in a theorem prover the notion of provable anonymity proposed by Garcia et al. Our formalization relies on inductive definitions of message distinguish ability and...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
Image classification on personal photo collections can be extremely useful to various management tasks. However, there is little progress made forwarding it due to (1) lack of tr...