Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDICCSW 2011: London, United Kingdom
- Andrew V. Jones:
2011 Imperial College Computing Student Workshop, ICCSW 2011, London, United Kingdom, September 29-30, 2011. Proceedings. Department of Computing Technical Report DTR11-9, Imperial College London 2011
Preface
- Frontmatter, Conference Organisation & Table of Contents.
Keynote Talks
- Ollie Cook:
Building and Operating Products at Google-scale. 1 - Robert A. Kowalski:
Artificial Intelligence and Human Thinking. 2
Accepted Papers
- Ekaterina Abramova, Aldo Faisal, Daniel Kuhn:
Combining Markov Decision Processes with Linear Optimal Controllers. 3-9 - Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer:
Neural-Symbolic Cognitive Agents: Architecture and Theory. 10-16 - Marco Diciolla:
Time-Bounded Verification of CTMCs against MTL specifications. 17-23 - Marcel C. Guenther, Jeremy T. Bradley:
MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling tool. 24-30 - Evgenios Hadjisoteriou, Antonis C. Kakas:
Argumentation and Temporal Persistence. 31-38 - Bihan Jiang, Michel F. Valstar, Maja Pantic:
Facial Action Recognition using sparse appearance descriptors and their pyramid representations. 39-45 - Björn Lellmann:
A note on a dichotomy for the classes W[P](C). 46-51 - Alex Muscar:
Agent Oriented Programming: from Revolution to Evolution. 52-58 - Alan Perotti, Guido Boella, Dov M. Gabbay, Leon van der Torre, Serena Villata:
Conditional Labelling for Abstract Argumentation. 59-65 - Luke Riley:
A Persuasive Dialogue Game for Coalition Formation. 66-72 - Pedro Rodrigues, Emil Lupu:
Model-based Self-Adaptive Components: A preliminary approach. 73-72 - Reuben N. S. Rowe:
Safe, Flexible Recursive Types for Featherweight Java. 80-86 - Mark Snaith, Chris Reed:
Measuring minimal change in argument premise revision. 87-93 - Nikolaos Triantafyllou, Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos:
Applying Algebraic Specifications on Digital Right Management Systems. 94-100 - Iryna Tsimashenka, William J. Knottenbelt:
Reduction of variability in split-merge systems. 101-107 - Phil Weber, Behzad Bordbar, Peter Tiño:
Real-Time Detection of Process Change using Process Mining. 108-114
a service of 
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.
last updated on 2024-08-20 20:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
