Sciweavers

2038 search results - page 84 / 408
» Improvements to the Psi-SSA representation
Sort
View
AGP
1998
IEEE
15 years 6 months ago
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos
The subject of groundness analysis for (constraint) logic programs has been widely studied, and interesting domains have been proposed. Pos has been recognized as the most suitabl...
Roberto Bagnara, Peter Schachte
ASPDAC
2007
ACM
146views Hardware» more  ASPDAC 2007»
15 years 5 months ago
Practical Implementation of Stochastic Parameterized Model Order Reduction via Hermite Polynomial Chaos
Abstract-- This paper describes the stochastic model order reduction algorithm via stochastic Hermite Polynomials from the practical implementation perspective. Comparing with exis...
Yi Zou, Yici Cai, Qiang Zhou, Xianlong Hong, Sheld...
ICCS
2007
Springer
15 years 5 months ago
A Comparison of Different Conceptual Structures Projection Algorithms
Knowledge representation (KR) is used to store and retrieve meaningful data. This data is saved using dynamic data structures that are suitable for the style of KR being implemente...
Heather D. Pfeiffer, Roger T. Hartley
AVBPA
2005
Springer
326views Biometrics» more  AVBPA 2005»
15 years 3 months ago
Rank-Based Decision Fusion for 3D Shape-Based Face Recognition
In 3D face recognition systems, 3D facial shape information plays an important role. Various shape representations have been proposed in the literature. The most popular techniques...
Berk Gökberk, Albert Ali Salah, Lale Akarun
MTA
2006
169views more  MTA 2006»
15 years 1 months ago
MBC-based shape retrieval: basics, optimizations, and open problems
Shape of an object is an important feature for image and multimedia similarity retrievals. In our previous studies we introduced a new boundary-based technique (MBC-based) for shap...
Maytham Safar, Cyrus Shahabi