1959 search results - page 21 / 392 » Concerned About Separation |
ENTCS
2007
14 years 11 months ago
2007
We present local Hoare reasoning about data update, using Context Logic for analysing structured data. We apply our reasoning to tree update, heap update which is analogous to loc...
ESANN
2004
15 years 1 months ago
2004
This work explains a method for blind separation of a linear mixture of sources, through geometrical considerations concerning the scatter plot. This method is applied to a mixture...
ESANN
2003
15 years 1 months ago
2003
- A test bed of experiments with real and artificially generated data has been designed to compare the performance of three well-known algorithms for BSS. The main goal of these ex...
101
click to vote
TPHOL
2008
IEEE
15 years 6 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...
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Military training and testing events are highly complex affairs, potentially involving dozens of legacy systems that need to interoperate in a meaningful way. There are s...