977 search results - page 40 / 196 » Constructing informative priors using transfer learning |
POPL
2004
ACM
14 years 9 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
HICSS
2010
IEEE
13 years 10 months ago
2010
IEEE
Mobile learning exposes learning to the natural environment. If this environment is large, the learners have to navigate to find the learning objects or to explore the environment...
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
We propose an extension of the conformal (or geodesic) active contour framework in which the conformal factor depends not only on the position of the curve but also on the directi...
WOLLIC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We present a domain-independent algorithm for planning that computes macros in a novel way. Our algorithm computes macros “on-the-fly” for a given set of states and ...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— Recent advances in the field of humanoid robotics increase the complexity of the tasks that such robots can perform. This makes it increasingly difficult and inconvenient to ...