Sciweavers

4421 search results - page 155 / 885
» Libraries
Sort
View
AFP
2008
Springer
241views Formal Methods» more  AFP 2008»
16 years 23 days ago
Libraries for Generic Programming in Haskell
Johan Jeuring, Sean Leather, José Pedro Mag...
GLVLSI
2007
IEEE
177views VLSI» more  GLVLSI 2007»
16 years 22 days ago
Improvements for constraint solving in the systemc verification library
Daniel Große, Rüdiger Ebendt, Rolf Drec...
HASE
2007
IEEE
16 years 22 days ago
Transformation-Based Library Adaptation for Embedded Systems
Victor L. Winter, Azamatbek Mametjanov, Steven E. ...
ICDAR
2007
IEEE
16 years 22 days 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...