9359 search results - page 1454 / 1872 » Generalization Algorithms for Second-Order Terms |
163
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents the design and user evaluation of SmartBack, a feature that complements the standard Back button by enabling users to jump directly to key pages in their navig...
197
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
Although originally designed for large-scale electronic publishing, XML plays an increasingly important role in the exchange of data on the Web. In fact, it is expected that XML w...
227
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
The large amount of information now available on the Web can play a prominent role in building a cooperative intelligent distance learning environment. We propose a system to prov...
210
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
218
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...