Sciweavers

1805 search results - page 54 / 361
» A Theory of Closure Operators
Sort
View
ICISP
2010
Springer
15 years 7 months ago
Total Variation Minimization with Separable Sensing Operator
Compressed Imaging is the theory that studies the problem of image recovery from an under-determined system of linear measurements. One of the most popular methods in this field i...
Serge L. Shishkin, Hongcheng Wang, Gregory S. Hage...
SODA
2007
ACM
76views Algorithms» more  SODA 2007»
15 years 5 months ago
An unbiased pointing operator for unlabeled structures, with applications to counting and sampling
We introduce a general method to count and randomly sample unlabeled combinatorial structures. The approach is based on pointing unlabeled structures in an “unbiased” way, i.e...
Manuel Bodirsky, Éric Fusy, Mihyun Kang, St...
ISMIS
1994
Springer
15 years 8 months ago
Reasoning About the Safety of Information: From Logical Formalization to Operational Definition
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
Laurence Cholvy, Robert Demolombe, Andrew J. I. Jo...
VL
1991
IEEE
183views Visual Languages» more  VL 1991»
15 years 7 months ago
The Conceptual Programming Environment, CP: Reasoning Representation using Graph Structures and Operations
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...
Heather Pfeiffer, Roger T. Hartley
JCT
2010
58views more  JCT 2010»
15 years 2 months ago
Map operations and k-orbit maps
A k-orbit map is a map with k flag-orbits under the action of its automorphism group. We give a basic theory of k-orbit maps and classify them up to k 4. “Hurwitz-like” upper...
Alen Orbanic, Daniel Pellicer, Asia Ivic Weiss