Sciweavers

1183 search results - page 110 / 237
» Assessment of Object Use for Task Modeling
Sort
View
FM
2009
Springer
169views Formal Methods» more  FM 2009»
15 years 7 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...
GRAPHICSINTERFACE
2011
14 years 6 months ago
Ubiquitous cursor: a comparison of direct and indirect pointing feedback in multi-display environments
Multi-display environments (MDEs) connect several displays into a single digital workspace. One of the main problems to be solved in an MDE’s design is how to enable movement of...
Robert Xiao, Miguel A. Nacenta, Regan L. Mandryk, ...
KDD
2012
ACM
201views Data Mining» more  KDD 2012»
13 years 5 months ago
Learning from crowds in the presence of schools of thought
Crowdsourcing has recently become popular among machine learning researchers and social scientists as an effective way to collect large-scale experimental data from distributed w...
Yuandong Tian, Jun Zhu
GCC
2003
Springer
15 years 8 months ago
Research and Application of Distributed Fusion System Based on Grid Computing
Grid computing is used to realize the connection of distributed, heterogeneous computing resources through grid, assist in accomplishing computing task. Focusing on the weakness of...
Yu Su, Hai Zhao, Wei-ji Su, Gang Wang, Xiao-dan Zh...
ISI
2008
Springer
15 years 3 months ago
Visual Analytics for Supporting Entity Relationship Discovery on Text Data
To conduct content analysis over text data, one may look out for important named objects and entities that refer to real world instances, synthesizing them into knowledge relevant ...
Hanbo Dai, Ee-Peng Lim, Hady Wirawan Lauw, HweeHwa...