Sciweavers

17298 search results - page 94 / 3460
» Abstract computing machines
Sort
View
HCW
1998
IEEE
15 years 6 months ago
Modular Heterogeneous System Development: A Critical Analysis of Java
Java supports heterogeneous applications by transforming a heterogeneous network of machines into a homogeneous network of Java virtual machines. This abstracts over many of the c...
Gul Agha, Mark Astley, Jamil A. Sheikh, Carlos A. ...
ICMLA
2009
15 years 6 days 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
FMOODS
2007
15 years 3 months ago
Pict Correctness Revisited
The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are specified via an abstract machine. An important property of any ...
Philippe Bidinger, Adriana B. Compagnoni
110
Voted
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
15 years 7 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra
DIS
2003
Springer
15 years 7 months ago
Prediction of Molecular Bioactivity for Drug Design Using a Decision Tree Algorithm
Abstract. A machine learning-based approach to the prediction of molecular bioactivity in new drugs is proposed. Two important aspects are considered for the task: feature subset s...
Sanghoon Lee, Jihoon Yang, Kyung-Whan Oh