1521 search results - page 146 / 305 » Efficient Design Validation Based on Cultural Algorithms |
SAT
2005
Springer
15 years 3 months ago
2005
Springer
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...
BMVC
2010
14 years 8 months ago
2010
Achieving high accuracy in the presence of expression variation remains one of the most challenging aspects of 3D face recognition. In this paper, we propose a novel recognition a...
DAC
2008
ACM
15 years 11 months ago
2008
ACM
We present a domain-specific approach to representing datapaths for hardware implementations of linear signal transform algorithms. We extend the tensor structure for describing l...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
Broadcasting is known to be an efficient means of disseminating data in wireless communication environments (such as Satellite, mobile phone networks,...). It has been recently ob...
102
click to vote
FCSC
2007
14 years 10 months ago
2007
1 The techniques for image analysis and classi cation generally consider the image sample labels xed and without uncertainties. The rank regression problem is studied in this pape...