6168 search results - page 1102 / 1234 » Research methods for HCI |
171
click to vote
IJFCS
2006
15 years 6 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
163
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Data mining is a useful decision support technique that can be used to discover production rules in warehouses or corporate data. Data mining research has made much effort to appl...
191
click to vote
CVIU
2007
15 years 6 months ago
2007
In this paper we present a new theory and an algorithm for image segmentation based on a strength of connectedness between every pair of image elements. The object definition use...
213
click to vote
JSS
2008
15 years 6 months ago
2008
So far, many researches have been done to develop efficient music retrieval systems, and query-by-humming has been considered as one of the most intuitive and effective query meth...
153
click to vote
MANSCI
2008
15 years 6 months ago
2008
Continuing research by Jennings, Mandelbaum, Massey and Whitt (1996), we investigate methods to perform time-dependent staffing for many-server queues. Our aim is to achieve time-...