Sciweavers

31 search results - page 4 / 7
» Towards a Generic Framework for Evaluating Component-Based S...
Sort
View
DAC
2002
ACM
14 years 9 months ago
Software synthesis from synchronous specifications using logic simulation techniques
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
Yunjian Jiang, Robert K. Brayton
IJSI
2008
115views more  IJSI 2008»
13 years 8 months ago
Towards Knowledge Acquisition from Semi-Structured Content
Abstract A rich family of generic Information Extraction (IE) techniques have been developed by researchers nowadays. This paper proposes WebKER, a system for automatically extract...
Xi Bai, Jigui Sun, Haiyan Che, Lian Shi
CORR
2004
Springer
106views Education» more  CORR 2004»
13 years 8 months ago
Intelligent Systems: Architectures and Perspectives
: The integration of different learning and adaptation techniques to overcome individual limitations and to achieve synergetic effects through the hybridization or fusion of these ...
Ajith Abraham
FTCS
1998
79views more  FTCS 1998»
13 years 10 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
HICSS
2003
IEEE
126views Biometrics» more  HICSS 2003»
14 years 1 months ago
Towards a Flexible ICT-Architecture for Multi-Channel E-Government Service Provisioning
The planning and subsequent nationwide implementation of E-government service provisioning faces a number of challenges at the level of municipalities in the Netherlands. Initiati...
Marijn Janssen, René W. Wagenaar, Jaap Beer...