2335 search results - page 292 / 467 » Functional Differentiation of Computer Programs |
115
Voted
ECML
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We consider a new discriminative learning approach to sequence labeling based on the statistical concept of the Z-score. Given a training set of pairs of hidden-observed ...
153
click to vote
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
111
click to vote
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. It is well-known that context-independent control flow analysis can be performed in cubic time for functional and object-oriented languages. Yet recent applications of c...
113
click to vote
PLDI
1997
ACM
15 years 6 months ago
1997
ACM
If a fixed exponentially decreasing probability distribution function is used to model every object’s lifetime, then the age of an object gives no information about its future ...
107
click to vote
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalism for specifying the quantitative properties to analyze have remained quite primitive. In th...