1116 search results - page 161 / 224 » Applying Predicate Abstraction to Abstract State Machines |
ML
2008
ACM
14 years 11 months ago
2008
ACM
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
108
click to vote
KES
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. The aim of this work is to forecast future events in financial data sets, in particular, we focus our attention on situations where positive instances are rare, which fal...
87
Voted
ICMLA
2010
14 years 9 months ago
2010
Abstract--We study how to effectively integrate reinforcement learning (RL) and programming languages via adaptation-based programming, where programs can include non-deterministic...
ICDM
2009
IEEE
14 years 9 months ago
2009
IEEE
Abstract--Imbalanced data sets present a particular challenge to the data mining community. Often, it is the rare event that is of interest and the cost of misclassifying the rare ...
SPIN
2004
Springer
15 years 4 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...