15888 search results - page 337 / 3178 » Supporting human-intensive systems |
205
Voted
MM
2010
ACM
15 years 7 months ago
2010
ACM
: Gaze Awareness and Interaction Support in Presentations Kar-Han Tan, Dan Gelb, Ramin Samadani, Ian Robinson, Bruce Culbertson, John Apostolopoulos HP Laboratories HPL-2010-187 D...
219
click to vote
TITB
2008
15 years 7 months ago
2008
Nonlinear classifiers, e.g., support vector machines (SVMs) with radial basis function (RBF) kernels, have been used widely for automatic diagnosis of diseases because of their hig...
205
click to vote
FMSD
2000
15 years 7 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
225
click to vote
IWC
2002
15 years 7 months ago
2002
Software components are becoming increasingly popular design and implementation technologies that can be plugged and played to provide user-enhanceable software. However, developi...
227
Voted
HCI
2009
15 years 5 months ago
2009
Abstract. In this paper, we focus on ICTs for young people attending occupational rehabilitation and training. An important goal is to develop ICTs that decrease the need for readi...