886 search results - page 103 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
CSDA
2007
14 years 10 months ago
2007
We develop regression diagnostics for functional regression models which relate a functional response to predictor variables that can be multivariate vectors or random functions. ...
ICDM
2007
IEEE
15 years 4 months ago
2007
IEEE
Many systems in sciences, engineering and nature can be modeled as networks. Examples are internet, metabolic networks and social networks. Network clustering algorithms aimed to ...
IFM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
ICML
2004
IEEE
15 years 10 months ago
2004
IEEE
We propose a fast iterative classification algorithm for Kernel Fisher Discriminant (KFD) using heterogeneous kernel models. In contrast with the standard KFD that requires the us...
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
— In this paper, we present an approach that applies the reinforcement learning principle to the problem of learning height control policies for aerial blimps. In contrast to pre...