2089 search results - page 237 / 418 » Simulation Based Construction Management Learning System |
121
click to vote
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
— This paper reports on an outdoor mobile robot that learns to avoid collisions by observing a human driver operate a vehicle equipped with sensors that continuously produce a ma...
119
click to vote
ICDM
2002
IEEE
15 years 8 months ago
2002
IEEE
We empirically evaluate the performance of various reinforcement learning methods in applications to sequential targeted marketing. In particular, we propose and evaluate a progre...
122
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
141
click to vote
EDOC
2007
IEEE
15 years 9 months ago
2007
IEEE
IT application landscapes alias software cities of large enterprises comprise tens or even hundreds of IT applications. Structuring software cities into domains is an important tas...
129
click to vote
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
— We consider the problem of optimal control in continuous and partially observable environments when the parameters of the model are not known exactly. Partially Observable Mark...