-
Article
Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications
In this paper, we address the problem of verifying probabilistic and epistemic properties in concurrent probabilistic systems expressed in PCTLK. PCTLK is an extension of the Probabilistic Computation Tree Log...
-
Chapter and Conference Paper
Fast Shape Re-ranking with Neighborhood Induced Similarity Measure
In this paper, we address the shape retrieval problem by casting it into the task of identifying “authority” nodes in an inferred similarity graph and also by re-ranking the shapes. The main idea is that the a...
-
Chapter and Conference Paper
Model Checking Epistemic and Probabilistic Properties of Multi-agent Systems
Model checking, a formal automatic verification method, has been widely used in multi-agent systems to verify specifications that contain qualitative properties (e.g safety and liveliness) and quantitative pro...
-
Chapter and Conference Paper
Modeling and Verifying Agent-Based Communities of Web Services
Communities of web services are virtual spaces that can dynamically gather different web services having complementary functionalities in order to provide composite services. In the last two years, some approa...
-
Article
Removing Noise and Preserving Details with Relaxed Median Filters
In this paper, a median based filter called relaxed median filter is proposed. The filter is obtained by relaxing the order statistic for pixel substitution. Noise attenuation properties as well as edge and li...