1284 search results - page 113 / 257 » Abstract Processes in Orchestration Languages |
149
click to vote
NIPS
2000
15 years 7 months ago
2000
We present an expressive agent design language for reinforcement learning that allows the user to constrain the policies considered by the learning process.The language includes s...
148
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
151
click to vote
MODELS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. This contribution gives an overview of various access control strategies in use in contemporary healthcare scenarios and shows how a broad variety of respective policies ...
151
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
We have investigated the potential for using genetic programming to evolve compiler parsing and translation routines for processing arithmetic and logical expressions as they are ...
168
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...