100 search results - page 6 / 20 » Pragmatic evaluation of folksonomies |
TPHOL
1999
IEEE
13 years 11 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
CHI
2007
ACM
14 years 7 months ago
2007
ACM
Tagclouds are visual presentations of a set of words, typically a set of "tags" selected by some rationale, in which attributes of the text such as size, weight, or colo...
GPC
2008
Springer
13 years 8 months ago
2008
Springer
The increasing popularity of personal wireless devices has raised new demands for the efficient discovery of heterogeneous devices and services in pervasive environments. With the...
CHI
2008
ACM
14 years 7 months ago
2008
ACM
A reliable and unobtrusive measurement of working memory load could be used to evaluate the efficacy of interfaces and to provide real-time user-state information to adaptive syst...
PRDC
2006
IEEE
14 years 1 months ago
2006
IEEE
Multi-master update everywhere database replication, as achieved by protocols based on group communication such as DBSM and Postgres-R, addresses both performance and availability...