default search action
ICCSW 2013: London, United Kingdom
- Andrew V. Jones, Nicholas Ng:
2013 Imperial College Computing Student Workshop, ICCSW 2013, September 26/27, 2013, London, United Kingdom. OASIcs 35, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2013, ISBN 978-3-939897-63-7 - Frontmatter, Table of Contents, Preface, Conference Organization.
- Tony Hoare:
Laws of programming with concurrency (Invited Talk). 1-1 - Peter Norvig:
Building Better Online Courses (Invited Talk). 2-2 - Theofanis Apostolopoulos:
A swarm based heuristic for sparse image recovery. 3-10 - Raul Castro Fernandez, Matteo Migliavacca, Evangelia Kalyvianaki, Peter R. Pietzuch:
Scalable and Fault-tolerant Stateful Stream Processing. 11-18 - Stefan Ellmauthaler:
Generalizing Multi-Context Systems for Reactive Stream Reasoning Applications. 19-26 - Valentina Fedorova, Alex Gammerman, Ilia Nouretdinov, Vladimir Vovk:
Conformal Prediction under Hypergraphical Models. 27-34 - Manoel V. M. França, Artur S. d'Avila Garcez, Gerson Zaverucha:
Relational Knowledge Extraction from Attribute-Value Learners. 35-42 - Bas van Gijzel:
Tools for the implementation of argumentation models. 43-48 - Sardar F. Jaf, Allan Ramsay:
Towards the Development of a Hybrid Parser for Natural Languages. 49-56 - Maria Kechagia, Dimitris Mitropoulos, Diomidis Spinellis:
Improving the quality of APIs through the analysis of software crash reports. 57-64 - Xin Lu, Graham R. Martin:
Fast Implementation of the Scalable Video Coding Extension of the H.264/AVC Standard. 65-72 - Xin Lu, Graham R. Martin:
Improved Rate Control Algorithm for Scalable Video Coding. 73-81 - Fan-Lin Meng, Xiao-Jun Zeng:
An Optimal Real-time Pricing Algorithm for the Smart Grid: A Bi-level Programming Approach. 81-88 - Leo de Penning, Artur S. d'Avila Garcez, John-Jules Ch. Meyer:
Dreaming Machines: On multimodal fusion and information retrieval using neural-symbolic cognitive agents. 89-94 - Quoc-Sang Phan:
Self-composition by Symbolic Execution. 95-102 - Lei Shi, Malik Shahzad Kaleem Awan, Alexandra I. Cristea:
Evaluation of Social Personalized Adaptive E-Learning Environments: End-User Point of View. 103-110 - Ionut Tutu:
Logical Foundations of Services. 111-118 - Tim Wood, Sophia Drossopoulou:
Refactoring Boundary. 119-127 - Hu Xu, Karen E. Petrie, Iain R. Murray:
Using Self-learning and Automatic Tuning to Improve the Performance of Sexual Genetic Algorithms for Constraint Satisfaction Problems. 128-135 - Ali Mustafa Zaidi, David J. Greaves:
Achieving Superscalar Performance without Superscalar Overheads - A Dataflow Compiler IR for Custom Computing. 136-143 - Huanzhou Zhu, Ligang He:
A Graph based approach for Co-scheduling jobs on Multi-core computers. 144-151
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.