Sciweavers

17185 search results - page 225 / 3437
» Computational and Quantitative Studies
Sort
View
QEST
2008
IEEE
16 years 1 months ago
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
Husain Aljazzar, Stefan Leue
ACRI
2008
Springer
16 years 1 months ago
Examples of Fast and Slow Convergence of 2D Asynchronous Cellular Systems
This article studies the convergence properties of some 2D cellular automata, when a single cell is updated at random at each time step. We tackle this question for a particular s...
Nazim Fatès, Lucas Gerin
TIME
2006
IEEE
16 years 1 months ago
Ultimately Periodic Simple Temporal Problems (UPSTPs)
In this paper, we consider quantitative temporal or spatial constraint networks whose constraints evolve over time in an ultimately periodic fashion. These constraint networks are...
Jean-François Condotta, Gérard Ligoz...
ICMCS
2005
IEEE
178views Multimedia» more  ICMCS 2005»
16 years 25 days ago
On the Earth Mover's Distance as a histogram similarity metric for image retrieval
In this paper, the performance of the Earth Mover’s Distance (EMD) vs χ2 distance as histogram similarity metrics for image retrieval is evaluated experimentally. Ground truth ...
Zhenghua Yu, Gunawan Herman
KCAP
2005
ACM
16 years 24 days ago
Enhancing knowledge mapping using automatically derived concepts
Knowledge-mapping tools enable users to quickly identify relevant information and expertise. This paper discusses a number of natural-language phenomena that limit the performance...
Anjo Anjewierden, Willem-Olaf Huijsen, Marjan Groo...