124 views168 votes15 years 10 months ago ASP 2003»
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
143 views124 votes15 years 10 months ago ATAL 2003»
One approach to agent communication is to insist that agents not only send messages, but support them with reasons why those messages are appropriate. This is argumentation-based c...
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
126 views131 votes15 years 10 months ago DSVIS 2003»
A new discipline, Usability Design, is proposed as an extension to Rational Unified Process (RUP). The aim is to make RUP more user-centred. The discipline springs out of best prac...
113 views134 votes15 years 10 months ago FCT 2003»
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
121 views170 votes15 years 10 months ago GECCO 2003»
Intermediate measurements in quantum circuits compare to conditional branchings in programming languages. Due to this, quantum circuits have a natural linear-tree structure. In thi...
137 views127 votes15 years 10 months ago ICANN 2003»
A system for traffic sign recognition has been developed. Both colour and shape information from signs are utilised for extraction of features. Colour appearance model CIECAM97 has...
105 views151 votes15 years 10 months ago ICCS 2003»
Abstract. This paper introduces a model for simulating regulatory networks that is capable of reproducing spatial and temporal expression patterns in developmental processes. The m...
105 views143 votes15 years 10 months ago IS4TH 2003»
Realistic mechanical models of biological soft tissues are a key issue to allow the implementation of reliable systems to aid on orthopedic diagnosis and surgery planning. We are w...