default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBCS International Academic Conference 2008: London, UK
- Erol Gelenbe, Samson Abramsky, Vladimiro Sassone:
Visions of Computer Science - BCS International Academic Conference, Imperial College, London, UK, 22-24 September 2008. British Computer Society 2008
Session 1: AI and Semantic Web
- Subharthi Paul, Raj Jain, Jianli Pan, Mic Bowman:
A Vision of the Next Generation Internet: A Policy Oriented Perspective. 1-14 - Andrzej W. Przybyszewski:
Brain-Like Approximate Reasoning. 15-28 - David Corsar, Derek H. Sleeman:
Developing Knowledge-Based Systems using the Semantic Web. 29-40 - Erik Wilde, Martin Gaedke:
Web Engineering Revisited. 41-50 - Graham White:
Contexts for Human Action. 51-59
Session 2: Automata and Algorithms
- Stefan S. Dantchev:
Dynamic Neighbourhood Cellular Automata. 60-68 - Maxime Crochemore, Ely Porat:
Computing a Longest Increasing Subsequence of Length k in Time O(n log log k). 69-74 - Paul Cockshott, Andreas Koltes, John T. O'Donnell, Patrick Prosser, Wim Vanderbauwhede:
A Hardware Relaxation Paradigm for Solving NP-Hard Problems. 75-86
Session 3: Medical and Bioinformatics
- Martin Wojtczyk, Michael Marszalek, Alois C. Knoll, Rüdiger Heidemann, Klaus Joeris, Chun Zhang, Mark Burnett, Tom Monica:
Automation of the Complete Sample Management in a Biotech Laboratory. 87-97 - Ross McFarlane, Irina V. Biktasheva:
Beatbox - A Computer Simulation Environment for Computational Biology of the Heart. 98-110
Session 4: Logics and Foundations of Computation
- Glynn Winskel:
Events, Causality and Symmetry. 111-127 - Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema:
Modal Logics are Coalgebraic. 128-140
Session 5: Decentralised and Complex Systems
- Rocío Aldeco-Pérez, Luc Moreau:
Provenance-Based Auditing of Private Data Use. 141-152 - Gülay Öke, Georgios Loukas:
Distributed Defence Against Denial of Service Attacks: A Practical View. 153-162
Session 6: Computer Vision and Pattern Recognition
- Tony Hoare:
Keynote: A Vision for the Science of Computing. 1-29 - Mark S. Nixon, Cem Direkoglu, Xin U. Liu, David J. Hurley:
On Using Physical Analogies for Feature and Shape Extraction in Computer Vision. 163-177 - Faraj Alhwarin, Chao Wang, Danijela Ristic-Durrant, Axel Gräser:
Improved SIFT-Features Matching for Object Recognition. 178-190 - Zakia Hammal, Miriam Kunz, Martin Arguin, Frédéric Gosselin:
Spontaneous Pain Expression Recognition in Video Sequences. 191-210 - Dragoljub Pokrajac, Natasa Reljin, Nebojsa Pejcic, Aleksandar Lazarevic:
Incremental Connectivity-Based Outlier Factor Algorithm. 211-224 - Arnab Sinha, Sumana Gupta:
Fast Estimation of Nonparametric Kernel Density Through PDDP, and its Application in Texture Synthesis. 225-236
Session 7: Foundations
- Arnold Beckmann, Faron Moller:
On the Complexity of Parity Games. 237-248 - Steffen van Bakel:
Subject Reduction vs Intersection. 249-258 - Kohei Honda, Nobuko Yoshida:
A Unified Theory of Program Logics: An Approach based on the n-Calculus. 259-274 - Peter D. Mosses:
Component-Based Description of Programming Languages. 275-286 - Peter Van Roy:
Overcoming Software Fragility with Interacting Feedback Loops and Reversible Phase Transitions. 379-390
Session 8: Computer Architecture and Digital Systems
- Ashish Darbari, Bashir M. Al-Hashimi:
Hardware Dependability in the Presence of Soft Errors. 287-294 - Qiang Liu, George A. Constantinides, Konstantinos Masselos, Peter Y. K. Cheung:
Compiling C-like Languages to FPGA Hardware: Some Novel Approaches Targeting Data Memory Organisation. 295-304 - Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi:
On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study. 305-317 - Andreas Fidjeland, Wayne Luk, Stephen H. Muggleton:
A Customisable Multiprocessor for Application-Optimised Inductive Logic Programming. 318-330 - Daniel Greenfield, Simon W. Moore:
Implications of Electronics Technology Trends to Algorithm Design. 331-342
Session 9: Networks
- Vinton G. Cerf:
Keynote: Internet Evolution. 1-36 - Erol Gelenbe, Edith C. H. Ngai:
Adaptive Random Re-Routing for Differentiated QoS in Sensor Networks. 343-354 - Abdülhakim Ünlü, Albert Levi:
Two-Tier, Location-Aware and Highly Resilient Key Predistribution Scheme for Wireless Sensor Networks. 355-366
Session 10: Programming languages
- Jan Jürjens, Yijun Yu, Andreas Bauer:
Tools for Traceable Security Verification. 367-390 - Eric Bodden, Patrick Lam, Laurie J. Hendren:
Object representatives: a uniform abstraction for pointer information. 391-405
Session 11: Grand challenges
- Robin Milner:
Keynote: The Space and Motion of Large Informatic Systems. 1-79 - Susan Stepney, Samson Abramsky, Andy Adamatzky, Colin G. Johnson, Jon Timmis:
Grand Challenge 7: Journeys in Non-Classical Computation. 407-421
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 2025-01-16 21:50 CET 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:
