2025 search results - page 85 / 405 » On the Utility of Inference Mechanisms |
150
click to vote
IJCAI
1993
15 years 7 months ago
1993
In this paper a framework is developed for measuring the complexities of deductions in an ab stract and computationally perspicuous man ner. As a notion of central importance ...
169
click to vote
JFP
2008
15 years 6 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
349
click to vote
BICA
2010
15 years 1 months ago
2010
Deep-layer machine learning architectures continue to emerge as a promising biologically-inspired framework for achieving scalable perception in artificial agents. State inference ...
182
click to vote
KES
2004
Springer
15 years 11 months ago
2004
Springer
We consider the problem of inferring kinetic mechanisms for biochemical reactions from time series data. Using a priori knowledge about the structure of chemical reaction kinetics ...
174
click to vote
IICS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract: The article presents a model of the structural properties of virtual communities and the information they can access. It argues that a large part of the information – a...