13099 search results - page 2268 / 2620 » Cooperative method development |
185
click to vote
SAFECOMP
2010
Springer
15 years 4 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
202
click to vote
SMC
2010
IEEE
15 years 4 months ago
2010
IEEE
In this study, the task of obtaining accurate and comprehensible concept descriptions of a specific set of production instances has been investigated. The suggested method, inspire...
171
click to vote
TSD
2010
Springer
15 years 4 months ago
2010
Springer
This paper is focused on the evaluation of listening test that was realized with a view to objectively annotate expressive speech recordings and further develop a limited domain ex...
216
click to vote
VTC
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper reviews recent developments in vehicular radar at 60 GHz and above, with a focus on low cost integrated antennas. We investigate a number of radar and communication ante...
175
click to vote
WICON
2010
15 years 4 months ago
2010
In order to meet the overwhelming demands of content retrieval for mobile end users, a novel architecture for the next-generation Internet called Cache-and-Forward (CNF) has been p...