Sciweavers

38 search results - page 5 / 8
» Truth, modality and intersubjectivity
Sort
View
CORR
2011
Springer
210views Education» more  CORR 2011»
12 years 11 months ago
Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new binary sequ...
Zoran Majkic
ISBI
2011
IEEE
12 years 11 months ago
Fully automatic segmentation of wrist bones for arthritis patients
A reliable method to evaluate and follow the course of arthritis is given by examination of the carpal bones within the wrist joint. Humans typically have eight such small angular...
Martin Koch, Alexander G. Schwing, Dorin Comaniciu...
LORI
2009
Springer
14 years 1 days ago
Intentions and Assignments
Abstract. The aim of this work is propose a logical approach to intention dynamics based on the notion of assignment [7, 3]. The function of an assignment is to associate the truth...
Emiliano Lorini, Mehdi Dastani, Hans P. van Ditmar...
BILDMED
2009
134views Algorithms» more  BILDMED 2009»
13 years 8 months ago
A Porcine Liver Model for Validation of Registration Accuracy in Image-Guided Surgery
Correct registration between pre-operative high-resolution images and intra-operative data of lower detail is a fundamental requirement in image-guided liver surgery. We propose a ...
Matthias Peterhans, Benoît Dagon, Anne Vom B...
TBILLC
2007
Springer
14 years 1 months ago
Expressing Belief Flow in Assertion Networks
In the line of some earlier work done on belief dynamics, we an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth. A modal la...
Sujata Ghosh, Fernando R. Velázquez-Quesada