Sciweavers

2030 search results - page 246 / 406
» Extremal Problems of Information Combining
Sort
View
VTS
1997
IEEE
86views Hardware» more  VTS 1997»
15 years 9 months ago
Incremental logic rectification
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...
Shi-Yu Huang, Kuang-Chien Chen, Kwang-Ting Cheng
EWCBR
2000
Springer
15 years 9 months ago
Activating Case-Based Reasoning with Active Databases
Many of today's CBR systems are passive in nature: they require human users to activate them manually and to provide information about the incoming problem explicitly. In this...
Sheng Li, Qiang Yang
ICRE
2000
IEEE
15 years 9 months ago
A Lightweight Approach to Consistency of Scenarios and Class Models
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...
Martin Glinz
AMFG
2005
IEEE
164views Biometrics» more  AMFG 2005»
15 years 7 months ago
Pose-Encoded Spherical Harmonics for Robust Face Recognition Using a Single Image
Abstract. Face recognition under varying pose is a challenging problem, especially when illumination variations are also present. Under Lambertian model, spherical harmonics repres...
Zhanfeng Yue, Wenyi Zhao, Rama Chellappa
APVIS
2010
15 years 7 months ago
Physically-based interactive schlieren flow visualization
Understanding fluid flow is a difficult problem and of increasing importance as computational fluid dynamics produces an abundance of simulation data. Experimental flow analysis h...
Carson Brownlee, Vincent Pegoraro, Singer Shankar,...