Sciweavers

10890 search results - page 1922 / 2178
» Automatic Complexity Analysis
Sort
View
CSCW
2002
ACM
15 years 6 months ago
The use of visual information in shared visual spaces: informing the development of virtual co-presence
A shared visual workspace is one where multiple people can see the same objects at roughly the same time. We present findings from an experiment investigating the effects of share...
Robert E. Kraut, Darren Gergle, Susan R. Fussell
NAR
2000
84views more  NAR 2000»
15 years 6 months ago
SRPDB (Signal Recognition Particle Database)
The Signal Recognition Particle Database (SRPDB) at http://psyche.uthct.edu/dbs/SRPDB/SRPDB.html and http://bio.lundberg.gu.se/dbs/SRPDB/SRPDB. html assists in the better understa...
Christian Zwieb, Tore Samuelsson
HF
2002
95views more  HF 2002»
15 years 6 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann
SIGMETRICS
2000
ACM
111views Hardware» more  SIGMETRICS 2000»
15 years 6 months ago
AMVA techniques for high service time variability
Motivated by experience gained during the validation of a recent Approximate Mean Value Analysis (AMVA) model of modern shared memory architectures, this paper re-examines the &qu...
Derek L. Eager, Daniel J. Sorin, Mary K. Vernon
IJCSA
2007
100views more  IJCSA 2007»
15 years 6 months ago
Using Artificial Neural networks for the modelling of a distillation column
The main aim of this paper is to establish a reliable model both for the steady-state and unsteady-state regimes of a nonlinear process. The use of this model should reflect the t...
Yahya Chetouani
« Prev « First page 1922 / 2178 Last » Next »