3358 search results - page 96 / 672 » Parametric Aspects: A Proposal |
144
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The finite powerset construction upgrades an abstract domain by allowing for the representation of finite disjunctions of its elements. In this paper we define three g...
146
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
—We propose a new parametric class of scheduling and routing policies for open multiclass queueing networks. We establish their stability and show they are amenable to distribute...
156
click to vote
IPMU
2010
Springer
15 years 10 months ago
2010
Springer
This article proposes knowledge-based short-time prediction methods for multivariate streaming time series, relying on the early recognition of local patterns. A parametric, well-i...
147
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
166
click to vote
FEGC
2008
15 years 7 months ago
2008
We propose a novel algorithm for extracting the structure of a Bayesian network from a dataset. Our approach is based on generalized conditional entropies, a parametric family of e...