6527 search results - page 54 / 1306 » On Typing Information Flow |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Differential privacy is a notion of privacy that has become very popular in the database community. Roughly, the idea is that a randomized query mechanism provides sufficient priva...
CVPR
2003
IEEE
14 years 9 months ago
2003
IEEE
Producing an accurate motion flow field is very difficult at motion boundaries. We present a novel, noniterative approach for segmentation from image motion, based on two voting p...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We have been witnessing an explosion of user involvement in knowledge creation, publication and access both from within and between organisations. This is partly due to t...
ISPDC
2006
IEEE
14 years 1 months ago
2006
IEEE
Recently, we have proposed a comprehensive agent-based e-commerce system. While UML formalized, it lacked details how basic functions – e.g. user request to purchase a given pro...