Sciweavers

2989 search results - page 162 / 598
» Using Domain-Independent Problems for Introducing Formal Met...
Sort
View
JMM2
2007
148views more  JMM2 2007»
14 years 10 months ago
Object Segmentation Using Background Modelling and Cascaded Change Detection
— The automatic extraction and analysis of visual information is becoming generalised. The first step in this processing chain is usually separating or segmenting the captured v...
Luís Filipe Teixeira, Jaime S. Cardoso, Lu&...
BMCBI
2007
194views more  BMCBI 2007»
14 years 10 months ago
Kernel-imbedded Gaussian processes for disease classification using microarray gene expression data
Background: Designing appropriate machine learning methods for identifying genes that have a significant discriminating power for disease outcomes has become more and more importa...
Xin Zhao, Leo Wang-Kit Cheung
TOMACS
2002
113views more  TOMACS 2002»
14 years 9 months ago
Simulating heavy tailed processes using delayed hazard rate twisting
Consider the problem of estimating the small probability that the maximum of a random walk exceeds a large threshold, when the process has a negative drift and the underlying rand...
Sandeep Juneja, Perwez Shahabuddin
SCALESPACE
2007
Springer
15 years 4 months ago
Segmentation Under Occlusions Using Selective Shape Prior
In this work, we address the problem of segmenting multiple objects, under possible occlusions, in a level set framework. A variational energy that incorporates a piecewise constan...
Sheshadri Thiruvenkadam, Tony F. Chan, Byung-Woo H...
SAS
2004
Springer
136views Formal Methods» more  SAS 2004»
15 years 3 months ago
Constraint-Based Linear-Relations Analysis
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...