3799 search results - page 451 / 760 » An Engineering Approach to Formal Methods |
187
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
Videotext recognition is challenging due to low resolution, diverse fonts/styles, and cluttered background. Past methods enhanced recognition by using multiple frame averaging, im...
174
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Reversible quantum logic plays an important role in quantum computing. In this paper, we propose an approach to optimally synthesize quantum circuits by symbolic reachability anal...
158
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Individuals in social networks are often organized under some hierarchy such as a command structure. In many cases, when this structure is unknown, there is a need to discover h...
165
click to vote
IOLTS
2006
IEEE
16 years 22 days ago
2006
IEEE
FPGA emulation has proven to be a performance effective method to analyse the behaviour of digital circuits in the presence of soft errors due to SEU effects. In particular, the r...
199
click to vote
ISSS
1998
IEEE
15 years 11 months ago
1998
IEEE
False path analysis is an activity with applications in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time est...