378 search results - page 49 / 76 » Proof interpretations with truth |
LICS
2010
IEEE
13 years 6 months ago
2010
IEEE
We consider formulas which, in addition to the symbols in the vocabulary, may use two designated symbols ≺ and + that must be interpreted as a linear order and its associated ad...
ICDE
2007
IEEE
14 years 9 months ago
2007
IEEE
For location-based services it is often essential to efficiently process proximity relations among mobile objects, such as to establish whether a group of friends or family member...
MICCAI
2005
Springer
14 years 1 months ago
2005
Springer
Dynamic contrast-enhanced 4-D MR renography has the potential for broad clinical applications, but suffers from respiratory motion that limits analysis and interpretation. Since ea...
ECCV
2004
Springer
14 years 29 days ago
2004
Springer
This paper deals with the computation of optical flow and occlusion detection in the case of large displacements. We propose a Bayesian approach to the optical flow problem and s...
EUSFLAT
2007
13 years 9 months ago
2007
Fuzzy formal logics were introduced in order to handle graded truth values instead of only ‘true’ and ‘false’. A wide range of such logics were introduced successfully, li...