Sciweavers

1245 search results - page 17 / 249
» Playing with Conway's problem
Sort
View
BMCBI
2006
124views more  BMCBI 2006»
13 years 7 months ago
The development and validation of the Virtual Tissue Matrix, a software application that facilitates the review of tissue microa
Background: The Tissue Microarray (TMA) facilitates high-throughput analysis of hundreds of tissue specimens simultaneously. However, bottlenecks in the storage and manipulation o...
Catherine M. Conway, Deirdre O'Shea, Sallyann O'Br...
CAV
1994
Springer
73views Hardware» more  CAV 1994»
13 years 11 months ago
A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation
Relational Coarsest Partition Problems (RCPPs) play a vital role in verifying concurrent systems. It is known that RCPPs are P-complete and hence it may not be possible to design ...
Insup Lee, Sanguthevar Rajasekaran
TPDS
1998
71views more  TPDS 1998»
13 years 7 months ago
Parallel Algorithms for Relational Coarsest Partition Problems
—Relational Coarsest Partition Problems (RCPPs) play a vital role in verifying concurrent systems. It is known that RCPPs are 3-complete and hence it may not be possible to desig...
Sanguthevar Rajasekaran, Insup Lee
COLT
2003
Springer
14 years 23 days ago
Lower Bounds on the Sample Complexity of Exploration in the Multi-armed Bandit Problem
We consider the Multi-armed bandit problem under the PAC (“probably approximately correct”) model. It was shown by Even-Dar et al. [5] that given n arms, it suffices to play th...
Shie Mannor, John N. Tsitsiklis
OSS
2007
Springer
14 years 1 months ago
Release Management in Free Software Projects: Practices and Problems
Abstract. Release management plays an important role in every software project since it is concerned with the delivery of a high quality product to end-users. This paper explores r...
Martin Michlmayr, Francis Hunt, David Probert