1624 search results - page 123 / 325 » Modelling Variability for System Families |
159
click to vote
LICS
2002
IEEE
15 years 7 months ago
2002
IEEE
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...
126
Voted
SDM
2009
SIAM
15 years 12 months ago
2009
SIAM
In this paper, we study efficient closed pattern mining in a general framework of set systems, which are families of subsets ordered by set-inclusion with a certain structure, pro...
125
Voted
NIPS
2007
15 years 4 months ago
2007
We extend the Bayesian skill rating system TrueSkill to infer entire time series of skills of players by smoothing through time instead of filtering. The skill of each participat...
126
Voted
FUIN
2006
15 years 2 months ago
2006
We introduce a new variant of membrane systems where the rules are directly assigned to membranes and, moreover, every membrane carries an energy value that can be changed during a...
135
Voted
SDM
2003
SIAM
15 years 4 months ago
2003
SIAM
The singular value decomposition (SVD) is fundamental to many data modeling/mining algorithms, but SVD algorithms typically have quadratic complexity and require random access to ...