940 search results - page 66 / 188 » Local rely-guarantee reasoning |
158
Voted
SIAMCO
2011
14 years 10 months ago
2011
The choice of admissible trading strategies in mathematical modelling of financial markets is a delicate issue, going back to Harrison and Kreps [HK79]. In the context of optimal...
107
click to vote
FLAIRS
2001
15 years 4 months ago
2001
Weintroducea formalcontext mechanism,embeddedinto a descriptionlogicsframework,whichis ableto uniformly represent and managedifferent formsof ambiguitiesas theyoccurin the courseo...
116
click to vote
JETAI
2008
15 years 3 months ago
2008
Abstract. This paper describes a proof search procedure for propositional nonclausal resolution based on a new weighting strategy that utilizes search methods for propositional sat...
226
click to vote
LMCS
2006
15 years 3 months ago
2006
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps ...
142
click to vote
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
A key problem in widely distributed camera networks is geolocating the cameras. This paper considers three scenarios for camera localization: localizing a camera in an unknown env...