2200 search results - page 190 / 440 » Bloch's Constant is Computable |
191
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Social networking sites have come under criticism for their poor privacy protection track record. Yet, there is an inherent difficulty in deciding which principals should have acc...
167
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...
159
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Several dynamical systems, such as deterministic automata and labelled transition systems, can be described as coalgebras of so-called Kripke polynomial functors, built up from co...
143
click to vote
ESA
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we show that iterative rounding is a powerful and flexible tool in the design of approximation algorithms for multiobjective optimization problems. We illustrate tha...
162
click to vote
IICS
2009
Springer
16 years 1 months ago
2009
Springer
: This paper introduces an adaptive routing approach based on buffer status and distance in a mesh overlay network: Thermal Field is used for considering buffer stage and distance ...