Sciweavers

9931 search results - page 219 / 1987
» Generative Modeling by PRISM
Sort
View
ISCAS
2007
IEEE
101views Hardware» more  ISCAS 2007»
15 years 10 months ago
Automated HDL Generation: Comparative Evaluation
— Reconfigurable computing (RC) systems, coupling general purpose processor with reconfigurable components, offer a lot of advantages. Nevertheless, currently a designer needs ...
Yana Yankova, Koen Bertels, Stamatis Vassiliadis, ...
IEEECIT
2006
IEEE
15 years 10 months ago
ACGs: Adaptive Course Generation System - An Efficient Approach to Build E-Learning Course
Recently, adaptive course generation has been focusing by several researchers. We have built ACGs system to create adaptive courses for each learner based on evaluating demand, ab...
Anh Nguyen Viet, Dam Ho Si
ESOP
1992
Springer
15 years 8 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
169
Voted
EVOW
2008
Springer
15 years 5 months ago
A Hybrid Column Generation Approach for the Berth Allocation Problem
Abstract. The Berth Allocation Problem (BAP) consists on programming and allocating ships to berthing areas along a quay. The BAP is modeled as a vehicle routing problem and a rece...
Geraldo R. Mauri, Alexandre C. M. Oliveira, Luiz A...
107
Voted
ACL
1998
15 years 5 months ago
A Framework for Customizable Generation of Hypertext Presentations
In this paper, we present a framework, PRESENTOR, for the development and customization of hypertext presentation generators. PRESENTOR offers intuitive and powerful declarative l...
Benoit Lavoie, Owen Rambow