1116 search results - page 138 / 224 » Applying Predicate Abstraction to Abstract State Machines |
DSMML
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Gaussian process prior systems generally consist of noisy measurements of samples of the putatively Gaussian process of interest, where the samples serve to constrain the...
107
click to vote
ECML
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Ensemble methods are able to improve the predictive performance of many base classifiers. Up till now, they have been applied to classifiers that predict a single target ...
EUROCOLT
1995
Springer
15 years 2 months ago
1995
Springer
k. The model we study can be interpreted as a broad, abstract extension of the well-studied on-line prediction model to a general decision-theoretic setting. We show that the multi...
107
click to vote
AC
1998
Springer
14 years 11 months ago
1998
Springer
Abstract: Since von Neumann's seminal work around 1950, computer scientists and others have studied the algorithms needed to support self-replicating systems. Much of this wor...
CEC
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...