Sciweavers

2838 search results - page 209 / 568
» Verifying Controlled Components
Sort
View
130
Voted
COR
2008
131views more  COR 2008»
15 years 1 months ago
Queueing analysis of a server node in transaction processing middleware systems
Quantitative performance modeling of complex information systems is of immense importance for designing enterprise e-business infrastructures and applications. In this paper, we p...
Wei Xiong, Tayfur Altiok
112
Voted
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
15 years 29 days ago
Viewpoint detection models for sequential embodied object category recognition
Abstract— This paper proposes a method for learning viewpoint detection models for object categories that facilitate sequential object category recognition and viewpoint planning...
David Meger, Ankur Gupta, James J. Little
126
Voted
BMVC
2010
15 years 15 days ago
Robust 3D Face Recognition by Using Shape Filtering
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...
Liang Cai, Feipeng Da
FOMI
2009
15 years 7 days ago
A First-Order Cutting Process Ontology for Sheet Metal Parts
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...
Michael Grüninger, Arnaud Delaval
100
Voted
ICCAD
2009
IEEE
98views Hardware» more  ICCAD 2009»
15 years 6 days ago
GHM: A generalized Hamiltonian method for passivity test of impedance/admittance descriptor systems
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...
Zheng Zhang, Chi-Un Lei, Ngai Wong