9989 search results - page 1561 / 1998 » A CLP Approach to Modelling Systems |
186
click to vote
DAIS
2006
15 years 8 months ago
2006
This paper describes a novel approach to fault-tolerance in distributed object-based systems. It uses the fragmented-object model to integrate replication mechanisms into distribut...
180
click to vote
FORTE
2004
15 years 8 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
227
click to vote
GRAPHICSINTERFACE
2004
15 years 8 months ago
2004
In this paper, a novel hybrid algorithm is presented for the fast construction and high-quality rendering of visual hulls. We combine the strengths of two complementary hardware-a...
181
click to vote
ISPE
2003
15 years 8 months ago
2003
A two stage approach to co-ordination in a multi-agent society is presented. The first stage involves agents learning to co-ordinate their activities based on local and global uti...
137
click to vote
PICS
2003
15 years 8 months ago
2003
This study examines the prediction of print defect perception (banding) of the human visual system (HVS) by combining detection probabilities of contrast components from wavelet a...