4075 search results - page 360 / 815 » Modeling Distributed Algorithm Using B |
202
click to vote
KBSE
1995
IEEE
15 years 10 months ago
1995
IEEE
Cost-effective engineering and evolution of complex software must involve the different stakeholders concurrently and collaboratively. The hard problem is providing computer suppo...
197
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Quantitative characterization of the topological characteristics of protein-protein interaction (PPI) networks can enable the elucidation of biological functional modu...
176
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Choosing the appropriate sample size is an important step in the design of a microarray experiment, and recently methods have been proposed that estimate sample sizes ...
204
click to vote
ACNS
2003
Springer
16 years 19 hour ago
2003
Springer
In this paper, we first propose a novel Public License Infrastructure (PLI) that uses cryptographic threshold secret sharing schemes to provide decentralized public license service...
189
click to vote
NIPS
2004
15 years 8 months ago
2004
We present a generative model and stochastic filtering algorithm for simultaneous tracking of 3D position and orientation, non-rigid motion, object texture, and background texture...