Sciweavers

13985 search results - page 2372 / 2797
» Active Feature Models
Sort
View
FM
2009
Springer
154views Formal Methods» more  FM 2009»
15 years 4 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
ICCV
2009
IEEE
15 years 4 months ago
Real-time visual tracking via Incremental Covariance Tensor Learning
Visual tracking is a challenging problem, as an object may change its appearance due to pose variations, illumination changes, and occlusions. Many algorithms have been proposed t...
Yi Wu, Jian Cheng, Jinqiao Wang, Hanqing Lu
ICCV
2009
IEEE
15 years 4 months ago
Associative hierarchical CRFs for object class image segmentation
Most methods for object class segmentation are formulated as a labelling problem over a single choice of quantisation of an image space - pixels, segments or group of segments. It...
Lubor Ladicky, Christopher Russell, Pushmeet Kohli...
ICMCS
2009
IEEE
142views Multimedia» more  ICMCS 2009»
15 years 4 months ago
PTZ camera calibration for Augmented Virtual Environments
Augmented Virtual Environments(AVE) are very effective in the application of surveillance, in which multiple video streams are projected onto a 3D urban model for better visualiza...
Lu Wang, Suya You, Ulrich Neumann
GPB
2010
231views Solid Modeling» more  GPB 2010»
15 years 4 months ago
Mining Gene Expression Profiles: An Integrated Implementation of Kernel Principal Component Analysis and Singular Value Decompos
The detection of genes that show similar profiles under different experimental conditions is often an initial step in inferring the biological significance of such genes. Visualiz...
Ferran Reverter, Esteban Vegas, Pedro Sánch...
« Prev « First page 2372 / 2797 Last » Next »