5255 search results - page 287 / 1051 » Formal Methods for Privacy |
126
Voted
JMLR
2010
14 years 11 months ago
2010
We consider reinforcement learning as solving a Markov decision process with unknown transition distribution. Based on interaction with the environment, an estimate of the transit...
131
click to vote
FCA
2005
Springer
15 years 10 months ago
2005
Springer
About ten years ago, the first serious applications of concept lattices in software analysis were published. Today, a wide range of applications of concept lattices in static and...
104
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— Current approaches to distributed control involving many robots generally restrict interactions to pairs of robots within a threshold distance. While this allows for provable s...
140
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— In this paper, the coupling between Jacobian learning and task sequencing through the redundancy approach is studied. It is well known that visual servoing is robust to...
142
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Enterprise architects seek to align enterprise processes and structure with their supporting IT systems so that enterprises can flourish in their environment. The enterprise archi...