1687 search results - page 77 / 338 » Light Functional Interpretation |
118
Voted
CAV
2010
Springer
15 years 3 months ago
2010
Springer
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
120
Voted
EUSFLAT
2003
15 years 5 months ago
2003
A descriptive Takagi-Sugeno fuzzy rule based system suffers under the curse of dimensionality since the number of rules is equal to a fuzzy system with a fully filled up decision...
133
click to vote
TPHOL
2002
IEEE
15 years 8 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
137
Voted
TCBB
2010
15 years 2 months ago
2010
—The literature on protein function prediction is currently dominated by works aimed at maximizing predictive accuracy, ignoring the important issues of validation and interpreta...
159
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— We relax the monotonicity requirement of Lyapunov’s theorem to enlarge the class of functions that can provide certificates of stability. To this end, we propose two...