Sciweavers

3718 search results - page 163 / 744
» IMPS: System Description
Sort
View
DSD
2008
IEEE
79views Hardware» more  DSD 2008»
15 years 11 months ago
Digital Systems Architectures Based on On-line Checkers
In this paper, a methodology for generating VHDL descriptions of hardware checkers is presented. It is shown how the methodology can be used to generate on-line checkers of commun...
Martin Straka, Zdenek Kotásek, Jan Winter
DATE
2006
IEEE
110views Hardware» more  DATE 2006»
15 years 10 months ago
Top-down heterogeneous synthesis of analog and mixed-signal systems
A new approach for automated synthesis of analog and mixed-signal systems is presented. The heterogeneous genetic optimization strategy starts from a functional description and ev...
Ewout Martens, Georges G. E. Gielen
ICALT
2006
IEEE
15 years 10 months ago
Effective Analysis and Design of Computer-Supported Learning System
The analysis phase constitutes an essential step in the development of information systems. Nevertheless, learning materials design activities currently have reduced the analysis ...
David Díez Cebollero, Camino Fernánd...
RULEML
2004
Springer
15 years 10 months ago
SweetProlog: A System to Integrate Ontologies and Rules
Abstract. This paper describes the design and implementation of SweetProlog, a system for translating Web rules into Prolog. It enables the integration of ontologies and rules on t...
Loredana Laera, Valentina A. M. Tamma, Trevor J. M...
IUI
1997
ACM
15 years 8 months ago
Interaction with a Mixed-Initiative System for Exploratory Data Analysis
Exploratory data analysis (EDA) plays an increasingly important role in statistical analysis. EDA is di cult, however, even with the help of modern statistical software. We have d...
Robert St. Amant, Paul R. Cohen