Sciweavers

1565 search results - page 80 / 313
» Topical locality in the Web
Sort
View
ENTCS
2006
128views more  ENTCS 2006»
13 years 8 months ago
Web Verification: Perspective and Challenges
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
Shriram Krishnamurthi
WWW
2006
ACM
14 years 9 months ago
One document to bind them: combining XML, web services, and the semantic web
We present a paradigm for uniting the diverse strands of XML-based Web technologies by allowing them to be incorporated within a single document. This overcomes the distinction be...
Harry Halpin, Henry S. Thompson
WWW
2003
ACM
14 years 9 months ago
Web-R: a Tool to Record & Replay Personal Web Navigation
This poster presents a useful tool to capture the content of browsing sessions. Web-R saves systematically all the components sufficient and necessary to visualize offline the pag...
Jean-Daniel Kant, Alain Lifchitz
VALUETOOLS
2006
ACM
166views Hardware» more  VALUETOOLS 2006»
14 years 2 months ago
Web graph analyzer tool
We present the software tool “Web Graph Analyzer”. This tool is designed to perform a comprehensive analysis of the Web Graph structure. By Web Graph we mean a graph whose ver...
Konstantin Avrachenkov, Danil Nemirovsky, Natalia ...
COLING
2000
13 years 10 months ago
WebDIPLOMAT: A Web-Based Interactive Machine Translation System
We have implenlented a.n interactive, Wel)-based, chat-style machine translation system, SUpl)ort;ing speech recognition and synthesis, local- or thirdparty correction of speech r...
Christopher Hogan, Robert E. Frederking