634 search results - page 25 / 127 » Separability in the Ambient Logic |
103
Voted
CSL
2008
Springer
15 years 2 months ago
2008
Springer
We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify pr...
APGV
2009
ACM
15 years 7 months ago
2009
ACM
An inadequately designed display viewed in the dark can easily cause dazzling glare and affect our night vision. In this paper we test a display design in which the spectral light...
84
Voted
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...
115
click to vote
TPHOL
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. Lightweight separation is a novel approach to automatic reasoning about memory updates in pointer programs. It replaces the spatial formulae of separation logic, which co...
102
Voted
ICIP
2009
IEEE
14 years 10 months ago
2009
IEEE
The paper presents an efficient and reliable approach to automatic people segmentation, tracking and counting, designed for a system with an overhead mounted (zenithal) camera. Up...