Sciweavers

1874 search results - page 35 / 375
» Abstract Machine for LDL
Sort
View
ICMLA
2009
13 years 6 months ago
Automatic Feature Selection for Model-Based Reinforcement Learning in Factored MDPs
Abstract--Feature selection is an important challenge in machine learning. Unfortunately, most methods for automating feature selection are designed for supervised learning tasks a...
Mark Kroon, Shimon Whiteson
ICMLA
2009
13 years 6 months ago
Ranking Electrical Feeders of the New York Power Grid
components of a system by susceptibility to failure. In this extended abstract, we present an ongoing project to rank the underground primary feeders of Consolidated Edison Company...
Philip Gross, Ansaf Salleb-Aouissi, Haimonti Dutta...
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
14 years 2 months ago
Accurate Step Counting
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
Catherine Hope, Graham Hutton
APCSAC
2001
IEEE
14 years 12 days ago
Stacking them up: a Comparison of Virtual Machines
A popular trend in current software technology is to gain program portability by compiling programs to an inte form based on an abstract machine definition. Such approaches date b...
K. John Gough
ASM
2005
ASM
14 years 2 months ago
Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
Andrey Novikov, Rostislav Yavorskiy