805 search results - page 77 / 161 » On the Semantics of Conditional Commitment |
LOGCOM
2007
14 years 11 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
CORR
2007
Springer
14 years 12 months ago
2007
Springer
This paper describes a system capable of semi-automatically filling an XML template from free texts in the clinical domain (practice guidelines). The XML template includes semanti...
112
click to vote
INTERSPEECH
2010
14 years 6 months ago
2010
We focus in this paper on the named entity recognition task in spoken data. The proposed approach investigates the use of various contexts of the words to improve recognition. Exp...
ICALP
2009
Springer
15 years 4 months ago
2009
Springer
We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and wea...
100
click to vote
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...