5198 search results - page 637 / 1040 » A Logic of Agent Programs |
234
click to vote
POPL
2012
ACM
14 years 3 months ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
198
click to vote
E4MAS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Whenever a multiagent system is designed, many dependencies in the system are identified and must be solved in a correct way. Coordination deals with the management of s...
213
click to vote
AAAI
2007
15 years 10 months ago
2007
Imitation learning, also called learning by watching or programming by demonstration, has emerged as a means of accelerating many reinforcement learning tasks. Previous work has s...
231
click to vote
MAGS
2008
15 years 7 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
261
click to vote
SUTC
2010
IEEE
15 years 6 months ago
2010
IEEE
—Ubiquitous systems build on the vision that great amounts of fixed and mobile microchips and sensors will be integrated in everyday objects. Developing services on basis of sen...