Sciweavers

1912 search results - page 65 / 383
» On the evaluation of argumentation formalisms
Sort
View
ICCL
1998
IEEE
15 years 4 months ago
Controlled Self-Applicable On-Line Partial Evaluation, Using Strategies
On-line partial evaluators are hardly ever selfapplicable, because the complexity of deciding whether to residualize terms causes combinatorial explosion when self-application is ...
M. Beckman, Samuel N. Kamin
EWSA
2004
Springer
15 years 5 months ago
Distilling Scenarios from Patterns for Software Architecture Evaluation - A Position Paper
Software architecture (SA) evaluation is a quality assurance technique that is increasingly attracting significant research and commercial interests. A number of SA evaluation meth...
Liming Zhu, Muhammad Ali Babar, D. Ross Jeffery
ASAP
2007
IEEE
107views Hardware» more  ASAP 2007»
15 years 6 months ago
A Hardware-Oriented Method for Evaluating Complex Polynomials
A hardware-oriented method for evaluating complex polynomials by solving iteratively a system of linear equations is proposed. Its implementation uses a digit-serial iterations on...
Milos D. Ercegovac, Jean-Michel Muller
BCSHCI
2007
15 years 1 months ago
Challenges of evaluating the information visualisation experience
Information Visualisation (InfoVis) is defined as an ive visual representation of abstract data. We view the user’s interaction with InfoVis tools as an experience which is made...
Sarah Faisal, Paul A. Cairns, Ann Blandford
VLDB
2004
ACM
98views Database» more  VLDB 2004»
15 years 5 months ago
Top-k Query Evaluation with Probabilistic Guarantees
Top-k queries based on ranking elements of multidimensional datasets are a fundamental building block for many kinds of information discovery. The best known general-purpose algor...
Martin Theobald, Gerhard Weikum, Ralf Schenkel