Sciweavers

12264 search results - page 336 / 2453
» An Analysis of the XSL Algorithm
Sort
View
BMCBI
2010
87views more  BMCBI 2010»
15 years 1 months ago
A fast and robust hepatocyte quantification algorithm including vein processing
Background: Quantification of different types of cells is often needed for analysis of histological images. In our project, we compute the relative number of proliferating hepatoc...
Tetyana Ivanovska, Andrea Schenk, André Hom...
WAW
2009
Springer
187views Algorithms» more  WAW 2009»
16 years 1 months ago
Cluster Based Personalized Search
We study personalized web ranking algorithms based on the existence of document clusterings. Motivated by the topic sensitive page ranking of Haveliwala [19], we develop and imple...
Hyun Chul Lee, Allan Borodin
ICTAC
2009
Springer
15 years 4 months ago
GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems
The GSPeeDI tool implements a decision procedure for the reachability analysis of GSPDIs, planar hybrid systems whose dynamics is given by differential inclusions, and that are not...
Hallstein Asheim Hansen, Gerardo Schneider
175
Voted
POPL
1995
ACM
15 years 10 months ago
A Type System Equivalent to Flow Analysis
Flow-based safety analysis of higher-order languages has been studied by Shivers, and Palsberg and Schwartzbach. Open until now is the problem of finding a type system that accep...
Jens Palsberg, Patrick O'Keefe
CSDA
2006
116views more  CSDA 2006»
15 years 6 months ago
Bayesian multiscale analysis for time series data
A recently proposed Bayesian multiscale tool for exploratory analysis of time series data is reconsidered and umerous important improvements are suggested. The improvements are in...
Tor Arne Øigård, Håvard Rue, Fr...