2838 search results - page 209 / 568 » Verifying Controlled Components |
111
click to vote
COR
2008
14 years 11 months ago
2008
Quantitative performance modeling of complex information systems is of immense importance for designing enterprise e-business infrastructures and applications. In this paper, we p...
93
Voted
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract— This paper proposes a method for learning viewpoint detection models for object categories that facilitate sequential object category recognition and viewpoint planning...
107
Voted
BMVC
2010
14 years 10 months ago
2010
Achieving high accuracy in the presence of expression variation remains one of the most challenging aspects of 3D face recognition. In this paper, we propose a novel recognition a...
131
click to vote
FOMI
2009
14 years 10 months ago
2009
The semantic integration of manufacturing systems has been impeded by the lack of rigorous ontologies for specific domains of manufacturing processes and resources. In this paper w...
87
Voted
ICCAD
2009
IEEE
14 years 10 months ago
2009
IEEE
A generalized Hamiltonian method (GHM) is proposed for passivity test of descriptor systems (DSs) which describe impedance or admittance input-output responses. GHM can test passi...