Membrane Computing
14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers
Page
%P
3,410 Result(s)
within
Madhu Sudan
-
Article
Open AccessStreaming approximation resistance of every ordering CSP
An ordering constraint satisfaction problem (OCSP) is defined by a family \(\mathcal F\) F ...
-
Article
Communication with Contextual Uncertainty
We introduce a simple model illustrating the utility of context in compressing communication and the challenge posed by uncertainty of knowledge of context. We consider a variant of distributional communication c...
-
Article
Sparse affine-invariant linear codes are locally testable
We show that sparse affine-invariant linear properties over arbitrary finite fields are locally testable with a constant number of queries. Given a finite field
-
Article
Deterministic Compression with Uncertain Priors
Communication in “natural” settings, e.g., between humans, is distinctly different from that in classical designed settings, in that the former is invariably characterized by the sender and receiver not being ...
-
Book and Conference Proceedings
-
Book and Conference Proceedings
Social Computing, Behavioral-Cultural Modeling and Prediction
7th International Conference, SBP 2014, Washington, DC, USA, April 1-4, 2014. Proceedings
-
Book and Conference Proceedings
Performance Characterization and Benchmarking
5th TPC Technology Conference, TPCTC 2013, Trento, Italy, August 26, 2013, Revised Selected Papers
-
Book and Conference Proceedings
Foundations of Software Science and Computation Structures
17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
-
Book and Conference Proceedings
Theory and Applications of Formal Argumentation
Second International Workshop, TAFA 2013, Bei**g, China, August 3-5, 2013, Revised Selected papers
-
Book and Conference Proceedings
Distributed Computing and Networking
15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedings
-
Book and Conference Proceedings
Tools and Algorithms for the Construction and Analysis of Systems
20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
-
Book and Conference Proceedings
Architecture of Computing Systems – ARCS 2014
27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings
-
Book and Conference Proceedings
Public Key Infrastructures, Services and Applications
10th European Workshop, EuroPKI 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers
-
Book and Conference Proceedings
Mobile Social Signal Processing
First International Workshop, MSSP 2010, Lisbon, Portugal, September 7, 2010, Invited Papers
-
Book
-
Book and Conference Proceedings
SOFSEM 2014: Theory and Practice of Computer Science
40th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings
-
Book and Conference Proceedings
Verification, Model Checking, and Abstract Interpretation
15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
-
Book
-
Book and Conference Proceedings
Privacy Technologies and Policy
First Annual Privacy Forum, APF 2012, Limassol, Cyprus, October 10-11, 2012, Revised Selected Papers
-
Book and Conference Proceedings
Mathematical Methods for Curves and Surfaces
8th International Conference, MMCS 2012, Oslo, Norway, June 28 – July 3, 2012, Revised Selected Papers
