Sciweavers

3 search results - page 1 / 1
» Reducing Acyclic Cover Transducers
Sort
View
WIA
2007
Springer
13 years 11 months ago
Reducing Acyclic Cover Transducers
Jean-Marc Champarnaud, Franck Guingne, Jacques Far...
DBPL
2007
Springer
98views Database» more  DBPL 2007»
13 years 11 months ago
Towards Practical Typechecking for Macro Tree Transducers
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
Alain Frisch, Haruo Hosoya
AOR
2010
13 years 2 months ago
Solutions diversification in a column generation algorithm
Column generation algorithms have been specially designed for solving mathematical programs with a huge number of variables. Unfortunately, this method suffers from slow convergen...
Nora Touati Moungla, Lucas Létocart, Anass ...