Sciweavers

4276 search results - page 122 / 856
» Techniques for Empirical Validation
Sort
View
HCI
2007
15 years 7 months ago
Mixing Evaluation Methods for Assessing the Utility of an Interactive InfoVis Technique
Abstract. We describe the results of an empirical study comparing an interactive Information Visualization (InfoVis) technique called Gravi++ (GRAVI), Exploratory Data Analysis (ED...
Markus Rester, Margit Pohl, Sylvia Wiltner, Klaus ...
INFOCOM
2006
IEEE
16 years 14 days ago
Sampling Techniques for Large, Dynamic Graphs
— Peer-to-peer systems are becoming increasingly popular, with millions of simultaneous users and a wide range of applications. Understanding existing systems and devising new pe...
Daniel Stutzbach, Reza Rejaie, Nick G. Duffield, S...
SAT
2009
Springer
91views Hardware» more  SAT 2009»
16 years 29 days ago
VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
Eric I. Hsu, Sheila A. McIlraith
ITC
2002
IEEE
94views Hardware» more  ITC 2002»
15 years 11 months ago
Techniques to Reduce Data Volume and Application Time for Transition Test
1 Scan based transition tests are added to improve the detection of speed failures using scan tests. Empirical data suggests that both data volume and application time, for transi...
Xiao Liu, Michael S. Hsiao, Sreejit Chakravarty, P...
CSMR
2009
IEEE
16 years 1 months ago
Comparing Stability of Implementation Techniques for Multi-agent System Product Lines
Multi-agent systems (MAS) are increasingly being exploited to support autonomous recommendation of products and information to contemporary application users. Multi-agent system p...
Camila Nunes, Uirá Kulesza, Cláudio ...