2989 search results - page 239 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
180
click to vote
TSE
2002
15 years 6 months ago
2002
Although there has been recent research into ways to design environments that enable end users to create their own programs, little attention has been given to helping these end u...
178
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
129
click to vote
AIL
2007
15 years 6 months ago
2007
One of the major problems in the implementation of the precautionary principle in environmental cases is the estimation of the weight of evidence. In this paper we propose a forma...
184
click to vote
TSP
2008
15 years 6 months ago
2008
Graphical models provide a powerful formalism for statistical signal processing. Due to their sophisticated modeling capabilities, they have found applications in a variety of fie...
164
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...