1422 search results - page 75 / 285 » Complementation in Abstract Interpretation |
135
Voted
PUC
2010
15 years 3 months ago
2010
Abstract The in-house monitoring of elders using intelligent sensors is a very desirable service that has the potential of increasing autonomy and independence while minimizing the...
153
click to vote
DATESO
2010
15 years 2 months ago
2010
Abstract. Tandem mass spectrometry is a widely used method for protein and peptide sequences identification. Since the mass spectra contain up to 80% of noise and many other inaccu...
129
click to vote
LOPSTR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper aims at offering an insightful synthesis of different compositional semantics for logic program composition which have been developed in the literature. In p...
252
Voted
POPL
2005
ACM
16 years 5 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
142
click to vote
CISS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—The Dantzig selector is a recently introduced technique for near-optimal estimatation of sparse signals from a limited set of measurements. This paper offers an interpre...