1070 search results - page 138 / 214 » Type Classes with Functional Dependencies |
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
For combining classifiers at measurement level, the diverse outputs of classifiers should be transformed to uniform measures that represent the confidence of decision, hopefully, ...
BMCBI
2010
13 years 9 months ago
2010
The Protein-DNA Interface database (PDIdb) is a repository containing relevant structural information of Protein-DNA complexes solved by X-ray crystallography and available at the...
IANDC
2006
13 years 9 months ago
2006
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...
TCSV
2002
13 years 8 months ago
2002
A new class of image information-restoration algorithms virtually different from traditional techniques are proposed. In comparison with other approaches, our methods not only use ...
EMNLP
2009
13 years 6 months ago
2009
In the early days of email, widely-used conventions for indicating quoted reply content and email signatures made it easy to segment email messages into their functional parts. To...