Sciweavers

628 search results - page 118 / 126
» Magic Counting Methods
Sort
View
WWW
2007
ACM
14 years 8 months ago
Optimizing web search using social annotations
This paper explores the use of social annotations to improve web search. Nowadays, many services, e.g. del.icio.us, have been developed for web users to organize and share their f...
Shenghua Bao, Gui-Rong Xue, Xiaoyuan Wu, Yong Yu, ...
RECOMB
2007
Springer
14 years 8 months ago
A Bayesian Model That Links Microarray mRNA Measurements to Mass Spectrometry Protein Measurements
Abstract. An important problem in biology is to understand correspondences between mRNA microarray levels and mass spectrometry peptide counts. Recently, a compendium of mRNA expre...
Anitha Kannan, Andrew Emili, Brendan J. Frey
POPL
2010
ACM
14 years 5 months ago
A Relational Modal Logic for Higher-Order Stateful ADTs
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
Derek Dreyer, Georg Neis, Andreas Rossberg, Lars B...
HICSS
2010
IEEE
237views Biometrics» more  HICSS 2010»
14 years 2 months ago
Data Aggregation and Analysis for Cancer Statistics - A Visual Analytics Approach
The disparity between data collected in rural and urban counties is often detrimental in the appropriate analysis of cancer care statistics. Low counts drastically affect the inci...
Ross Maciejewski, Travis Drake, Stephen Rudolph, A...
RTAS
2009
IEEE
14 years 2 months ago
Lightweight Modeling of Complex State Dependencies in Stream Processing Systems
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...
Anne Bouillard, Linh T. X. Phan, Samarjit Chakrabo...