366 search results - page 60 / 74 » Syntactic Abstraction of B Models to Generate Tests |
254
click to vote
GIS
2008
ACM
16 years 7 months ago
2008
ACM
d Abstract] K. Buchin Dept. Computer Science Utrecht University The Netherlands buchin@cs.uu.nl M. Buchin Dept. Computer Science Utrecht University The Netherlands maike@cs.uu.nl ...
183
click to vote
AINA
2006
IEEE
16 years 20 days ago
2006
IEEE
Abstract— Wireless sensor networks, by providing an unprecedented way of interacting with the physical environment, have become a hot topic for research over the last few years. ...
177
click to vote
IROS
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract— A system is detailed here for using imitation learning to teach a robot to grasp objects using both hand and wholebody grasps, which use the arms and torso as well as h...
158
click to vote
TITS
2008
15 years 6 months ago
2008
Abstract--In this paper, the implementation of genetic programming (GP) to design a controller structure is assessed. GP is used to evolve control strategies that, given the curren...
157
click to vote
TSP
2008
15 years 6 months ago
2008
Abstract--We consider the adaptive detection of a signal of interest embedded in colored noise, when the environment is nonhomogeneous, i.e., when the training samples used for ada...