6562 search results - page 1199 / 1313 » Noetherianity and Combination Problems |
216
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Automatic extraction of semantic information from text and links in Web pages is key to improving the quality of search results. However, the assessment of automatic semantic meas...
165
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Currently, the vast majority of web sites do not support accessibility for visually impaired users. Usually, these users have to rely on screen readers: applications that sequenti...
176
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
We present an algorithm for updating the PageRank vector [1]. Due to the scale of the web, Google only updates its famous PageRank vector on a monthly basis. However, the Web chan...
203
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
149
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
The advantages of paper-based maps have been utilized in the field of mobile Augmented Reality (AR) in the last few years. Traditional paper-based maps provide high-resolution, la...