Sciweavers

1917 search results - page 278 / 384
» Decisions under subjective information
Sort
View
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
13 years 8 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
CONCURRENCY
2010
80views more  CONCURRENCY 2010»
13 years 8 months ago
Publication and consumption of caBIG data services using .NET
The cancer Biomedical Informatics Grid (caBIG) is revolutionizing the way medical researchers share information and collaborate. A key to caBIG's continued success will be in...
Marty Humphrey, Jie Li, Norm Beekwilder
BMCBI
2011
13 years 1 months ago
Cell Subset Prediction for Blood Genomic Studies
Background: Genome-wide transcriptional profiling of patient blood samples offers a powerful tool to investigate underlying disease mechanisms and personalized treatment decisions...
Christopher R. Bolen, Mohamed Uduman, Steven H. Kl...
CVPR
2008
IEEE
15 years 3 days ago
Homography based multiple camera detection and tracking of people in a dense crowd
Tracking people in a dense crowd is a challenging problem for a single camera tracker due to occlusions and extensive motion that make human segmentation difficult. In this paper ...
Ran Eshel, Yael Moses
WWW
2008
ACM
14 years 10 months ago
Cm-pmi: improved web-based association measure with contextual label matching
WebPMI is a popular web-based association measure to evaluate the semantic similarity between two queries (i.e. words or entities) by leveraging search results returned by search ...
Xiaojun Wan