Sciweavers

1695 search results - page 106 / 339
» Interactive query refinement
Sort
View
PTS
2008
98views Hardware» more  PTS 2008»
15 years 6 months ago
Modular System Verification by Inference, Testing and Reachability Analysis
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
Roland Groz, Keqin Li 0002, Alexandre Petrenko, Mu...
FLAIRS
2009
15 years 2 months ago
Advanced Measures for Empirical Testing
Empirical testing is a very popular evaluation method for the development of intelligent systems. Here, previously solved problems with correct solutions are given as cases to the...
Joachim Baumeister
HCI
2009
15 years 2 months ago
Decoding Attentional Orientation from EEG Spectra
We have carried out preliminary experiments to determine if EEG spectra can be used to decode the attentional orientation of an observer in three dimensional space. Our task cued ...
Ramesh Srinivasan, Samuel Thorpe, Siyi Deng, Tom L...
MHCI
2005
Springer
15 years 10 months ago
ZuiScat: querying and visualizing information spaces on personal digital assistants
ZuiScat is a visualization concept for querying large information spaces on Personal Digital Assistants (PDA). Retrieval results are presented in a dynamic scatterplot, which is e...
Thorsten Büring, Harald Reiterer
JASIS
2006
68views more  JASIS 2006»
15 years 4 months ago
Query expansion behavior within a thesaurus-enhanced search environment: A user-centered evaluation
e to the CAB abstracts database. Data-gathering techniques included questionnaires, screen capturing software, and interviews. The results presented here relate to issues of search...
Ali Asghar Shiri, Crawford Revie