Sciweavers

10910 search results - page 361 / 2182
» Input modeling using a computer algebra system
Sort
View
CVPR
2008
IEEE
16 years 8 months ago
Latent topic random fields: Learning using a taxonomy of labels
An important problem in image labeling concerns learning with images labeled at varying levels of specificity. We propose an approach that can incorporate images with labels drawn...
Xuming He, Richard S. Zemel
BMVC
2001
15 years 9 months ago
Recognising Trajectories of Facial Identities Using Kernel Discriminant Analysis
We present a comprehensive approach to address three challenging problems in face recognition: modelling faces across multi-views, extracting the non-linear discriminating feature...
Yongmin Li, Shaogang Gong, Heather M. Liddell
SIGSOFT
2005
ACM
16 years 7 months ago
Towards a unified formal model for supporting mechanisms of dynamic component update
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
Junrong Shen, Xi Sun, Gang Huang, Wenpin Jiao, Yan...
149
Voted
IJCAI
2007
15 years 8 months ago
Model-Based Optimization of Testing through Reduction of Stimuli
The paper presents the theoretical foundations and an algorithm to reduce the efforts of testing physical systems. A test is formally described as a set of stimuli (inputs to the ...
Peter Struss
CDC
2010
IEEE
205views Control Systems» more  CDC 2010»
15 years 1 months ago
Geometric control of patterned linear systems
es of circulant matrices. Our class is broader than just circulants, and we study patterned systems using abstract algebra, specifically the observation that a set of matrices with...
Sarah C. Hamilton, Mireille E. Broucke