Sciweavers

3066 search results - page 273 / 614
» On Facilitating Automated Evaluation
Sort
View
FAC
2007
122views more  FAC 2007»
15 years 6 months ago
Formal techniques for performance analysis: blending SAN and PEPA
Abstract. In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, an...
Jane Hillston, Leïla Kloul
AI
2005
Springer
15 years 6 months ago
Asynchronous backtracking without adding links: a new member in the ABT family
Following the pioneer work of Yokoo and colleagues on the ABT (asynchronous backtracking) algorithm, several ABT-based procedures have been proposed for solving distributed constr...
Christian Bessière, Arnold Maestre, Ismel B...
TVCG
2008
95views more  TVCG 2008»
15 years 6 months ago
A Framework of Interaction Costs in Information Visualization
Interaction cost is an important but poorly understood factor in visualization design. We propose a framework of interaction costs inspired by Norman's Seven Stages of Action ...
Heidi Lam
SIGMOD
2000
ACM
173views Database» more  SIGMOD 2000»
15 years 6 months ago
javax.XXL: A prototype for a Library of Query processing Algorithms
In this paper we describe XXL (eXtensible and fleXible Library), a toolkit for rapid prototyping query processing algorithms. XXL is a flexible, high-level, platform independent J...
Jochen Van den Bercken, Jens-Peter Dittrich, Bernh...
TIP
2002
129views more  TIP 2002»
15 years 6 months ago
A vision-based masking model for spread-spectrum image watermarking
Abstract-- We present a perceptual model for hiding a spreadspectrum watermark of variable amplitude and density in an image. The model takes into account the sensitivity and maski...
Martin Kutter, Stefan Winkler