5671 search results - page 567 / 1135 » A Semantic Approach to Interpolation |
171
click to vote
SYNASC
2005
IEEE
16 years 26 days ago
2005
IEEE
— A framework that describes the evolution of P systems with bounded parallelism is defined by introducing basic formal features that can be then integrated into a structural op...
209
click to vote
ICCS
2005
Springer
16 years 24 days ago
2005
Springer
After noting that informal documents and formal knowledge bases are far from ideal for discussing or retrieving technical knowledge, we propose mechanisms to support the sharing, r...
202
click to vote
AIMSA
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We present a novel, simple, unsupervised method for characterizing the semantic relations that hold between nouns in noun-noun compounds. The main idea is to discover pre...
234
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
262
click to vote
ECOWS
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, we present an approach to hybrid semantic web service matching based on both logic programming, and syntactic similarity measurement. The implemented matchmaker, ca...