1721 search results - page 139 / 345 » On Active and Passive Testing |
136
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— Transference of controllers evolved in simulation to real vehicles is an important issue in evolutionary robotics (ER). We have previously evolved autonomous navigation control...
184
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
123
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
This paper presents a search architecture that combines classical search techniques with spread activation techniques applied to a semantic model of a given domain. Given an ontol...
128
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
—Collision safety between humans and robots has drawn much attention since service robots are increasingly being used in human environments. A safe robot arm based on passive com...
130
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Establishing a clear and timely picture of Internet topology is complicated by many factors including the vast size and dynamic nature of the infrastructure. In this paper, we d...