Sciweavers

1606 search results - page 177 / 322
» Using task analysis in documentation field research
Sort
View
ICCD
1995
IEEE
109views Hardware» more  ICCD 1995»
15 years 10 months ago
Verifying the performance of the PCI local bus using symbolic techniques
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
Sérgio Vale Aguiar Campos, Edmund M. Clarke...
ICDAR
2009
IEEE
16 years 1 months ago
Evaluating Retraining Rules for Semi-Supervised Learning in Neural Network Based Cursive Word Recognition
Training a system to recognize handwritten words is a task that requires a large amount of data with their correct transcription. However, the creation of such a training set, inc...
Volkmar Frinken, Horst Bunke
ISBI
2004
IEEE
16 years 7 months ago
Towards a Shape Model of White Matter Fiber Bundles Using Diffusion Tensor MRI
White matter fiber bundles of the human brain form a spatial pattern defined by the anatomical and functional architecture. Human brain atlases provide names for individual tracts...
Isabelle Corouge, Guido Gerig, Sylvain Gouttard
ATAL
2005
Springer
15 years 12 months ago
Matchmaking multi-party interactions using historical performance data
Matchmaking will be an important component of future agent and agent-like systems, such as the semantic web. Most research on matchmaking has been directed toward sophisticated ma...
David Lambert, David Robertson
ECCV
2008
Springer
16 years 8 months ago
Simultaneous Visual Recognition of Manipulation Actions and Manipulated Objects
Abstract. The visual analysis of human manipulation actions is of interest for e.g. human-robot interaction applications where a robot learns how to perform a task by watching a hu...
Danica Kragic, David Martínez Mercado, Hedv...