515 search results - page 90 / 103 » Efficient Logic Optimization Using Regularity Extraction |
102
click to vote
TSE
2010
14 years 6 months ago
2010
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence to deploy more dependable software. This pap...
115
click to vote
CIKM
2008
Springer
15 years 1 months ago
2008
Springer
Online detection of video clips that present previously unseen events in a video stream is still an open challenge to date. For this online new event detection (ONED) task, existi...
ERCIMDL
2005
Springer
15 years 5 months ago
2005
Springer
MedioVis is a visual information seeking system which was designed especially for library data. The objective target was to create a system which simplifies and optimizes the userâ...
101
click to vote
CCGRID
2010
IEEE
14 years 9 months ago
2010
IEEE
Due to the strong increase of processing units available to the end user, expressing parallelism of an algorithm is a major challenge for many researchers. Parallel applications ar...
130
click to vote
ICDAR
2009
IEEE
15 years 6 months ago
2009
IEEE
Text extraction is an important phase in document recognition systems. In order to segment text from a page document it is necessary to detect all the possible manuscript text reg...