Sciweavers

542 search results - page 99 / 109
» The Denjoy alternative for computable functions
Sort
View
BMCBI
2010
96views more  BMCBI 2010»
14 years 9 months ago
Incorporating gene co-expression network in identification of cancer prognosis markers
Background: Extensive biomedical studies have shown that clinical and environmental risk factors may not have sufficient predictive power for cancer prognosis. The development of ...
Shuangge Ma, Mingyu Shi, Yang Li, Danhui Yi, Ben-C...
SIAMCOMP
2000
79views more  SIAMCOMP 2000»
14 years 9 months ago
Optimal Worst Case Formulas Comparing Cache Memory Associativity
ct Consider an arbitrary program P which is to be executed on a computer with two alternative cache memories. The rst cache has k sets and u blocks in each set, this is denoted a ...
Håkan Lennerstad, Lars Lundberg
86
Voted
QEST
2005
IEEE
15 years 3 months ago
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
YoungMin Kwon, Gul A. Agha
NIPS
2004
14 years 11 months ago
Implicit Wiener Series for Higher-Order Image Analysis
The computation of classical higher-order statistics such as higher-order moments or spectra is difficult for images due to the huge number of terms to be estimated and interprete...
Matthias O. Franz, Bernhard Schölkopf
AI
2010
Springer
14 years 9 months ago
Automatically generating personalized user interfaces with Supple
Today's computer-human interfaces are typically designed with the assumption that they are going to be used by an able-bodied person, who is using a typical set of input and ...
Krzysztof Z. Gajos, Daniel S. Weld, Jacob O. Wobbr...