1585 search results - page 147 / 317 » A framework for computer-aided validation |
133
Voted
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
141
Voted
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper addresses the problem of coverage control of a network of mobile sensors. In the current literature, this is commonly formulated as a locational optimization problem...
112
Voted
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— Recently there has been increasing research on the development of autonomous flying vehicles. Whereas most of the proposed approaches are suitable for outdoor operation, only ...
131
click to vote
CAIP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The estimation of human age from face images is an interesting problem in computer vision. We proposed a general distance metric learning scheme for regression problems, ...
122
Voted
PREMI
2009
Springer
15 years 10 months ago
2009
Springer
Content based image retrieval (CBIR) has been well studied in the computer vision and multimedia community. Content free image retrieval (CFIR) methods, and their complementary cha...