2060 search results - page 346 / 412 » The Composition of Event-B Models |
134
click to vote
TCS
2010
15 years 2 months ago
2010
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
126
click to vote
EMNLP
2010
15 years 2 months ago
2010
Event Anaphora Resolution is an important task for cascaded event template extraction and other NLP study. Previous study only touched on event pronoun resolution. In this paper, ...
218
click to vote
FIW
2009
15 years 2 months ago
2009
A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of si...
133
click to vote
ICC
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper we describe a model for calculating the aggregate interference encountered by primary receivers in the presence of randomly placed cognitive radios (CRs). We show tha...
170
click to vote
ICDAR
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper, an approach based on the combination of discrete Hidden Markov Models (HMMs) in the ROC space is proposed to improve the performance of off-line signature verificat...