3197 search results - page 367 / 640 » Web Engineering Revisited |
135
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
169
click to vote
AUSAI
2007
Springer
15 years 10 months ago
2007
Springer
Even prior to content, the genre of a web document leads to a first coarse binary classification of the recall space in relevant and non-relevant documents. Thinking of a genre se...
177
click to vote
AIMSA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a novel, simple, unsupervised method for characterizing the semantic relations that hold between nouns in noun-noun compounds. The main idea is to discover pre...
143
click to vote
COMPSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
The recent explosion in distance learning programs on the world-wide web has spawned a lively debate on the future and the potential of these programs. While distance learning wil...
171
click to vote
FSTTCS
2000
Springer
15 years 10 months ago
2000
Springer
The ease with which one can copy and transform data on the Web, has made it increasingly di cult to determine the origins of a piece of data. We use the term data provenance to ref...