Sciweavers

10874 search results - page 227 / 2175
» An Improvement in Sugeno-Yasukawa Modeler
Sort
View
AVBPA
2005
Springer
238views Biometrics» more  AVBPA 2005»
16 years 5 days ago
Modelling the Time-Variant Covariates for Gait Recognition
This paper deals with a problem of recognition by gait when time-dependent covariates are added, i.e. when 6 months have passed between recording of the gallery and the probe sets....
Galina V. Veres, Mark S. Nixon, John N. Carter
194
Voted
ECCV
2010
Springer
15 years 11 months ago
Modeling and Analysis of Dynamic Behaviors of Web Image Collections
Abstract. Can we model the temporal evolution of topics in Web image collections? If so, can we exploit the understanding of dynamics to solve novel visual problems or improve reco...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 11 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
IS
2011
15 years 1 months ago
Checking determinism of XML Schema content models in optimal time
We consider the determinism checking of XML Schema content models, as required by the W3C Recommendation. We argue that currently applied solutions have flaws and make processors...
Pekka Kilpeläinen
CVPR
2008
IEEE
16 years 8 months ago
Decomposition, discovery and detection of visual categories using topic models
We present a novel method for the discovery and detection of visual object categories based on decompositions using topic models. The approach is capable of learning a compact and...
Mario Fritz, Bernt Schiele