881 search results - page 133 / 177 » Word sense disambiguation |
AI
2007
Springer
14 years 10 months ago
2007
Springer
Traditionally, consistency is the only criterion for the quality of a theory in logicbased approaches to reasoning about actions. This work goes beyond that and contributes to the...
CAGD
2008
14 years 10 months ago
2008
In this paper we present a robust approach to construct a map between two triangulated meshes, M and M' of arbitrary and possibly unequal genus. We introduce a novel initial ...
ENTCS
2008
14 years 10 months ago
2008
Logical frameworks have enjoyed wide adoption as meta-languages for describing deductive systems. While the techniques for representing object languages in logical frameworks are ...
DCG
2006
14 years 9 months ago
2006
Let B be a Borel set in Ed with volume V (B) = . It is shown that almost all lattices L in Ed contain infinitely many pairwise disjoint d-tuples, that is sets of d linearly indepen...
IJCGA
2006
14 years 9 months ago
2006
In this paper we first modify a widely used discrete Laplace Beltrami operator proposed by Meyer et al over triangular surfaces, and then establish some convergence results for th...