15253 search results - page 2856 / 3051 » Integer-Programming Software Systems |
137
click to vote
HF
2007
2007
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm
15 years 3 months ago
In this paper we propose a formal approach and methodology for analysis and generation of human-machine interfaces, with special emphasis on human-automation interaction. Our appr...
158
click to vote
NAR
2006
15 years 3 months ago
2006
The Yeast Gene Order Browser (YGOB) is an online tool designed to facilitate the comparative genomic visualization and appraisal of synteny within and between the genomes of seven...
113
click to vote
IIE
2007
15 years 3 months ago
2007
The increasing number of children who need special education in Finland also requires an increasing amount of resources from teachers and a restructuring of the education system. T...
121
click to vote
SIGCSE
2008
ACM
15 years 3 months ago
2008
ACM
Early undergraduate Grid computing courses generally took a bottom-up approach to Grid computing education starting with network protocols, client-server concepts, creating Web an...
108
click to vote
SIGIR
2008
ACM
15 years 3 months ago
2008
ACM
Information retrieval evaluation has typically been performed over several dozen queries, each judged to near-completeness. There has been a great deal of recent work on evaluatio...