5216 search results - page 598 / 1044 » Planning as Model Checking |
186
click to vote
ICAC
2007
IEEE
16 years 1 months ago
2007
IEEE
— The multi-tier implementation has become the industry standard for developing scalable client-server enterprise applications. Since these applications are performance sensitive...
198
click to vote
ROBOCUP
2007
Springer
16 years 28 days ago
2007
Springer
Reinforcement learning is a paradigm under which an agent seeks to improve its policy by making learning updates based on the experiences it gathers through interaction with the en...
167
click to vote
MODELLIERUNG
2004
15 years 8 months ago
2004
: We consider socio-technical processes, i.e. processes where machines as well as humans participate. Typical examples occur in sales processes in e-commerce. Three modeling tasks ...
202
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
Recent years witnessed an increasing interest in researches in XML, partly due to the fact that XML has now become the de facto standard for data interchange over the internet. A ...
193
click to vote
SDM
2009
SIAM
16 years 4 months ago
2009
SIAM
Automotive companies are forced to continuously extend and improve their product line-up. However, increasing diversity, higher design complexity, and shorter development cycles c...