1188 search results - page 61 / 238 » Testing Semantics: Connecting Processes and Process Logics |
143
click to vote
SBIA
2000
Springer
15 years 7 months ago
2000
Springer
In recent years, the Natural Language Processing scene has witnessed the steady growth of interest in connectionist modeling. The main appeal of such an approach is that one does n...
133
click to vote
JASIS
2000
15 years 3 months ago
2000
In the logical approach to information retrieval (IR), retrieval is considered as uncertain inference. Whereas classical IR models are based on propositional logic, we combine Dat...
143
Voted
JOLLI
2006
15 years 3 months ago
2006
Abstract. In this paper we study families of resource aware logics that explore resource restriction on rules; in particular, we study the use of controlled cut-rule and introduce ...
109
click to vote
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Each time more grows the necessity of guaranteeing itself security and trustworthiness of the equipment during the execution of the industrials processes. Then, it is v...
155
click to vote
ICGI
1998
Springer
15 years 8 months ago
1998
Springer
In this paper, we propose a new framework for the computational learning of formal grammars with positive data. In this model, both syntactic and semantic information are taken int...