Sciweavers

3706 search results - page 106 / 742
» KtSeqC: System Description
Sort
View
DSD
2008
IEEE
79views Hardware» more  DSD 2008»
16 years 28 days 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»
16 years 16 days 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
16 years 15 days 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 11 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...
DKE
2000
102views more  DKE 2000»
15 years 6 months ago
MOSAIC: A fast multi-feature image retrieval system
Content-based image retrieval plays an important role in many multimedia applications. Images are typically retrieved based on a given sample image, a sketch or a simple descripti...
Shen-Tat Goh, Kian-Lee Tan