757 search results - page 103 / 152 » Automatic Support for Usability Evaluation |
116
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
179
click to vote
TCBB
2008
15 years 4 months ago
2008
The subcellular locations of proteins are important functional annotations. An effective and reliable subcellular localization method is necessary for proteomics research. This pap...
188
click to vote
IWPC
2010
IEEE
15 years 2 months ago
2010
IEEE
—A tool supporting the automatic identification of programming idioms specific to the construction of C++ generic libraries is presented. The goal is to assist developers in unde...
126
click to vote
ICMCS
2009
IEEE
15 years 2 months ago
2009
IEEE
Automatic labeling of chords in original audio recordings is challenging due to heavy acoustic overlay by melody and percussion sections, detuning and arpeggios that demand for a ...
155
click to vote
ECTEL
2010
Springer
15 years 1 months ago
2010
Springer
In this article we present an infrastructure for creating mash up and visual representations of the user profile that combine data from different sources. We explored this approach...