1638 search results - page 22 / 328 » Properties of input-consuming derivations |
IJCAI
2003
14 years 11 months ago
2003
This paper compares alternative approaches to pose estimation using visual cues from the environment. We examine approaches that derive pose estimates from global image properties...
ASWEC
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
ICMCS
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper, we propose novel image-derived features for image indexing and retrieval in digital library applications. The new features capture the intrinsic geometry and color ...
ICFP
2007
ACM
15 years 9 months ago
2007
ACM
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...
172
click to vote
SIGMOD
2005
ACM
15 years 10 months ago
2005
ACM
Randomization has emerged as a useful technique for data disguising in privacy-preserving data mining. Its privacy properties have been studied in a number of papers. Kargupta et ...