Sciweavers

606 search results - page 96 / 122
» Answer Diversification for Complex Question Answering on the...
Sort
View
VISUALIZATION
2005
IEEE
15 years 7 months ago
Understanding Visualization through Spatial Ability Differences
Little is known about the cognitive abilities which influence the comprehension of scientific and information visualizations and what properties of the visualization affect compre...
Maria C. Velez, Deborah Silver, Marilyn Tremaine
SEKE
2004
Springer
15 years 7 months ago
Case Study Methodology Designed Research in Software Engineering Methodology Validation
One of the challenging research problems in validating a software engineering methodology (SEM), and a part of its validation process, is to answer “How to fairly collect, presen...
Seok Won Lee, David C. Rine
SIGECOM
2010
ACM
184views ECommerce» more  SIGECOM 2010»
15 years 6 months ago
Computing pure strategy nash equilibria in compact symmetric games
We analyze the complexity of computing pure strategy Nash equilibria (PSNE) in symmetric games with a fixed number of actions. We restrict ourselves to “compact” representati...
Christopher Thomas Ryan, Albert Xin Jiang, Kevin L...
SOUPS
2010
ACM
15 years 5 months ago
Encountering stronger password requirements: user attitudes and behaviors
Text-based passwords are still the most commonly used authentication mechanism in information systems. We took advantage of a unique opportunity presented by a significant change...
Richard Shay, Saranga Komanduri, Patrick Gage Kell...
FROCOS
2007
Springer
15 years 5 months ago
Certification of Automated Termination Proofs
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
Evelyne Contejean, Pierre Courtieu, Julien Forest,...