1015 search results - page 14 / 203 » An efficient algorithm for AS path inferring |
WSC
2004
15 years 11 days ago
2004
We develop an efficient Monte Carlo algorithm for pricing barrier options with the variance gamma model (Madan, Carr, and Chang 1998). After generalizing the double-gamma bridge s...
CADE
2011
Springer
13 years 11 months ago
2011
Springer
This paper describes two algorithms for the compression of propositional resolution proofs. The first algorithm, RecyclePivotsWithIntersection, performs partial regularization, re...
INFOCOM
2002
IEEE
15 years 3 months ago
2002
IEEE
—In MPLS/GMPLS networks, a range of restoration schemes will be required to support different tradeoffs between service interruption time and network resource utilization. In lig...
EMNLP
2009
14 years 8 months ago
2009
A large body of recent research has been investigating the acquisition and application of applied inference knowledge. Such knowledge may be typically captured as entailment rules...
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...