Sciweavers

4064 search results - page 222 / 813
» Animation: can it facilitate
Sort
View
WWW
2004
ACM
14 years 8 months ago
The Drug Ontology Project for Elsevier - An RDF Architecture Enabling Thesaurus-Driven Data Integration
The DOPE project (Drug Ontology Project for Elsevier) is driven by the need to access multiple information sources through a single interface. In this paper, we describe how DOPE ...
Jeen Broekstra, Christiaan Fluit, Arjohn Kampman, ...
WWW
2003
ACM
14 years 8 months ago
Acting Accessibility: Scenario-based consideration of Web content accessibility for development and publishing communities
CT Conflict resolution of the ethical aspects of accessibility issues for Web communities can be facilitated by the judicious use of scenarios. Carefully designed scenarios permit ...
Liddy Nevile, Oliver K. Burmeister
CHI
2002
ACM
14 years 8 months ago
Evaluating pattern languages in participatory design
We present an evaluation of pattern languages as tools for participatory design, based on three criteria, derived from the work of Christopher Alexander: empowering users, generat...
Andy Dearden, Janet Finlay, Liz Allgar, Barbara Mc...
CADE
2006
Springer
14 years 8 months ago
Importing HOL into Isabelle/HOL
We developed an importer from both HOL 4 and HOL-light into Isabelle/HOL. The importer works by replaying proofs within Isabelle/HOL that have been recorded in HOL 4 or HOL-light a...
Steven Obua, Sebastian Skalberg
ICCD
2004
IEEE
112views Hardware» more  ICCD 2004»
14 years 5 months ago
An Infrastructure IP for On-Chip Clock Jitter Measurement
In this paper, we present an infrastructure IP core to facilitate on-chip clock jitter measurement. In the proposed approach, the clock signal under test is delayed by two differe...
Jui-Jer Huang, Jiun-Lang Huang