5630 search results - page 78 / 1126 » Computability in Specification |
127
Voted
EMSOFT
2010
Springer
15 years 18 days ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
125
Voted
ICIP
2003
IEEE
16 years 4 months ago
2003
IEEE
Using a novel data dimension reduction method proposed in statistics, we develop an appearance-based face recognition algorithm which is insensitive to large variation in lighting...
147
Voted
KDD
2005
ACM
16 years 3 months ago
2005
ACM
In an interactive classification application, a user may find it more valuable to develop a diagnostic decision support method which can reveal significant classification behavior...
117
Voted
VLSID
2002
IEEE
16 years 3 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
136
Voted
ISVC
2007
Springer
15 years 8 months ago
2007
Springer
In comparison with 2D face images, 3D face models have the advantage of being illumination and pose invariant, which provides improved capability of handling changing environments ...