536 search results - page 62 / 108 » paste 2010 |
IAJIT
2010
15 years 15 days ago
2010
: Steganography is the art of hiding the fact that communication is taking place, by hiding information in other information. Security has always been a major concern since time im...
114
click to vote
ICFEM
2010
Springer
15 years 14 days ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
126
click to vote
ICFEM
2010
Springer
15 years 14 days ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
110
click to vote
ICRA
2010
IEEE
15 years 14 days ago
2010
IEEE
Abstract— We consider the problem of apprenticeship learning when the expert’s demonstration covers only a small part of a large state space. Inverse Reinforcement Learning (IR...
117
click to vote
ICRA
2010
IEEE
15 years 14 days ago
2010
IEEE
— This work addresses the task of designing the optimal survey route that an autonomous underwater vehicle (AUV) should take in mine countermeasures (MCM) operations. It is assum...