Sciweavers

145 search results - page 16 / 29
» Dialogue Validation from Task Analysis
Sort
View
ICCS
2005
Springer
15 years 3 months ago
Modelling Dynamics of Genetic Networks as a Multiscale Process
A key phenomenon in the dynamics of genetic networks is the cell cycle. In the study of this phenomenon, an important task is to understand how many processes, acting on different...
Xilin Wei, Roderick V. N. Melnik, Gabriel Moreno-H...
ENTCS
2008
88views more  ENTCS 2008»
14 years 10 months ago
Formal Modelling of Salience and Cognitive Load
Well-designed interfaces use procedural and sensory cues to increase the salience of appropriate actions and intentions. However, empirical studies suggest that cognitive load can...
Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann...
ICPR
2004
IEEE
15 years 11 months ago
Discriminatory Power of Handwritten Words for Writer Recognition
Analysis of allographs (characters) and allograph combinations (words) is the key for the identification/verification of a writer's handwriting. While allographs are usually ...
Bin Zhang, Catalin I. Tomai, Sargur N. Srihari
PLDI
2012
ACM
13 years 8 days ago
Automated error diagnosis using abductive inference
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
Isil Dillig, Thomas Dillig, Alex Aiken
INFOCOM
2010
IEEE
14 years 8 months ago
URCA: Pulling out Anomalies by their Root Causes
—Traffic anomaly detection has received a lot of attention over recent years, but understanding the nature of these anomalies and identifying the flows involved is still a manu...
Fernando Silveira, Christophe Diot