Sciweavers

317 search results - page 6 / 64
» Describing Just-UI Concepts Using a Task Notation
Sort
View
ICSE
1994
IEEE-ACM
13 years 10 months ago
Applying Formal Methods for Human Error Tolerant Design
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...
Bob Fields, Peter C. Wright, Michael D. Harrison
SAFECOMP
1998
Springer
13 years 10 months ago
Safety Verification of Software Using Structured Petri Nets
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
Krzysztof Sacha
ECML
1993
Springer
13 years 10 months ago
SIA: A Supervised Inductive Algorithm with Genetic Search for Learning Attributes based Concepts
This paper describes a genetic learning system called SIA, which learns attributes based rules from a set of preclassified examples. Examples may be described with a variable numbe...
Gilles Venturini
IJON
2007
104views more  IJON 2007»
13 years 6 months ago
A probabilistic model of eye movements in concept formation
It has been unclear whether optimal experimental design accounts of data selection may offer insight into evidence acquisition tasks in which the learner’s beliefs change greatl...
Jonathan D. Nelson, Garrison W. Cottrell
DSVIS
2001
Springer
13 years 11 months ago
Task Modelling for Context-Sensitive User Interfaces
Abstract. With the explosion of devices, computing platforms, contextual conditions, user interfaces become more confronted to a need to be adapted to multiple configurations of t...
Costin Pribeanu, Quentin Limbourg, Jean Vanderdonc...