7167 search results - page 1148 / 1434 » A Technique for Invariant Generation |
164
click to vote
BCSHCI
2007
15 years 9 months ago
2007
This paper investigates the issue of trust mediation in eBanking. The card sorting technique was used to probe factors influencing subjects’ attitudes to alternative e-banking h...
194
Voted
BCSHCI
2008
15 years 9 months ago
2008
Programming is an activity centred primarily around the keyboard which is not necessarily the optimal input device for all users. Little research has taken place into alternative ...
237
click to vote
BIOCOMP
2007
15 years 9 months ago
2007
The growing body of DNA microarray data has the potential to advance our understanding of the molecular basis of disease. However annotating microarray datasets with clinically us...
149
Voted
CATS
2007
15 years 9 months ago
2007
The busy beaver problem is to find the maximum number of 1’s that can be printed by an n-state Turing machine of a particular type. A critical step in the evaluation of this va...
209
Voted
COMAD
2008
15 years 9 months ago
2008
We propose an efficient sampling based outlier detection method for large high-dimensional data. Our method consists of two phases. In the first phase, we combine a "sampling...