Sciweavers

1431 search results - page 158 / 287
» Solving Constraints in Model Transformations
Sort
View
96
Voted
WCE
2007
15 years 1 months ago
Feature Reconstruction for Face Recognition Based on Sample Image Learning
—Pose problem is a big challenge for applying face recognition technology under real world conditions. In this paper, appearance based approach was proposed to recognize face acr...
Hongzhou Zhang, Yongping Li, Lin Wang, Chengbo Wan...
130
Voted
SAS
2010
Springer
143views Formal Methods» more  SAS 2010»
14 years 11 months ago
Points-to Analysis as a System of Linear Equations
The efficiency of a points-to analysis is critical for several compiler optimizations and transformations, and has attracted considerable research attention. Despite several advanc...
Rupesh Nasre, Ramaswamy Govindarajan
QOSA
2010
Springer
15 years 4 months ago
Validating Model-Driven Performance Predictions on Random Software Systems
Abstract. Software performance prediction methods are typically validated by taking an appropriate software system, performing both performance predictions and performance measurem...
Vlastimil Babka, Petr Tuma, Lubomír Bulej
117
Voted
AAAI
1996
15 years 2 months ago
Qualitative Multiple-Fault Diagnosis of Continuous Dynamic Systems Using Behavioral Modes
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...
Siddarth Subramanian, Raymond J. Mooney
103
Voted
IEICET
2006
114views more  IEICET 2006»
15 years 22 days ago
Synchronization Verification in System-Level Design with ILP Solvers
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...