130 search results - page 25 / 26 » Algorithmic Algebraic Model Checking I: Challenges from Syst... |
WWW
2005
ACM
14 years 6 months ago
2005
ACM
The semantic web is expected to have an impact at least as big as that of the existing HTML based web, if not greater. However, the challenge lays in creating this semantic web an...
EENERGY
2010
13 years 9 months ago
2010
As energy-related costs have become a major economical factor for IT infrastructures and data-centers, companies and the research community are being challenged to find better an...
ICRA
2008
IEEE
13 years 11 months ago
2008
IEEE
— Image-based navigation paradigms have recently emerged as an interesting alternative to conventional modelbased methods in mobile robotics. In this paper, we augment the existi...
MM
2006
ACM
13 years 11 months ago
2006
ACM
Automated annotation of digital pictures has been a highly challenging problem for computer scientists since the invention of computers. The capability of annotating pictures by c...
KDD
2005
ACM
13 years 10 months ago
2005
ACM
Mining data streams is important in both science and commerce. Two major challenges are (1) the data may grow without limit so that it is difficult to retain a long history; and (...