|
Conferences in DBLP
(bcs) 2008 (conf/bcs/2008)
Keynote: Internet Evolution. [Citation Graph (, )][DBLP]
Keynote: A Vision for the Science of Computing. [Citation Graph (, )][DBLP]
A Vision of the Next Generation Internet: A Policy Oriented Perspective. [Citation Graph (, )][DBLP]
Keynote: The Space and Motion of Large Informatic Systems. [Citation Graph (, )][DBLP]
Brain-Like Approximate Reasoning. [Citation Graph (, )][DBLP]
Developing Knowledge-Based Systems using the Semantic Web. [Citation Graph (, )][DBLP]
Web Engineering Revisited. [Citation Graph (, )][DBLP]
Contexts for Human Action. [Citation Graph (, )][DBLP]
Dynamic Neighbourhood Cellular Automata. [Citation Graph (, )][DBLP]
Computing a Longest Increasing Subsequence of Length k in Time O(n log log k). [Citation Graph (, )][DBLP]
A Hardware Relaxation Paradigm for Solving NP-Hard Problems. [Citation Graph (, )][DBLP]
Automation of the Complete Sample Management in a Biotech Laboratory. [Citation Graph (, )][DBLP]
Beatbox - A Computer Simulation Environment for Computational Biology of the Heart. [Citation Graph (, )][DBLP]
Events, Causality and Symmetry. [Citation Graph (, )][DBLP]
Modal Logics are Coalgebraic. [Citation Graph (, )][DBLP]
Provenance-Based Auditing of Private Data Use. [Citation Graph (, )][DBLP]
Distributed Defence Against Denial of Service Attacks: A Practical View. [Citation Graph (, )][DBLP]
On Using Physical Analogies for Feature and Shape Extraction in Computer Vision. [Citation Graph (, )][DBLP]
Improved SIFT-Features Matching for Object Recognition. [Citation Graph (, )][DBLP]
Spontaneous Pain Expression Recognition in Video Sequences. [Citation Graph (, )][DBLP]
Incremental Connectivity-Based Outlier Factor Algorithm. [Citation Graph (, )][DBLP]
Fast Estimation of Nonparametric Kernel Density Through PDDP, and its Application in Texture Synthesis. [Citation Graph (, )][DBLP]
On the Complexity of Parity Games. [Citation Graph (, )][DBLP]
Subject Reduction vs Intersection. [Citation Graph (, )][DBLP]
A Unified Theory of Program Logics: An Approach based on the n-Calculus. [Citation Graph (, )][DBLP]
Component-Based Description of Programming Languages. [Citation Graph (, )][DBLP]
Hardware Dependability in the Presence of Soft Errors. [Citation Graph (, )][DBLP]
Compiling C-like Languages to FPGA Hardware: Some Novel Approaches Targeting Data Memory Organisation. [Citation Graph (, )][DBLP]
On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study. [Citation Graph (, )][DBLP]
A Customisable Multiprocessor for Application-Optimised Inductive Logic Programming. [Citation Graph (, )][DBLP]
Implications of Electronics Technology Trends to Algorithm Design. [Citation Graph (, )][DBLP]
Adaptive Random Re-Routing for Differentiated QoS in Sensor Networks. [Citation Graph (, )][DBLP]
Two-Tier, Location-Aware and Highly Resilient Key Predistribution Scheme for Wireless Sensor Networks. [Citation Graph (, )][DBLP]
Tools for Traceable Security Verification. [Citation Graph (, )][DBLP]
Overcoming Software Fragility with Interacting Feedback Loops and Reversible Phase Transitions. [Citation Graph (, )][DBLP]
Object representatives: a uniform abstraction for pointer information. [Citation Graph (, )][DBLP]
Grand Challenge 7: Journeys in Non-Classical Computation. [Citation Graph (, )][DBLP]
|