1300 search results - page 90 / 260 » Probabilistic logic with independence |
ESOP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...
CORR
2002
Springer
13 years 8 months ago
2002
Springer
Abstract. The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory a...
JSYML
2000
13 years 8 months ago
2000
The choice construct (choose x : '(x)) is useful in software speci cations. We study extensions of rst-order logic with the choice construct. We prove some results about Hilb...
ICIP
2007
IEEE
14 years 10 months ago
2007
IEEE
We present a novel approach for non-stationarity detection in natural images by exploiting the prior knowledge of the independent component structure of scene statistics. Our prop...
MOBIHOC
2004
ACM
14 years 8 months ago
2004
ACM
Caching Internet based services is a potentially important application for MANETs, as it can improve mobile users' perceived quality of service, reduce their energy consumpti...