Sciweavers

2569 search results - page 145 / 514
» Approximate Objects and Approximate Theories
Sort
View
TMI
2008
109views more  TMI 2008»
15 years 4 months ago
Motion Compensated Fan-Beam Reconstruction for Nonrigid Transformation
We develop an approximate fan-beam algorithm to reconstruct an object with time-dependent nonrigid transformation such as the heart. The method is in the form of derivative backpro...
Katsuyuki Taguchi, Hiroyuki Kudo
DLOG
2011
14 years 10 months ago
Paraconsistent Rough Description Logic
Abstract. In this paper, we introduce a paraconsistent extension of Rough Description Logics which allows the representation of incomplete and contradictory concepts, as well as th...
Henrique Viana, João Alcântara, Ana T...
CADE
1998
Springer
15 years 10 months ago
Admissibility of Fixpoint Induction over Partial Types
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
Karl Crary
TFCV
1994
15 years 7 months ago
Attentive Visual Motion Processing: Computations in the Log-Polar Plane
Attentive vision is characterized by selective sensing in space and time as well as selective processing with respect to a speci c task. Selection in space involves the splitting ...
Konstantinos Daniilidis
FSS
2008
113views more  FSS 2008»
15 years 6 months ago
Consistency measure, inclusion degree and fuzzy measure in decision tables
Classical consistency degree has some limitations for measuring the consistency of a decision table, in which the lower approximation of a target decision is only taken into consi...
Yuhua Qian, Jiye Liang, Chuangyin Dang