公開日 Adaptive Run-Length / Golomb-Rice Encoding of Quantized Generalized Gaussian Sources with Unknown Statistics Henrique S. Malvar Data Compression Conference | March 2006
公開日 Mesh analysis using geodesic mean-shift Ariel Shamir, Lior Shapira, Daniel Cohen-Or Visual Computer | February 2006, 巻22: pp. 99-108
公開日 Action Machines: a Framework for Encoding and Composing Partial Behaviors Wolfgang Grieskamp, Nikolai Tillmann, Nicolas Kicillof MSR-TR-2006-11 | February 2006
公開日 A Schema Language for Coordinating Construction and Composition of Partial Behavior Descriptions Wolfgang Grieskamp, Nicolas Kicillof MSR-TR-2006-13 | February 2006
公開日 An Efficient Key Scheme for Multiple Access of JPEG 2000 and Motion JPEG 2000 Enabling Truncations Yang Yang, Bin Benjamin Zhu, Shipeng Li IEEE Consumer Communications and Networking Conference | January 2006
公開日 Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method Santiago Zanella-Béguelin 2nd International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005 | January 2006 2nd International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005
公開日 The Forgetron: A Kernel-Based Perceptron on a Fixed Budget Ofer Dekel, Shai Shalev-Shwartz, Yoram Singer Advances in Neural Information Processing Systems 18 | January 2006
公開日 Automatic Property Checking for Software: Past, Present and Future Sriram Rajamani Proceedings of the 4th International Conference on Software Engineering and Formal Methods (SEFM) | January 2006 Proceedings of the 4th International Conference on Software Engineering and Formal Methods (SEFM)