Kiril Simov

31 published titles

Proceedings of the Workshop on Exploring Syntactically Annotated Corpora, 14th July 2005 : held in conjunction with the Corpus Linguistics 2005 conference, University of Birmingham, 14-17 July 2005

(Contributor)

1 edition

Proceedings of ERTSI 2005 : Embedded Real-time Systems Implementation Workshop held in conjunction with 26th IEEE International Real-time Systems Symposium, 5-8 December 2005

(Contributor)

1 edition

Symposium on concurrency, real-time, and distribution in Eiffel-like languages : proceedings 4-5 July 2006 York, United Kingdom

(Contributor)

1 edition

Human error analysis for collaborative work

(Contributor)

1 edition

Neural networks as artificial memories for association rule mining

(Contributor)

1 edition

Using safety contracts in the development of safety critical object-oriented systems

(Contributor)

1 edition

Fixed-priority scheduling algorithms with multiple objectives in hard real-time systems

(Contributor)

1 edition

Spectral methods for computer vision problems

(Contributor)

1 edition

Surface shape and reflectance analysis using polarisation

(Contributor)

1 edition

Worst-case and best-case timing analysis for real-time embedded systems with limited parallelism

(Contributor)

1 edition

Design of experiments for the tuning of optimisation algorithms

(Contributor)

1 edition

Managing the evolution of dependability cases for systems of systems

(Contributor)

1 edition

The graph programming language GP

(Contributor)

1 edition

Ensuring safety of systems of systems : a policy-based approach

(Contributor)

1 edition

A search-based framework for security protocol synthesis

(Contributor)

1 edition

Searching for quantum software

(Contributor)

1 edition

Statistical methods for facial shape-from-shading and recognition

(Contributor)

1 edition

Heat kernel analysis on graphs

(Contributor)

1 edition

Architectural reasoning for safety-critical software applications

(Contributor)

1 edition

Advanced techniques for personalized, interactive question answering

(Contributor)

1 edition

e-CF : a framework for exploring online consumer behaviour

(Contributor)

1 edition

Using simulation for systems of systems hazard analysis

(Contributor)

1 edition

A framework for designing multi-level emergence

(Contributor)

1 edition

Garbage collection for flexible hard real-time systems

(Contributor)

1 edition

Workshop on towers of models co-located with TOOLS Europe : proceedings

(Contributor)

1 edition

Worst-case execution time analysis for dynamic branch predictors

(Contributor)

1 edition

Exploring emotional web experience : more than just usability and good design

(Contributor)

1 edition

Unsupervised concept hierarchy induction : learning the semantics of words

(Contributor)

1 edition

Persuasive computer dialogue improving human-computer communication

(Contributor)

1 edition

Statistical approaches to gender classification in the surface normal domain

(Contributor)

1 edition

A verified compiler for Handel-C

(Contributor)

1 edition