Sciweavers

4421 search results - page 155 / 885
» Libraries
Sort
View
AFP
2008
Springer
241views Formal Methods» more  AFP 2008»
15 years 8 months ago
Libraries for Generic Programming in Haskell
Johan Jeuring, Sean Leather, José Pedro Mag...
GLVLSI
2007
IEEE
177views VLSI» more  GLVLSI 2007»
15 years 8 months ago
Improvements for constraint solving in the systemc verification library
Daniel Große, Rüdiger Ebendt, Rolf Drec...
HASE
2007
IEEE
15 years 8 months ago
Transformation-Based Library Adaptation for Embedded Systems
Victor L. Winter, Azamatbek Mametjanov, Steven E. ...
ICDAR
2007
IEEE
15 years 8 months ago
A Proposition of Retrieval Tools for Historical Document Images Libraries
In this article, we propose a method of characterization of pictures of old documents based on a texture approach. This characterization is carried out with the help of a multires...
Nicholas Journet, Jean-Yves Ramel, Rémy Mul...