Sciweavers

16430 search results - page 81 / 3286
» On Computable Tree Functions
Sort
View
OPODIS
2008
15 years 4 months ago
Computing and Updating the Process Number in Trees
The process number is the minimum number of requests that have to be simultaneously disturbed during a routing reconfiguration phase of a connection oriented network. From a graph ...
David Coudert, Florian Huc, Dorian Mazauric
CP
2005
Springer
15 years 8 months ago
Computing and Exploiting Tree-Decompositions for Solving Constraint Networks
Methods exploiting tree-decompositions seem to provide the best approach for solving constraint networks w.r.t. the theoretical time complexity. However, they have not shown a real...
Philippe Jégou, Samba Ndiaye, Cyril Terriou...
SFP
2001
15 years 4 months ago
The Dual of Substitution is Redecoration
: It is well known that type constructors of incomplete trees (trees with variables) carry the structure of a monad with substitution as the extension operation. Less known are the...
Tarmo Uustalu, Varmo Vene
ACISP
2008
Springer
15 years 9 months ago
A Tree-Based Approach for Computing Double-Base Chains
Christophe Doche, Laurent Habsieger