5084 search results - page 706 / 1017 » Proving Possibility Properties |
192
click to vote
TOPLAS
1998
15 years 6 months ago
1998
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
198
click to vote
ENTCS
2007
15 years 6 months ago
2007
In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a coll...
152
click to vote
PR
2007
15 years 6 months ago
2007
This paper presents a novel and effective approach to synthesize English handwriting in the user’s writing style. We select the most important features that depict the handwriti...
169
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
The Maximum Betweenness Centrality problem (MBC) can be defined as follows. Given a graph find a k-element node set C that maximizes the probability of detecting communication be...
180
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The complexity of maximum likelihood decoding of the ReedSolomon codes [q -1, k]q is a well known open problem. The only known result [4] in this direction states that it...