4209 search results - page 382 / 842 » Abstract Dialectical Frameworks |
170
click to vote
IANDC
2008
15 years 6 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
175
click to vote
IJON
2006
15 years 6 months ago
2006
Ensembles of learning machines have been formally and empirically shown to outperform (generalise better than) single predictors in many cases. Evidence suggests that ensembles ge...
169
click to vote
JISE
2006
15 years 6 months ago
2006
formation driven paradigm that tends to fail in capturing suitable abstraction when developing conference-oriented telemedicine systems for assisting the proceeding of telemedicine...
188
click to vote
JUCS
2006
15 years 6 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
177
click to vote
TIP
2008
15 years 6 months ago
2008
Abstract--In this paper, we propose a natural framework that allows any region-based segmentation energy to be re-formulated in a local way. We consider local rather than global im...