Sciweavers

3071 search results - page 220 / 615
» Explanatory Design Theory
Sort
View
JWE
2006
90views more  JWE 2006»
15 years 6 months ago
On Cultural Differences in Local Web Interfaces
In the light of the existing literature on the issue of cross-cultural interface design, we carried out a smallscale study in order to check whether we could find cultural differe...
Olga De Troyer, Abdalghani Mushtaha, H. Stengers, ...
JCIT
2007
111views more  JCIT 2007»
15 years 6 months ago
Pedagogical Usability Checklist for ESL/EFL E-learning Websites
It is, thus, not surprising that English education has gained more attention than ever and there also has been a growing amount of interest in learning English online. Although the...
C. J. Lim, S. Lee
SIAMJO
2010
136views more  SIAMJO 2010»
15 years 1 months ago
A New Exchange Method for Convex Semi-Infinite Programming
In this paper we propose a new exchange method for solving convex semi-infinite programming (CSIP) problems. We introduce a new dropping-rule in the proposed exchange algorithm, wh...
Liping Zhang, Soon-Yi Wu, Marco A. López
DAC
2009
ACM
16 years 7 months ago
Contract-based system-level composition of analog circuits
Efficient system-level design is increasingly relying on hierarchical design-space exploration, as well as compositional methods, to shorten time-to-market, leverage design re-use...
Xuening Sun, Pierluigi Nuzzo, Chang-Ching Wu, Albe...
DAC
2005
ACM
16 years 7 months ago
Efficient SAT solving: beyond supercubes
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
Domagoj Babic, Jesse D. Bingham, Alan J. Hu