1631 search results - page 146 / 327 » Uniform Distributed Synthesis |
136
click to vote
COORDINATION
2006
Springer
15 years 6 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
105
click to vote
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
We are concerned with the availability of systems, defined as the ratio between time of correct functioning and uptime. We propose to model guaranteed availability in terms of regu...
146
click to vote
ALT
1997
Springer
15 years 7 months ago
1997
Springer
Efficient learning of DFA is a challenging research problem in grammatical inference. It is known that both exact and approximate (in the PAC sense) identifiability of DFA is har...
151
click to vote
COMPGEOM
1996
ACM
15 years 7 months ago
1996
ACM
In this paper we are concerned with developing a practical parallel algorithm for Delaunay triangulation that works well on general distributions, particularly those that arise in...
MA
2010
Springer
15 years 1 months ago
2010
Springer
We equip the polytope of n × n Markov matrices with the normalized trace of the Lebesgue measure of Rn2 . This probability space provides random Markov matrices, with i.i.d. rows...