Sciweavers

1199 search results - page 171 / 240
» How to Compare the Power of Computational Models
Sort
View
ICPR
2008
IEEE
16 years 23 days ago
Collaborative and content-based image labeling
Many on-line photo sharing systems allow users to tag their images so as to support semantic image search. In this paper, we study how one can take advantages of the already-tagge...
Ning Zhou, W. K. Cheung, Xiangyang Xue, Guoping Qi...
CONCUR
1991
Springer
15 years 10 months ago
A Tool Set for deciding Behavioral Equivalences
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
Jean-Claude Fernandez, Laurent Mounier
COLING
2010
15 years 1 months ago
YanFa: An Online Automatic Scoring and Intelligent Feedback System of Student English-Chinese Translation
Online learning calls for instant assessment and feedback. YanFa is a system developed to score online EnglishChinese translation exercises with intelligent feedback for Chinese n...
Yan Tian
GIS
2008
ACM
16 years 7 months ago
Using tomography for ubiquitous sensing
By embedding sensors in mobile devices, it is possible to exploit the ubiquitous presence of these devices to construct applications for large-scale sensing and monitoring of envi...
Stacy Patterson, Bassam Bamieh, Amr El Abbadi
PVM
2009
Springer
16 years 27 days ago
Hierarchical Collectives in MPICH2
Abstract. Most parallel systems on which MPI is used are now hierarchical: some processors are much closer to others in terms of interconnect performance. One of the most common su...
Hao Zhu, David Goodell, William Gropp, Rajeev Thak...