5904 search results - page 841 / 1181 » Requirements for a Composition Language |
187
click to vote
B
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
198
click to vote
CAISE
2007
Springer
16 years 29 days ago
2007
Springer
Schema merging is the process of integrating several schemas into a common, unified schema. There have been various approaches to schema mergusing on particular modeling languages...
147
click to vote
CSL
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. By introducing a parallel extension rule that is aware of independence of the introduced extension variables, a calculus for quantified propositional logic is obtained w...
187
click to vote
DEXA
2007
Springer
16 years 28 days ago
2007
Springer
The semantic web is based on ontologies and metadata that indexes resources using ontologies. This indexing is called annotation. Ontology based information retrieval is an operati...
167
click to vote
ECML
2007
Springer
16 years 28 days ago
2007
Springer
Many applications in information retrieval, natural language processing, data mining, and related fields require a ranking of instances with respect to a specified criteria as op...