3456 search results - page 504 / 692 » Algorithms for Interface Synthesis |
102
Voted
ICESS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In the paper, a portable off-line OCR and bi-linguistic translation system (Chinese to English, English to Chinese)—Electronic Reading Pen (ERPen) is designed and impl...
137
Voted
RTA
2004
Springer
15 years 8 months ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
118
Voted
ICDAR
2003
IEEE
2003
IEEE
Visualizing Multimedia Content on Paper Documents: Components of Key Frame Selection for Video Paper
15 years 8 months ago
The components of a key frame selection algorithm for a paper-based multimedia browsing interface called Video Paper are described. Analysis of video image frames is combined with...
115
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
The detection of regulatory elements from a large set of regulatory regions is a challenging problem in computational genomics. However, computational methods to extract this biol...
137
click to vote
SBACPAD
2003
IEEE
15 years 8 months ago
2003
IEEE
Traffic monitoring and analysis based on general purpose systems with high speed interfaces, such as Gigabit Ethernet and 10 Gigabit Ethernet, requires carefully designed software...