7886 search results - page 83 / 1578 » An evaluation of bipartitioning techniques |
ICST
2009
IEEE
13 years 7 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
SIGCSE
2000
ACM
14 years 1 months ago
2000
ACM
There are numerous ways to evaluate student programming ability, all of which have benefits and drawbacks. In this paper we discuss how we have combined a number of those evaluati...
WSC
2007
13 years 11 months ago
2007
Large, heterogeneous volumes of simulation data are calculated and stored in many disciplines, e.g. in climate and climate impact research. To gain insight, current climate analys...
CHI
2000
ACM
14 years 1 months ago
2000
ACM
Eye gaze interaction can provide a convenient and natural addition to user-computer dialogues. We have previously reported on our interaction techniques using eye gaze [10]. While...
GRAPHITE
2007
ACM
14 years 1 months ago
2007
ACM
This paper reports the results of an experiment to compare three different selection techniques in a tabletop tangible augmented reality interface. Object selection is an importan...