3228 search results - page 506 / 646 » Computationally Sound Proofs |
TCS
2010
13 years 7 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
FOCS
2010
IEEE
13 years 7 months ago
2010
IEEE
We study differential privacy in a distributed setting where two parties would like to perform analysis of their joint data while preserving privacy for both datasets. Our results ...
ICIP
2010
IEEE
13 years 7 months ago
2010
IEEE
When comparing 2D shapes, a key issue is their normalization. Translation and scale are easily taken care of by removing the mean and normalizing the energy. However, defining and...
ICSOC
2010
Springer
13 years 6 months ago
2010
Springer
We promote the use of transactional attributes for modelling business processes in the service-oriented scenario. Transactional attributes have been introduced in Enterprise JavaBe...
ICCV
2009
IEEE
13 years 6 months ago
2009
IEEE
This paper investigates a new learning formulation called dynamic group sparsity. It is a natural extension of the standard sparsity concept in compressive sensing, and is motivat...