Sciweavers

237 search results - page 27 / 48
» Toward Verified Biological Models
Sort
View
77
Voted
DAGSTUHL
2003
14 years 11 months ago
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
Holger Giese, Florian Klein, Sven Burmester
CVPR
2012
IEEE
13 years 3 days ago
Teaching 3D geometry to deformable part models
Current object class recognition systems typically target 2D bounding box localization, encouraged by benchmark data sets, such as Pascal VOC. While this seems suitable for the de...
Bojan Pepik, Michael Stark, Peter V. Gehler, Bernt...
BMCBI
2010
95views more  BMCBI 2010»
14 years 9 months ago
Modelling p-value distributions to improve theme-driven survival analysis of cancer transcriptome datasets
Background: Theme-driven cancer survival studies address whether the expression signature of genes related to a biological process can predict patient survival time. Although this...
Esteban Czwan, Benedikt Brors, David Kipling
ICARCV
2008
IEEE
154views Robotics» more  ICARCV 2008»
15 years 4 months ago
Teaching a robot to operate a lift
—This paper discusses a vision problem for the detection of lift operation panel which is a plane subject to deformation due to viewing angle change. The key problem in this proj...
Han Wang, Y. Ying, V. P. Dinh, B. Y. Xie, Danwei W...
BC
2004
97views more  BC 2004»
14 years 9 months ago
An elaborated model of fly small-target tracking
Flies have the capability to visually track small moving targets, even across cluttered backgrounds. Previous computational models, based on figure detection (FD) cells identified ...
Charles M. Higgins, Vivek Pant