1090 search results - page 126 / 218 » Type-Directed Partial Evaluation |
118
click to vote
CN
2006
15 years 3 months ago
2006
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...
139
Voted
CSDA
2006
15 years 3 months ago
2006
TheexactlikelihoodfunctionofaGaussianvectorautoregressive-movingaverage(VARMA)model is evaluated in two nonstandard cases: (a) a parsimonious structured form, such as obtained in ...
104
click to vote
JCT
2008
15 years 3 months ago
2008
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...
149
click to vote
JAR
2006
15 years 3 months ago
2006
In many AI fields, the problem of finding out a solution which is as close as possible to a given configuration has to be faced. This paper addresses this problem in a propositiona...
130
click to vote
PAMI
2008
15 years 3 months ago
2008
Segmentation and tracking of multiple humans in crowded situations is made difficult by interobject occlusion. We propose a model-based approach to interpret the image observations...