Sciweavers

769 search results - page 27 / 154
» A Machine Model for Aspect-Oriented Programming
Sort
View
ESOP
1992
Springer
15 years 7 months ago
A Provably Correct Compiler Generator
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
Jens Palsberg
136
Voted
IEAAIE
2004
Springer
15 years 8 months ago
Machine Learning Approaches for Inducing Student Models
The main issue in e-learning is student modelling, i.e. the analysis of a student’s behaviour and prediction of his/her future behaviour and learning performance. Indeed, it is d...
Oriana Licchelli, Teresa Maria Altomare Basile, Ni...
119
Voted
PR
2007
104views more  PR 2007»
15 years 2 months ago
Optimizing resources in model selection for support vector machine
Tuning SVM hyperparameters is an important step in achieving a high-performance learning machine. It is usually done by minimizing an estimate of generalization error based on the...
Mathias M. Adankon, Mohamed Cheriet
120
Voted
ICALP
2003
Springer
15 years 8 months ago
Hierarchical and Recursive State Machines with Context-Dependent Properties
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...
Salvatore La Torre, Margherita Napoli, Mimmo Paren...
115
Voted
PLDI
1995
ACM
15 years 7 months ago
EEL: Machine-Independent Executable Editing
EEL (Executable Editing Library) is a library for building tools to analyze and modify an executable (compiled) program. The systems and languages communities have built many tool...
James R. Larus, Eric Schnarr