4224 search results - page 180 / 845 » Reasoning about Choice |
178
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
209
click to vote
IJCAI
2003
15 years 8 months ago
2003
In fields such as medicine, geography, and mechanics, spatial reasoning involves reasoning about entities—for example cavities and invading particles—that may coincide without...
184
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. A meta-program is a program that generates or manipulates another program; in homogeneous meta-programming, a program may generate new parts of, or manipulate, itself. Me...
160
click to vote
CMOT
1999
15 years 6 months ago
1999
We propose a class of actor-oriented statistical models for closed social networks in general, and friendship networks in particular. The models are random utility models develope...
371
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....