1096 search results - page 72 / 220 » Type inference for atomicity |
ESOP
2010
Springer
14 years 6 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. ...
MLDM
2009
Springer
14 years 3 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...
FMOODS
2008
13 years 10 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...
ICAI
2004
13 years 10 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...
UAI
1998
13 years 10 months ago
1998
We study two-layer belief networks of binary random variables in which the conditional probabilities Pr childjparents depend monotonically on weighted sums of the parents. In larg...