1624 search results - page 209 / 325 » Modelling Variability for System Families |
112
click to vote
FOCS
1989
IEEE
15 years 7 months ago
1989
IEEE
We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a var...
131
click to vote
AAAI
2000
15 years 5 months ago
2000
We present a Bayesian clustering algorithm for multivariate time series. A clustering is regarded as a probabilistic model in which the unknown auto-correlation structure of a tim...
135
click to vote
TNN
2008
15 years 3 months ago
2008
Abstract--This paper considers the approximation of sufficiently smooth multivariable functions with a multilayer perceptron (MLP). For a given approximation order explicit formula...
124
click to vote
NAACL
2010
15 years 1 months ago
2010
This paper contributes a formalization of frame-semantic parsing as a structure prediction problem and describes an implemented parser that transforms an English sentence into a f...
110
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Physical and biogeochemical ocean dynamics can be intermittent and highly variable, and involve interactions on multiple scales. In general, the oceanic fields, processe...