3799 search results - page 705 / 760 » An Engineering Approach to Formal Methods |
123
click to vote
SIGIR
2004
ACM
15 years 9 months ago
2004
ACM
Multiple-topic and varying-length of web pages are two negative factors significantly affecting the performance of web search. In this paper, we explore the use of page segmentati...
154
click to vote
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
142
click to vote
ECIR
2007
Springer
15 years 5 months ago
2007
Springer
An expert finding is a very common task among enterprise search activities, while its usual retrieval performance is far from the quality of the Web search. Query modeling helps t...
132
click to vote
WWW
2006
ACM
16 years 4 months ago
2006
ACM
Domain ontology has been used in many Semantic Web applications. However, few applications explore the use of ontology for personalized services. This paper proposes an ontology b...
104
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
The ability of the Web to share data regardless of geographical location raises a new issue called remote authoring. With the Internet and Web browsers being independent of hardwa...