Sciweavers

1917 search results - page 278 / 384
» Decisions under subjective information
Sort
View
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 4 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»
15 years 4 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
14 years 9 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
16 years 8 months 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
16 years 6 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