2004 search results - page 369 / 401 » Comparison of Model Checking Tools for Information Systems |
104
click to vote
WWW
2004
ACM
16 years 14 days ago
2004
ACM
We propose new features and algorithms for automating Web-page classification tasks such as content recommendation and ad blocking. We show that the automated classification of We...
122
click to vote
IEEEICCI
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— The underwater environment presents many challenges for robotic sensing including highly variable lighting and the presence of dynamic objects such as fish and suspend...
CCS
2010
ACM
14 years 12 months ago
2010
ACM
Privacy is a huge problem for users of social networking sites. While sites like Facebook allow individual users to personalize fine-grained privacy settings, this has proven quit...
IJIM
2008
14 years 11 months ago
2008
Podcasts have been employed extensively in some countries and are now being trialed at a number of universities in Australia. They allow ubiquitous learning whereby students can ac...
CGA
2007
14 years 11 months ago
2007
Illustrative rendering is a widely used visualization technique to display conceptual information, describe problems and give insight to solve them efficiently in science, engine...