4460 search results - page 438 / 892 » Formal methods for interactive systems |
167
click to vote
AGI
2008
15 years 8 months ago
2008
Rich computer simulations or quantitative models can enable an agent to realistically predict real-world behavior with precision and performance that is difficult to emulate in log...
185
click to vote
COLING
1996
15 years 8 months ago
1996
We address here the treatment of metonymic expressions from a knowledge representation perspective, that is, in the context of a text understanding system which aims to build a co...
201
Voted
INFORMATICALT
2008
15 years 6 months ago
2008
In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components....
176
click to vote
PE
2000
Springer
15 years 6 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
179
click to vote
AAAI
2011
14 years 6 months ago
2011
Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learning—without human interventionâ...