535 search results - page 12 / 107 » Formalization of Legislative Documents Based on a Functional... |
117
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
Addressed in this paper is the issue of semantic relationship extraction from semi-structured documents. Many research efforts have been made so far on the semantic information ex...
100
click to vote
WETICE
1999
IEEE
15 years 7 months ago
1999
IEEE
The prevailing architecture for web-based applications relies on HTML, HTTP and loosely integrated functional elements, propagating a strong distinction between client and server....
115
click to vote
ECIR
2008
Springer
15 years 4 months ago
2008
Springer
This paper addresses the issue of devising a new document prior for the language modeling (LM) approach for Information Retrieval. The prior is based on term statistics, derived in...
133
click to vote
SIGIR
2006
ACM
15 years 9 months ago
2006
ACM
Search algorithms incorporating some form of topic model have a long history in information retrieval. For example, cluster-based retrieval has been studied since the 60s and has ...
128
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...