Sciweavers

1097 search results - page 117 / 220
» Partial evaluation of Maple
Sort
View
139
Voted
CONSTRAINTS
2008
90views more  CONSTRAINTS 2008»
15 years 4 months ago
Combining Tree Partitioning, Precedence, and Incomparability Constraints
The tree constraint partitions a directed graph into node-disjoint trees. In many practical applications that involve such a partition, there exist side constraints specifying requ...
Nicolas Beldiceanu, Pierre Flener, Xavier Lorca
CORR
2008
Springer
135views Education» more  CORR 2008»
15 years 4 months ago
A DCCP Congestion Control Mechanism for Wired- cum-Wireless Environments
Existing transport protocols, be it TCP, SCTP or DCCP, do not provide an efficient congestion control mechanism for heterogeneous wired-cum-wireless networks. Solutions involving i...
Ijaz Haider Naqvi, Tanguy Pérennou
CN
2006
88views more  CN 2006»
15 years 4 months ago
Relevance of massively distributed explorations of the Internet topology: Qualitative results
Internet maps are generally constructed using the traceroute tool from a few sources to many destinations. It appeared recently that this exploration process gives a partial and bi...
Jean-Loup Guillaume, Matthieu Latapy, Damien Magon...
CSDA
2006
117views more  CSDA 2006»
15 years 4 months ago
Exact maximum likelihood estimation of structured or unit root multivariate time series models
TheexactlikelihoodfunctionofaGaussianvectorautoregressive-movingaverage(VARMA)model is evaluated in two nonstandard cases: (a) a parsimonious structured form, such as obtained in ...
Guy Mélard, Roch Roy, Abdessamad Saidi
JCT
2008
103views more  JCT 2008»
15 years 4 months ago
A bijective proof of Jackson's formula for the number of factorizations of a cycle
Factorizations of the cyclic permutation (1 2 . . . N) into two permutations with respectively n and m cycles, or, equivalently, unicellular bicolored maps with N edges and n whit...
Gilles Schaeffer, Ekaterina A. Vassilieva