4211 search results - page 129 / 843 » A formal approach to MASQ |
128
click to vote
IFM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
143
Voted
JLP
2010
14 years 7 months ago
2010
The aim of the paper is to give a formal compositional semantics for Spiking Neural P systems (SNP systems) by following the Structural Operational Semantics (SOS) approach. A pro...
169
click to vote
AIIA
2011
Springer
14 years 24 days ago
2011
Springer
Abstract. The aim of the work is to develop formal models of interaction and of the related support infrastructures, that overcome the limits of the current approaches. We propose ...
112
click to vote
CLEF
2011
Springer
14 years 23 days ago
2011
Springer
Abstract This paper describes the University of Sheffield entry for the 3rd International Competition on Plagiarism Detection which attempted the monolingual external plagiarism d...
101
Voted
AO
2005
15 years 21 days ago
2005
There are a number of genuinely open questions concerning the use of domain models in nlp. It would be great if contributors to Applied Ontology could help addressing them rather ...