Sciweavers

4270 search results - page 508 / 854
» Implementation of interactive poster
Sort
View
FDL
2004
IEEE
15 years 10 months ago
The Formal Simulation Semantics of SystemVerilog
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...
Martin Zambaldi, Wolfgang Ecker, T. Kruse, W. M&uu...
DAS
2006
Springer
15 years 10 months ago
A Semi-automatic Adaptive OCR for Digital Libraries
This paper presents a novel approach for designing a semi-automatic adaptive OCR for large document image collections in digital libraries. We describe an interactive system for co...
Sachin Rawat, K. S. Sesh Kumar, Million Meshesha, ...
ESOP
2006
Springer
15 years 10 months ago
Embedding Dynamic Dataflow in a Call-by-Value Language
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
Gregory H. Cooper, Shriram Krishnamurthi
EH
2000
IEEE
84views Hardware» more  EH 2000»
15 years 10 months ago
Evolutionary Design of Single Electron Systems
The differences between electronics design through artificial evolution and through conventional methods have the consequence that evolved circuits may take unusual leverage from ...
Adrian Thompson, Christoph Wasshuber
ERCIMDL
2000
Springer
118views Education» more  ERCIMDL 2000»
15 years 10 months ago
Evaluating a User-Model Based Personalisation Architecture for Digital News Services
Abstract. An architecture that provides personalised filtering and dissemination of news items is presented. It is based on user profiles and it provides mechanisms that allow the ...
Alberto Díaz Esteban, Pablo Gervás G...