11397 search results - page 78 / 2280 » A Relational Abstraction for Functions |
CSL
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Since Parigot's seminal article on an algorithmic interpretation of classical natural deduction [13],
KI
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...
SNPD
2010
13 years 11 months ago
2010
Abstract--A method for explaining results of a regressionbased classifier is proposed. The data is clustered using a metric extracted from the classifier. This way, clusters found ...
AIPRF
2007
13 years 11 months ago
2007
The relative permittivity (or static dielectric constant) of water and steam has been experimentally calculated at a relatively wide range of temperatures and pressures. A single ...
ICML
2004
IEEE
14 years 10 months ago
2004
IEEE
We present a trainable sequential-inference technique for processes with large state and observation spaces and relational structure. Our method assumes "reliable observation...