1788 search results - page 188 / 358 » Model Theory for Process Algebra |
168
Voted
LICS
2012
IEEE
13 years 6 months ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
143
Voted
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
120
click to vote
ICANN
2005
Springer
15 years 9 months ago
2005
Springer
While synaptic learning mechanisms have always been a core topic of neural computation research, there has been relatively little work on intrinsic learning processes, which change...
125
Voted
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
Social judgment is a process of social explanation whereby one identifies which entities deserve credit or blame for multiagent activities. Such explanations are a key aspect of i...
297
Voted
Book
This is a great draft book about stochastic calculus and finance. It covers large number of topics such as Introduction to Probability Theory, Conditional Expectation, Arbitrage Pr...