Sciweavers

1438 search results - page 140 / 288
» Relational aspects as tracematches
Sort
View
ICCAD
1995
IEEE
114views Hardware» more  ICCAD 1995»
15 years 10 months ago
Sequential synthesis using S1S
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...
Adnan Aziz, Felice Balarin, Robert K. Brayton, Alb...
EXACT
2007
15 years 8 months ago
A Categorization of Explanation Questions for Task Processing Systems
A critical aspect of any explanation module is the set of user questions the system will be able to address. However, there has been relatively little work on listing and organizi...
Deborah L. McGuinness, Alyssa Glass, Michael Wolve...
CAISE
2008
Springer
15 years 8 months ago
Sustainable Information Systems: A Knowledge Perspective
Abstract. We propose a reorientation of the way the concept of sustainability is dealt with in relation to information systems, positioning the processing of knowledge at the centr...
Laura Maruster, Niels R. Faber, Kristian Peters
ASAP
2010
IEEE
193views Hardware» more  ASAP 2010»
15 years 8 months ago
Automatic generation of polynomial-based hardware architectures for function evaluation
Abstract--Polynomial approximation is a very general technique for the evaluation of a wide class of numerical functions of one variable. This article details an architecture gener...
Florent de Dinechin, Mioara Joldes, Bogdan Pasca
AIA
2007
15 years 8 months ago
Case representation ontology for case retrieval systems in medical domains
In multidisciplinary medical services (e.g. Intensive Care Units or Pain Management Centers), Case-Based Reasoning systems require good case representations. When multiple disorde...
José M. Juárez, Jose Salort, Jos&eac...