6104 search results - page 83 / 1221 » Constructing Information Bases Using Associative Structures |
126
click to vote
BNCOD
2007
15 years 4 months ago
2007
Abstract. Information Extraction, the process of eliciting data from natural language documents, usually relies on the ability to parse the document and then to detect the meaning ...
148
click to vote
IEEESCC
2005
IEEE
15 years 9 months ago
2005
IEEE
The web service is a main working pattern and a significant application model for next generation Internet application. The service-oriented architecture is a very promising archi...
136
click to vote
ECSQARU
2007
Springer
15 years 7 months ago
2007
Springer
Many merging operators have been proposed to merge either flat or stratified knowledge bases. The result of merging by such an operator is a flat base (or a set of models of the me...
150
click to vote
ER
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
MKM
2004
Springer
15 years 8 months ago
2004
Springer
We present C-CoRN, the Constructive Coq Repository at Nijmegen. It consists of a library of constructive algebra and analysis, formalized in the theorem prover Coq. In this paper w...