2016 search results - page 121 / 404 » Some observations on HC-128 |
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— Many everyday human skills can be framed in terms of performing some task subject to constraints imposed by the environment. Constraints are usually unobservable and frequently...
92
Voted
SARA
2009
Springer
15 years 7 months ago
2009
Springer
Perfect recall is the common and natural assumption that an agent never forgets. As a consequence, the agent can always condition its choice of action on any prior observations. I...
94
Voted
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
80
Voted
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...
199
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
PRISM is a probabilistic extension of Prolog. It is a high level language for probabilistic modeling capable of learning statistical parameters from observed data. After reviewing ...