1162 search results - page 23 / 233 » An Information-Based Theory of Conditionals |
VSTTE
2012
Springer
12 years 3 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
The paper introduces a new framework for feature learning in classification motivated by information theory. We first systematically study the information structure and present a n...
BMCBI
2010
13 years 7 months ago
2010
Background: Biological networks offer us a new way to investigate the interactions among different components and address the biological system as a whole. In this paper, a revers...
ISMB
1998
13 years 9 months ago
1998
Astatistical theory of local alignmentalgorithms with gaps is presented. Both the linear and logarithmic phases, as well as the phase transition separating the two phases, are des...
IEICET
2006
13 years 7 months ago
2006
In this paper 1 , we shall describe about a refined theory based on the concept of set-valued operators, suitable for available operation of extremely complicated large-scale netwo...