Sciweavers

7978 search results - page 687 / 1596
» Combining shared-coin algorithms
Sort
View
171
Voted
ISBI
2008
IEEE
16 years 8 months ago
Tracking of cells in a sequence of images using a low-dimension image representation
We propose a new image analysis method to segment and track cells in a growing colony. By using an intermediate low-dimension image representation yielded by a reliable over-segme...
Alice Demarez, Ariel B. Lindner, François T...
154
Voted
ISBI
2008
IEEE
16 years 8 months ago
Segmentation of 4D MR renography images using temporal dynamics in a level set framework
A novel 4D level set framework was developed to segment dynamic MR images into the cortex, medulla and collecting system. The novelty of the method is that it combines information...
Ting Song, Vivian S. Lee, Henry Rusinek, Qun Chen,...
WWW
2008
ACM
16 years 8 months ago
Psst: a web-based system for tracking political statements
Determining candidates' views on important issues is critical in deciding whom to support and vote for; but finding their statements and votes on an issue can be laborious. I...
Samantha Kleinberg, Bud Mishra
361
Voted
PADL
2009
Springer
16 years 8 months ago
Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell
Analysis of biological data often involves large data sets and computationally expensive algorithms. Databases of biological data continue to grow, leading to an increasing demand ...
Ketil Malde, Bryan O'Sullivan
190
Voted
SAS
2009
Springer
119views Formal Methods» more  SAS 2009»
16 years 7 months ago
Abstraction Refinement for Quantified Array Assertions
ion Refinement for Quantified Array Assertions Mohamed Nassim Seghir1, , Andreas Podelski1 , and Thomas Wies1,2 1 University of Freiburg, Germany 2 EPFL, Switzerland Abstract. We p...
Mohamed Nassim Seghir, Andreas Podelski, Thomas Wi...