Sciweavers

3166 search results - page 230 / 634
» Translation By Structural Correspondences
Sort
View
TCAD
2008
97views more  TCAD 2008»
15 years 6 months ago
Encoding Large Asynchronous Controllers With ILP Techniques
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
Josep Carmona, Jordi Cortadella
ICDAR
2009
IEEE
15 years 4 months ago
A Symbol Spotting Approach Based on the Vector Model and a Visual Vocabulary
This paper addresses the difficult problem of symbol spotting for graphic documents. We propose an approach where each graphic document is indexed as a text document by using the ...
Thi-Oanh Nguyen, Salvatore Tabbone, Alain Boucher
TOG
2012
237views Communications» more  TOG 2012»
13 years 9 months ago
An algebraic model for parameterized shape editing
We present an approach to high-level shape editing that adapts the structure of the shape while maintaining its global characteristics. Our main contribution is a new algebraic mo...
Martin Bokeloh, Michael Wand, Hans-Peter Seidel, V...
VLSID
2003
IEEE
253views VLSI» more  VLSID 2003»
16 years 7 months ago
High Level Synthesis from Sim-nML Processor Models
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
Souvik Basu, Rajat Moona
WECWIS
2005
IEEE
156views ECommerce» more  WECWIS 2005»
16 years 5 days ago
EXSMAL: EDI/XML Semi-Automatic Schema Matching ALgorithm
We describe a schema matching algorithm EXSMAL that automates the semantic correspondence discovery between the EDI (Electronic Data Interchange) messages of various standards (ED...
Uddam Chukmol, Rami Rifaieh, Aïcha-Nabila Ben...