نتایج جستجو برای: global relation
تعداد نتایج: 731949 فیلتر نتایج به سال:
We present the first work on antecedent selection for bridging resolution without restrictions on anaphor or relation types. Our model integrates global constraints on top of a rich local feature set in the framework of Markov logic networks. The global model improves over the local one and both strongly outperform a reimplementation of prior work.
We illustrate a technique for proving properties of distributed programs. Our technique avoids the notion of global time or global state. Furthermore, it does not require any use of temporal logic. All properties are proven using induction on the happened-before relation and its complement. We illustrate our technique by providing a formal proof of Lamport's algorithm for mutual exclusion.
Despite transient global amnesia is considered unusual in Cerebral autosomal dominant arteriopathy with subcortical infarcts and leukoencephalopathy (CADASIL) and causal relation is still unclear, this report suggests to consider CADASIL in those patients with recurrent transient global amnesia, especially when MRI shows multifocal hyperintensities affecting the cerebral white matter or when it...
Proofs of distributed programs are often informal due to the diiculty of developing formal proofs. Properties of distributed programs are often stated using Lamport's causally-precedes relation and its complement , not-causally-precedes. Properties that involve the causally-precedes relation are fairly straight forward to prove using induction. However, properties that involve not-causally-prec...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید