1003 search results - page 64 / 201 » Type Inference with Inequalities |
179
click to vote
TIT
2002
15 years 3 months ago
2002
Abstract--The use of multicast inference on end-to-end measurement has recently been proposed as a means to infer network internal characteristics such as packet link loss rate and...
125
Voted
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs. ...
137
Voted
MLDM
2009
Springer
15 years 10 months ago
2009
Springer
This work presents an image analysis framework driven by emerging evidence and constrained by the semantics expressed in an ontology. Human perception, apart from visual stimulus a...
133
Voted
FMOODS
2008
15 years 5 months ago
2008
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...
139
Voted
ICAI
2004
15 years 5 months ago
2004
Current planning systems often fail to represent the reasons why certain planning decisions are made. Explicit representation of this Plan Rationale is crucial for automated plan m...