Sciweavers

1943 search results - page 52 / 389
» Ordering Default Theories
Sort
View
WBIR
2010
SPRINGER
15 years 3 months ago
Continuity Order of Local Displacement in Volumetric Image Sequence
Abstract. We introduce a method for volumetric cardiac motion analysis using variational optical flow computation involving the prior with the fractional order differentiations. ...
Koji Kashu, Yusuke Kameda, Masaki Narita, Atsushi ...
TPHOL
1995
IEEE
15 years 3 months ago
HOLCF: Higher Order Logic of Computable Functions
This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLCF is based on HOLC, a variant of the well known higher order logic HOL, which o e...
Franz Regensburger
DAGM
2010
Springer
14 years 9 months ago
An Empirical Comparison of Inference Algorithms for Graphical Models with Higher Order Factors Using OpenGM
Abstract. Graphical models with higher order factors are an important tool for pattern recognition that has recently attracted considerable attention. Inference based on such model...
Björn Andres, Jörg H. Kappes, Ullrich K&...
ICIC
2007
Springer
15 years 6 months ago
Uncertainty Measures of Roughness of Knowledge and Rough Sets in Ordered Information Systems
Rough set theory has been considered as a useful tool to deal with inexact, uncertain, or vague knowledge. However, in real-world, most of information systems are based on dominanc...
Wei-Hua Xu, Hong-zhi Yang, Wen-Xiu Zhang
ILP
2004
Springer
15 years 5 months ago
First Order Random Forests with Complex Aggregates
Random forest induction is a bagging method that randomly samples the feature set at each node in a decision tree. In propositional learning, the method has been shown to work well...
Celine Vens, Anneleen Van Assche, Hendrik Blockeel...