Sciweavers

1912 search results - page 111 / 383
» On the evaluation of argumentation formalisms
Sort
View
UIST
2005
ACM
15 years 12 months ago
Bimanual and unimanual image alignment: an evaluation of mouse-based techniques
We present an evaluation of three mouse-based techniques for aligning digital images. We investigate the physical image alignment task and discuss the implications for interacting...
Celine Latulipe, Craig S. Kaplan, Charles L. A. Cl...
FPL
2005
Springer
96views Hardware» more  FPL 2005»
15 years 12 months ago
FPGA PLB Evaluation using Quantified Boolean Satisfiability
This paper describes a novel Field Programmable Gate Array (FPGA) logic synthesis technique which determines if a logic function can be implemented in a given programmable circuit...
Andrew C. Ling, Deshanand P. Singh, Stephen Dean B...
APSEC
2003
IEEE
15 years 11 months ago
Selecting Components: a Process for Context-Driven Evaluation
This paper describes a process for selecting and evaluating candidates for component based software engineering. The process is aimed at developers sourcing components from third ...
Valerie Maxville, Chiou Peng Lam, Jocelyn Armarego
INTERACT
2007
15 years 7 months ago
Towards Metrics for Web Accessibility Evaluation
Nowadays, accessibility is a crucial factor for Web site development and use, and yet, people with visual disabilities face many accessibility barriers that hinder the adequate un...
Sinésio Teles de Lima, Fernanda Lima, K&aac...
ACSD
2010
IEEE
220views Hardware» more  ACSD 2010»
15 years 4 months ago
Towards Performance Evaluation of Mobile Ad Hoc Network Protocols
We present a formal framework to evaluate stochastic properties of MANET protocols. It captures the interplay between stochastic behavior of protocols deployed at different network...
Fatemeh Ghassemi, Ali Movaghar, Wan Fokkink