Sciweavers

504 search results - page 48 / 101
» Definitional Reflection and the Completion
Sort
View
SGP
2007
13 years 11 months ago
Laplace-Beltrami eigenfunctions for deformation invariant shape representation
A deformation invariant representation of surfaces, the GPS embedding, is introduced using the eigenvalues and eigenfunctions of the Laplace-Beltrami differential operator. Notabl...
Raif M. Rustamov
DLOG
2008
13 years 11 months ago
Consistency Checking for Extended Description Logics
In this paper we consider the extensions of description logics that were proposed to represent uncertain or vague knowledge, focusing on the fuzzy and possibilistic formalisms. We ...
Olivier Couchariere, Marie-Jeanne Lesot, Bernadett...
COMPGEOM
2008
ACM
13 years 10 months ago
Locally uniform anisotropic meshing
Anisotropic meshes are triangulations of a given domain in the plane or in higher dimensions, with elements elongated along prescribed directions. Anisotropic triangulations have ...
Jean-Daniel Boissonnat, Camille Wormser, Mariette ...
FMOODS
2008
13 years 10 months ago
Semantic Foundations and Inference of Non-null Annotations
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...
Laurent Hubert, Thomas P. Jensen, David Pichardie
LREC
2008
103views Education» more  LREC 2008»
13 years 10 months ago
LIRICS Semantic Role Annotation: Design and Evaluation of a Set of Data Categories
In this paper we report on the analyses of alternative approaches to semantic role annotation (FrameNet (FrameNet, 2005), PropBank (Palmer et al., 2005) and VerbNet (Kipper, 2006)...
Volha Petukhova, Harry Bunt