1641 search results - page 91 / 329 » Termination Analysis with Algorithmic Learning |
187
Voted
RECOMB
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. In this study we propose a novel model for the representation of biological networks and provide algorithms for learning model parameters from experimental data. Our appr...
140
Voted
FUIN
2010
14 years 10 months ago
2010
Feature selection is an important preprocessing step in pattern analysis and machine learning. The key issue in feature selection is to evaluate quality of candidate features. In t...
223
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...
133
Voted
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Generating a random sampling of program trees with specified function and terminal sets is the initial step of many program evolution systems. I present a theoretical and experim...
145
Voted
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...