8008 search results - page 23 / 1602 » Computer-Aided Language Processing |
174
click to vote
DAC
2006
ACM
15 years 11 months ago
2006
ACM
This paper investigates methods for clock skew minimization using buffer and wire sizing. First, a technique that significantly improves solution quality and stability of sequent...
146
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
Traditional Computer-Aided Teaching and Learning (CAT/CAL) environments in multimedia-based teleeducation do not empower knowledge consumers (trainees, students etc.) to practice ...
133
click to vote
ISSS
2002
IEEE
15 years 10 months ago
2002
IEEE
We present the modeling of the high-level design of a next generation network switch from the perspective of a ComputerAided Design (CAD) team within the larger context of a desig...
131
click to vote
DAC
2010
ACM
15 years 9 months ago
2010
ACM
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...
138
click to vote
COST
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Being aware of the gap between technological offers and user expectations, the paper aims to illustrate the necessity of anthropocentric designs ("user-pulled")...