1684 search results - page 209 / 337 » The lexicographic decision function |
113
click to vote
VLC
2002
15 years 11 days ago
2002
Graph layout algorithms typically conform to one or more aesthetic criteria (e.g. minimising the number of bends, maximising orthogonality). Determining the extent to which a grap...
121
Voted
JSA
2008
15 years 7 days ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
130
Voted
IWSEC
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Planning information security investment is somewhere between art and science. This paper reviews and compares existing scientific approaches and discusses the relation ...
118
click to vote
SPIN
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
106
click to vote
GLOBECOM
2010
IEEE
14 years 10 months ago
2010
IEEE
In this paper, we study multi-hop non-regenerative multiple-input multiple-output (MIMO) relay communications with any number of hops. We design the optimal source precoding matrix...