Sciweavers

2030 search results - page 246 / 406
» Extremal Problems of Information Combining
Sort
View
VTS
1997
IEEE
86views Hardware» more  VTS 1997»
15 years 10 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 10 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 10 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 8 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,...