Sciweavers

529 search results - page 33 / 106
» Causal Time Calculus
Sort
View
SPATIALCOGNITION
2004
Springer
14 years 2 months ago
Branching Allen
Allen’s interval calculus is one of the most prominent formalisms in the domain of qualitative spatial and temporal reasoning. Applications of this calculus, however, are restric...
Marco Ragni, Stefan Wölfl
PE
2007
Springer
87views Optimization» more  PE 2007»
13 years 8 months ago
Understanding the simulation of mobility models with Palm calculus
The simulation of mobility models such as the random waypoint often cause subtle problems, for example the decay of average speed as the simulation progresses, a difference betwee...
Jean-Yves Le Boudec
IFIP
2010
Springer
13 years 3 months ago
A Calculus for the Analysis of Wireless Network Security Protocols
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...
Francesco Ballardin, Massimo Merro

Book
3101views
15 years 7 months ago
Steven Shreve: Stochastic Calculus and Finance
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...
Prasad Chalasani, Somesh Jha
DALT
2009
Springer
14 years 2 days ago
Social Commitments in Time: Satisfied or Compensated
Abstract. We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We...
Paolo Torroni, Federico Chesani, Paola Mello, Marc...