708 search results - page 47 / 142 » Support for Informal Information Use and its Formalization i... |
CHI
2011
ACM
13 years 18 days ago
2011
ACM
Though social network site use is often treated as a monolithic activity, in which all time is equally “social” and its impact the same for all users, we examine how Facebook ...
SIGIR
2008
ACM
13 years 9 months ago
2008
ACM
Any given Web search engine may provide higher quality results than others for certain queries. Therefore, it is in users' best interest to utilize multiple search engines. I...
ECTEL
2006
Springer
14 years 20 days ago
2006
Springer
Current systems used in education follow a consistent design pattern, one that is not supportive of lifelong learning or personalization, is asymmetric in terms of user capability,...
ESWS
2006
Springer
14 years 20 days ago
2006
Springer
We present an architecture for combining wikis containing hypertext with ontologies containing formal, structured information. A web-based ontology editor that supports collaborati...
SIGADA
2007
Springer
14 years 3 months ago
2007
Springer
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...