Sciweavers

1813 search results - page 274 / 363
» Constraint Based Methods for Biological Sequence Analysis
Sort
View
125
Voted
ICCAD
2007
IEEE
134views Hardware» more  ICCAD 2007»
16 years 22 days ago
Hybrid CEGAR: combining variable hiding and predicate abstraction
ion Chao Wang NEC Laboratories America Hyondeuk Kim University of Colorado Aarti Gupta NEC Laboratories America Variable hiding and predicate abstraction are two popular abstracti...
Chao Wang, Hyondeuk Kim, Aarti Gupta
BMCBI
2010
165views more  BMCBI 2010»
15 years 3 months ago
Bayesian integrated modeling of expression data: a case study on RhoG
Background: DNA microarrays provide an efficient method for measuring activity of genes in parallel and even covering all the known transcripts of an organism on a single array. T...
Rashi Gupta, Dario Greco, Petri Auvinen, Elja Arja...
AVSS
2006
IEEE
15 years 10 months ago
An LMI Approach for Reliable PTZ Camera Self-Calibration
PTZ (Pan-Tilt-Zoom) cameras are widely used for large-area video surveillance. For many visual tracking and video analysis tasks, an accurate camera calibration is very important....
Hongdong Li, Chunhua Shen
SIMPAR
2010
127views Robotics» more  SIMPAR 2010»
15 years 2 months ago
On the Stability of Bipedal Walking
Stability of bipedal locomotion is analyzed using a model of a planar biped written in the framework of systems with unilateral constraints. Based on this model, two different sta...
Pieter van Zutven, Dragan Kostic, Henk Nijmeijer

Publication
151views
14 years 2 months ago
Embedding Overlap Priors in Variational Left Ventricle Tracking
Tracking heart motion plays an essential role in the diagnosis of cardiovascular diseases. This study investigates overlap priors for variational tracking of the Left Ventricle (LV...
Ismail Ben Ayed, Shuo Li and Ian Ross