Sciweavers

334 search results - page 32 / 67
» A parametric analysis of the state-explosion problem in mode...
Sort
View
87
Voted
SAC
2006
ACM
15 years 6 months ago
A branch and prune algorithm for the approximation of non-linear AE-solution sets
Non-linear AE-solution sets are a special case of parametric systems of equations where universally quantified parameters appear first. They allow to model many practical situat...
Alexandre Goldsztejn
105
Voted
ICASSP
2011
IEEE
14 years 4 months ago
On selecting the hyperparameters of the DPM models for the density estimation of observation errors
The Dirichlet Process Mixture (DPM) models represent an attractive approach to modeling latent distributions parametrically. In DPM models the Dirichlet process (DP) is applied es...
Asma Rabaoui, Nicolas Viandier, Juliette Marais, E...
99
Voted
FOAL
2008
ACM
15 years 2 months ago
Incremental analysis of interference among aspects
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...
Emilia Katz, Shmuel Katz
115
Voted
TOOLS
2008
IEEE
15 years 7 months ago
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
Stefan Leue, Alin Stefanescu, Wei Wei
STOC
2000
ACM
174views Algorithms» more  STOC 2000»
15 years 5 months ago
Noise-tolerant learning, the parity problem, and the statistical query model
We describe a slightly subexponential time algorithm for learning parity functions in the presence of random classification noise, a problem closely related to several cryptograph...
Avrim Blum, Adam Kalai, Hal Wasserman