Sciweavers

1100 search results - page 141 / 220
» An Approach to Test Aspect-oriented Programs
Sort
View
ACSC
2004
IEEE
15 years 6 months ago
Strength Reduction for Loop-Invariant Types
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
Phung Hua Nguyen, Jingling Xue
ESOP
2004
Springer
15 years 6 months ago
ML-Like Inference for Classifiers
Environment classifiers were proposed as a new approach to typing multi-stage languages. Safety was established in the simply-typed and let-polymorphic settings. While the motivati...
Cristiano Calcagno, Eugenio Moggi, Walid Taha
AMAI
2008
Springer
15 years 3 months ago
Bayesian learning of Bayesian networks with informative priors
This paper presents and evaluates an approach to Bayesian model averaging where the models are Bayesian nets (BNs). Prior distributions are defined using stochastic logic programs...
Nicos Angelopoulos, James Cussens
JAIR
2006
113views more  JAIR 2006»
15 years 3 months ago
Generative Prior Knowledge for Discriminative Classification
We present a novel framework for integrating prior knowledge into discriminative classifiers. Our framework allows discriminative classifiers such as Support Vector Machines (SVMs...
Arkady Epshteyn, Gerald DeJong
TSMC
2008
177views more  TSMC 2008»
15 years 1 months ago
Adaptive Critic Learning Techniques for Engine Torque and Air-Fuel Ratio Control
A new approach for engine calibration and control is proposed. In this paper, we present our research results on the implementation of adaptive critic designs for self-learning con...
Derong Liu, Hossein Javaherian, Olesia Kovalenko, ...