570 search results - page 29 / 114 » Evaluating Usability Evaluation Methods: Criteria, Method an... |
ESWS
2006
Springer
15 years 1 months ago
2006
Springer
Thesauri can be useful resources for indexing and retrieval on the Semantic Web, but often they are not published in RDF/OWL. To convert thesauri to RDF for use in Semantic Web app...
62
Voted
STTT
2008
14 years 9 months ago
2008
We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a mode...
HPCN
1997
Springer
15 years 1 months ago
1997
Springer
The performance attained by parallel programs executed on multiprocessor systems is largely in uenced both by the characteristics of the code and by those of the system architectu...
CHI
2011
ACM
14 years 1 months ago
2011
ACM
Citizen science projects can collect a wealth of scientific data, but that data is only helpful if it is actually used. While previous citizen science research has mostly focused ...
CORR
2010
Springer
14 years 8 months ago
2010
Springer
We study a problem of quick detection of top-k Personalized PageRank lists. This problem has a number of important applications such as finding local cuts in large graphs, estima...