546 search results - page 81 / 110 » An Action Semantics for MML |
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
ATAL
1995
Springer
13 years 11 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
IJCAI
2007
13 years 8 months ago
2007
Most work on Predictive Representations of State (PSRs) has focused on learning and planning in unstructured domains (for example, those represented by flat POMDPs). This paper e...
VMV
2008
13 years 8 months ago
2008
Architectural blueprints offer a concise, clear and high-level description of the structure of a building. On the other hand, state of the art reconstruction pipelines can nowaday...
FLAIRS
2003
13 years 8 months ago
2003
This paper presents an adaptive algorithm for learning the user profile. The user profile is learned incrementally and continuously based on user’s initial profile, his actions ...