Sciweavers

912 search results - page 20 / 183
» Abstract Saturation-Based Inference
Sort
View
SI3D
2006
ACM
15 years 3 months ago
Abstract shade trees
Shade Trees Morgan McGuire George Stathis Hanspeter Pfister Shriram Krishnamurthi Brown University Harvard Extension School MERL Brown University As GPU-powered special effects be...
Morgan McGuire, George Stathis, Hanspeter Pfister,...
65
Voted
INFOCOM
2008
IEEE
15 years 4 months ago
Network Routing Topology Inference from End-to-End Measurements
Abstract—Inference of the routing topology and link performance from a node to a set of other nodes is an important component of network monitoring and application design. In thi...
Jian Ni, Haiyong Xie 0002, Sekhar Tatikonda, Yang ...
83
Voted
INFOCOM
2006
IEEE
15 years 3 months ago
Formal Analysis of Passive Measurement Inference Techniques
Abstract— Verifying the accuracy of a passive measurementsbased inference technique under all possible network scenarios is a difficult challenge - the measurement point has lim...
Sharad Jaiswal, Gianluca Iannaccone, James F. Kuro...
WABI
2004
Springer
142views Bioinformatics» more  WABI 2004»
15 years 3 months ago
Linear Reduction for Haplotype Inference
Abstract. Haplotype inference problem asks for a set of haplotypes explaining a given set of genotypes. Popular software tools for haplotype inference (e.g., PHASE, HAPLOTYPER) as ...
Jingwu He, Alexander Zelikovsky
IFL
2003
Springer
159views Formal Methods» more  IFL 2003»
15 years 2 months ago
Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs
Abstract This paper presents a type-based analysis for inferring sizeand cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annot...
Pedro B. Vasconcelos, Kevin Hammond