Sciweavers

24 search results - page 3 / 5
» Pragmatics: From Theory to Experiment and Back Again
Sort
View
ECSCW
1997
13 years 7 months ago
Plans as Situated Action: An Activity Theory Approach to Workflow Systems
: Within the community of CSCW the notion and nature of workflow systems as prescriptions of human work has been debated and criticised. Based on the work of Suchman (1987) the not...
Jakob Bardram
CSFW
2011
IEEE
12 years 5 months ago
Regret Minimizing Audits: A Learning-Theoretic Basis for Privacy Protection
Abstract—Audit mechanisms are essential for privacy protection in permissive access control regimes, such as in hospitals where denying legitimate access requests can adversely a...
Jeremiah Blocki, Nicolas Christin, Anupam Datta, A...
CORR
2010
Springer
162views Education» more  CORR 2010»
13 years 4 months ago
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
Silvio Ghilardi, Silvio Ranise
ECCV
2006
Springer
13 years 9 months ago
Wavelet-Based Super-Resolution Reconstruction: Theory and Algorithm
We present an analysis and algorithm for the problem of super-resolution imaging, that is the reconstruction of HR (high-resolution) images from a sequence of LR (lowresolution) im...
Hui Ji, Cornelia Fermüller
CIVR
2008
Springer
114views Image Analysis» more  CIVR 2008»
13 years 7 months ago
World-scale mining of objects and events from community photo collections
In this paper, we describe an approach for mining images of objects (such as touristic sights) from community photo collections in an unsupervised fashion. Our approach relies on ...
Till Quack, Bastian Leibe, Luc J. Van Gool