796 search results - page 22 / 160 » An Overview of Separation Logic |
CIE
2010
Springer
14 years 2 months ago
2010
Springer
This paper is an informal (and nonexhaustive) overview over some existing notions of proof nets for classical logic, and gives some hints why they might be considered to be unsatis...
CVIU
2007
13 years 9 months ago
2007
Markerless vision-based human motion analysis has the potential to provide an inexpensive, non-obtrusive solution for the estimation of body poses. The significant research effo...
IDA
2009
Springer
2009
Springer
The 2008 Signal Separation Evaluation Campaign: A Community-Based Approach to Large-Scale Evaluation
14 years 4 months ago
Abstract. This paper introduces the first community-based Signal Separation Evaluation Campaign (SiSEC 2008), coordinated by the authors. This initiative aims to evaluate source s...
VLSISP
2002
13 years 9 months ago
2002
This paper addresses a method of blind source separation that jointly exploits the nonstationarity and temporal structure of sources. The method needs only multiple time-delayed co...
POPL
2004
ACM
14 years 10 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...