1737 search results - page 29 / 348 » On Interpolation in Existence Logics |
142
click to vote
APAL
2010
15 years 6 months ago
2010
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
150
click to vote
ICIP
2000
IEEE
16 years 7 months ago
2000
IEEE
This paper presents a novel procedure for the representation and coding of 3D surfaces using hierarchical adaptive triangulation. The proposed procedure is based on pyramidal anal...
158
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Diffusion tensor imaging (DTI) has become the major modality to study properties of white matter and the geometry of fiber tracts of the human brain. Clinical studies mostly focus ...
170
click to vote
SGP
2007
15 years 8 months ago
2007
Developable surfaces are surfaces that can be unfolded into the plane with no distortion. Although ubiquitous in our everyday surroundings, modeling them using existing tools requ...
166
click to vote
COMPUTING
2006
15 years 6 months ago
2006
We consider the problem of splitting a symmetric positive definite (SPD) stiffness matrix A arising from finite element discretization into the sum of edge matrices thereby assumi...