1855 search results - page 23 / 371 » Composing model programs for analysis |
IJCAI
2001
13 years 11 months ago
2001
In a rational programming language, a program specifies a situation faced by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the...
CIDR
2003
13 years 11 months ago
2003
Model management is a new approach to meta data management that offers a higher level programming interface than current techniques. The main abstractions are models (e.g., schema...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
This paper proposes a Probability weighted ARX (PrARX) model wherein the multiple ARX models are composed by the probabilistic weighting functions. As the probabilistic weighting f...
Book
"This book is about data structures and algorithms, intermediate programming in Python, complexity science and the philosophy of science"
CAV
2008
Springer
13 years 11 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...