570 search results - page 65 / 114 » Evaluating Usability Evaluation Methods: Criteria, Method an... |
173
click to vote
ASE
2002
15 years 6 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
165
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we investigate the problem of locating singing voice in music tracks. As opposed to most existing methods for this task, we rely on the extraction of the characteris...
198
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: Estimation of allele frequency is of fundamental importance in population genetic analyses and in association mapping. In most studies using next-generation sequencing...
168
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Predicting which molecules can bind to a given binding site of a protein with known 3D structure is important to decipher the protein function, and useful in drug desi...
184
click to vote
VR
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a technique for exploiting change blindness to allow the user to walk through an immersive virtual environment that is much larger than the available physical workspace...