3185 search results - page 238 / 637 » Domain and language evaluation results |
239
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
— Leakage power dissipation becomes a dominant component in operation power in nanometer devices. This paper describes a design methodology to implement runtime power gating in a...
191
click to vote
AIIDE
2006
15 years 8 months ago
2006
Reinforcement learning is an effective machine learning paradigm in domains represented by compact and discrete state-action spaces. In high-dimensional and continuous domains, ti...
168
click to vote
FLAIRS
2004
15 years 8 months ago
2004
We propose a new approach for learning Bayesian classifiers from data. Although it relies on traditional Bayesian network (BN) learning algorithms, the effectiveness of our approa...
170
click to vote
LCTRTS
2010
Springer
16 years 1 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
176
Voted
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...