1407 search results - page 126 / 282 » Learning Abstract Scheduling Models |
170
click to vote
ISOLA
2007
Springer
16 years 15 days ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
170
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
164
click to vote
ECML
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Combining statistical and relational learning receives currently a lot of attention. The majority of statistical relational learning approaches focus on density estimatio...
173
click to vote
ECML
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A combinatorial random variable is a discrete random variable defined over a combinatorial set (e.g., a power set of a given set). In this paper we introduce combinatoria...
211
click to vote
IJCNN
2007
IEEE
16 years 20 days ago
2007
IEEE
Abstract— The optimal model parameters of a kernel machine are typically given by the solution of a convex optimisation problem with a single global optimum. Obtaining the best p...