2586 search results - page 130 / 518 » Automatic Abstraction for Congruences |
102
click to vote
ECSQARU
1993
Springer
15 years 2 months ago
1993
Springer
Abstract. This paper discusses the relationship between incidence calculus and the ATMS. It shows that managing labels for statements in an ATMS is similar to producing the inciden...
ICIW
2007
IEEE
15 years 1 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
CICLING
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In this paper, we describe a new unsupervised sentence boundary detection system and present a comparative study evaluating its performance against different systems foun...
BXML
2003
14 years 11 months ago
2003
Abstract: The goal of information extraction (IE) is to find desired pieces of information in natural language texts and store them in a form that is suitable for automatic queryi...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We present our approach for deploying and managing distributed component-based applications. A Desired State Description (DSD), written in a high-level declarative langua...