12841 search results - page 387 / 2569 » PL-detective: experiences and results |
188
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
We present the results of an experiment investigating the effects of a talking head's gaze behavior on the user's quality assessment of the interface. We compared a vers...
153
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
The new forms of interaction being devised for small mobile devices have required designers to re-visit basic principles for user interface design. One of these is the notion of m...
195
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...
177
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
1 We propose an integrated technique for extensive optimization of the final test solution for System-on-Chip using Simulated Annealing. The produced results from the technique ar...
129
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
We describe a physico-chemical model relating measured fluorescence intensities on oligonucleotide microarrays to the underlying specific target concentration in the hybridized so...