Sciweavers

6258 search results - page 777 / 1252
» Applied Text Generation
Sort
View
132
Voted
SAT
2004
Springer
97views Hardware» more  SAT 2004»
16 years 12 days ago
Incremental Compilation-to-SAT Procedures
We focus on incremental compilation-to-SAT procedures (iCTS), a promising way to push the standard CTS approaches beyond their limits. We propose the first comprehensive framework...
Marco Benedetti, Sara Bernardini
SCVMA
2004
Springer
16 years 12 days ago
On the Relationship Between Image and Motion Segmentation
Abstract. In this paper we present a generative model for image sequences, which can be applied to motion segmentation and tracking, and to image sequence compression. The model co...
Adrian Barbu, Song Chun Zhu
DASFAA
2003
IEEE
106views Database» more  DASFAA 2003»
16 years 10 days ago
Discovering Direct and Indirect Matches for Schema Elements
Automating schema matching is challenging. Previous approaches (e.g. [MBR01, DDH01]) to automating schema matching focus on computing direct element matches between two schemas. S...
Li Xu, David W. Embley
ICDAR
2003
IEEE
16 years 10 days ago
A Line Drawings Degradation Model for Performance Characterization
Line detection algorithms constitute the basis for technical document analysis and recognition. The performance of these algorithms decreases as the quality of the documents degra...
Jian Zhai, Liu Wenyin, Dov Dori, Qing Li
ISCAS
2003
IEEE
169views Hardware» more  ISCAS 2003»
16 years 10 days ago
Efficient implementation of complex exponentially-modulated filter banks
In Exponentially-ModulatedFilter Bank (EMFB) the complex subfilters are generated from a real-valued prototype filter by multiplying the filter impulse response with complex expon...
Juuso Alhava, Ari Viholainen, Markku Renfors