Sciweavers

1454 search results - page 185 / 291
» Stateful traits and their formalization
Sort
View
CORR
2008
Springer
60views Education» more  CORR 2008»
15 years 6 months ago
Goal-oriented Dialog as a Collaborative Subordinated Activity involving Collective Acceptance
Modeling dialog as a collaborative activity consists notably in specifying the contain of the Conversational Common Ground and the kind of social mental state involved. In previou...
Sylvie Saget, Marc Guyomard
ENTCS
2008
90views more  ENTCS 2008»
15 years 6 months ago
Instantaneous Transitions in Esterel
Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems. While providing the usual control-flow constructs--se...
Olivier Tardieu, Stephen A. Edwards
ENTCS
2008
72views more  ENTCS 2008»
15 years 6 months ago
Towards a Notion of Transaction in Graph Rewriting
We define transactional graph transformation systems (t-gtss), a mild extension of the ordinary framework for the double-pushout approach to graph transformation, which allows to ...
Paolo Baldan, Andrea Corradini, Fernando Luí...
EXPERT
2008
108views more  EXPERT 2008»
15 years 6 months ago
Case-Based Plan Adaptation: An Analysis and Review
: In this article we analyze the current state of case-based plan adaptation research. We include the traditional distinction between transformational and derivational analogy but ...
Héctor Muñoz-Avila, Michael T. Cox
IJAR
2008
119views more  IJAR 2008»
15 years 6 months ago
Adapting Bayes network structures to non-stationary domains
When an incremental structural learning method gradually modifies a Bayesian network (BN) structure to fit observations, as they are read from a database, we call the process stru...
Søren Holbech Nielsen, Thomas D. Nielsen