Sciweavers

1224 search results - page 194 / 245
» Building systems that users want to use
Sort
View
BMCBI
2006
179views more  BMCBI 2006»
15 years 6 months ago
Multiscale Hy3S: Hybrid stochastic simulation for supercomputers
Background: Stochastic simulation has become a useful tool to both study natural biological systems and design new synthetic ones. By capturing the intrinsic molecular fluctuation...
Howard Salis, Vassilios Sotiropoulos, Yiannis N. K...
CORR
2010
Springer
174views Education» more  CORR 2010»
15 years 6 months ago
Cut Elimination for a Logic with Induction and Co-induction
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
Alwen Tiu, Alberto Momigliano
VC
2002
129views more  VC 2002»
15 years 6 months ago
Modeling a Murex cabritii sea shell with a structured implicit surface modeler
Implicit surface modeling systems have been used since the mid-1980s for the generation of cartoon-like characters. Recently implicit models combined with constructive solid geome...
Callum Galbraith, Przemyslaw Prusinkiewicz, Brian ...
CHI
2009
ACM
16 years 7 months ago
Questions in, knowledge in?: a study of naver's question answering community
Large general-purposed community question-answering sites are becoming popular as a new venue for generating knowledge and helping users in their information needs. In this paper ...
Kevin Kyung Nam, Mark S. Ackerman, Lada A. Adamic
ACMDIS
2006
ACM
16 years 10 days ago
Staying open to interpretation: engaging multiple meanings in design and evaluation
Human-Computer Interaction (HCI) often focuses on how designers can develop systems that convey a single, specific, clear interpretation of what they are for and how they should b...
Phoebe Sengers, Bill Gaver