13457 search results - page 48 / 2692 » Can we elect if we cannot compare |
148
Voted
LREC
2010
15 years 7 months ago
2010
This paper deals with the problem of finding sign occurrences in a sign language (SL) video. It begins with an analysis of sign models and the way they can take into account the s...
168
click to vote
ENTCS
2006
15 years 6 months ago
2006
We compare the expressive power of Hoare (i.e., CSP style) and Milner (i.e., CCS style) synchronizations for defining graph transformations in a framework where edges can perform ...
155
Voted
QEST
2007
IEEE
16 years 6 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
195
Voted
SPIN
1999
Springer
15 years 10 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
141
click to vote
LRE
2008
15 years 5 months ago
2008
In this article, we address the task of comparing and combining different semantic verb classifications within one language. We present a methodology for the manual analysis of ind...