3456 search results - page 504 / 692 » Algorithms for Interface Synthesis |
155
Voted
ICESS
2004
Springer
16 years 10 days 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...
185
Voted
RTA
2004
Springer
16 years 9 days 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...
188
Voted
ICDAR
2003
IEEE
2003
IEEE
Visualizing Multimedia Content on Paper Documents: Components of Key Frame Selection for Video Paper
16 years 7 days 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...
180
click to vote
IPPS
2003
IEEE
16 years 7 days 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...
213
click to vote
SBACPAD
2003
IEEE
16 years 7 days 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...