Sciweavers

1007 search results - page 151 / 202
» The Complexity of Futile Questioning
Sort
View
122
Voted
CHI
2005
ACM
15 years 2 months ago
Seascape and volcano: visualizing online discussions using timeless motion
Motion is the strongest visual appeal to attention [2], yet it is rarely used in the visualization of large-scale quantitative information. Motion is complex; it can vary across n...
Francis Lam, Judith S. Donath
COCO
2008
Springer
88views Algorithms» more  COCO 2008»
15 years 2 months ago
Approximation of Natural W[P]-Complete Minimisation Problems Is Hard
We prove that the weighted monotone circuit satisfiability problem has no fixed-parameter tractable approximation algorithm with constant or polylogarithmic approximation ratio un...
Kord Eickmeyer, Martin Grohe, Magdalena Grübe...
COCO
2008
Springer
97views Algorithms» more  COCO 2008»
15 years 2 months ago
Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-prover Interactive Proof Systems
A central question in quantum information theory and computational complexity is how powerful nonlocal strategies are in cooperative games with imperfect information, such as mult...
Tsuyoshi Ito, Hirotada Kobayashi, Daniel Preda, Xi...
CSCLP
2008
Springer
15 years 2 months ago
Challenges in Constraint-Based Analysis of Hybrid Systems
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
Andreas Eggers, Natalia Kalinnik, Stefan Kupfersch...
112
Voted
HICSS
2007
IEEE
126views Biometrics» more  HICSS 2007»
15 years 2 months ago
Model Driven Design and Implementation of Statistical Surveys
We describe the evolution of a statistical survey design visual language from a standalone design-time modelling language into an environment supporting design, coordination, exec...
Chul Hwee Kim, John G. Hosking, John C. Grundy