1399 search results - page 221 / 280 » Multi-party Finite Computations |
153
click to vote
COLT
2006
Springer
15 years 9 months ago
2006
Springer
Given a finite set of words w1, . . . , wn independently drawn according to a fixed unknown distribution law P called a stochastic language, an usual goal in Grammatical Inference ...
157
click to vote
CONCUR
2006
Springer
15 years 9 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
177
click to vote
EUROPAR
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In this work we study the dynamic one-to-one communication problem in energy- and capacity-constrained wireless ad-hoc networks. The performance of such networks is evalu...
176
click to vote
CONCUR
2008
Springer
15 years 7 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
146
click to vote
APBC
2004
15 years 7 months ago
2004
THEMATICS (Theoretical Microscopic Titration Curves) is a simple, reliable computational predictor of the active sites of enzymes from structure. Our method, based on well-establi...