Sciweavers

4870 search results - page 315 / 974
» Construction of Wavelets and Applications
Sort
View
LANMR
2007
15 years 8 months ago
Generating maximal models using the stable model semantics
Given a propositional formula X, we present a mapping that constructs a general program P, such that the maximal models of X correspond to the stable models of P, after intersectin...
Juan Carlos Nieves, Mauricio Osorio
163
Voted
DICTA
2003
15 years 8 months ago
The Parameterization of Joint Rotation with the Unit Quaternion
Abstract. Unit quaternion is an ideal parameterization for joint rotations. However, due to the complexity of the geometry of S3 group, it’s hard to specify meaningful joint cons...
Qiang Liu, Edmond C. Prakash
IJCAI
2001
15 years 8 months ago
Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity
In the quest for expressive description logics for real-world applications, a powerful combination of constructs has so far eluded practical decision procedures: intersection and ...
Fabio Massacci
EUSFLAT
2003
123views Fuzzy Logic» more  EUSFLAT 2003»
15 years 8 months ago
Intuitionistic fuzzy sets - an alternative look
This paper concerns the theory of intuitionistic fuzzy sets according to Atanassov. If triangular norms, especially nonstrict Archimedean ones, are used, we propose a revision and...
Anna Pankowska, Maciej Wygralak
ADCM
2010
85views more  ADCM 2010»
15 years 7 months ago
On the injectivity of Wachspress and mean value mappings between convex polygons
Wachspress and mean value coordinates are two generalizations of triangular barycentric coordinates to convex polygons and have recently been used to construct mappings between po...
Michael S. Floater, Jirí Kosinka