1407 search results - page 126 / 282 » Learning Abstract Scheduling Models |
125
click to vote
ISOLA
2007
Springer
15 years 8 months 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: ...
124
Voted
FOSSACS
2005
Springer
15 years 8 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...
117
Voted
ECML
2006
Springer
15 years 6 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...
125
Voted
ECML
2006
Springer
15 years 6 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...
162
Voted
IJCNN
2007
IEEE
15 years 9 months 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...