We adjust methods of computable model theory to effective analysis. We use index sets and infinitary logic to obtain classificationtype results for compact computable metric spaces. We show that every compact computable metric space can be uniquely described, up to an isomorphism, by a computable Π3 formula, and that orbits of elements are uniformly given by computable Π2 formulas. We show that...

A Knowledge Management (KM) System plays a crucial role in every industry as well as in Higher Learning Institutions. A RESTful resource is anything that is addressable over the Web. The resources can be accessed and transferred between clients and server. The resources can be accessed and transferred between clients and servers. Based on our earlier research works, we have developed a comprehe...

This paper presents a new approach for objective image quality assessment using multi-metric fusion. The current research is motivated by the observation that there is no single metric that provides the best performance scores in all conditions. To attain MMF, we approve an analytical formula based approach. First, we collect a large number of test images, each of which has a score labeled by h...

In multi-camera tracking systems, camera placement can have a significant impact on the overall performance. In feature-based motion capture systems, degradation can come from two major sources, low image resolution and target occlusion. In order to achieve better tracking and automate the camera placement process, a quantitative metric to evaluate the quality of multi-camera configurations is ...

New spectral methods for ratio cut partitioning and clustering. A general purpose multi-way partitioning, Proc. We introduced a new natural metric, Via-Count, to better estimate inter-partition delays for evaluating partitioning solutions. We presented K-VIA-FM, an algorithm that iteratively improve solutions for the new metric. We compared the performance of K-VIA-FM with other algorithms, bot...

We consider the problem of estimating CPU (distance computations) and I/O costs for processing range and k-nearest neighbors queries over metric spaces. Unlike the speciic case of vector spaces, where information on data distribution has been exploited to derive cost models for predicting the performance of multi-dimensional access methods, in a generic metric space there is no such a possibili...

The aim of this paper is to propose a logical framework for reasoning about signed information. That is, as long as agents receive information in a multi-agent system, they keep track of the information source. The main advantage is that by considering a reliability relation over the sources of information, agents can justify their own current belief state. Agents believe at first information i...

Heterogeneous multicore architectures pose specific challenges regarding their programmability and they require smart mapping schemes to make efficient use of different processing elements. Various criteria can drive this mapping, such as computational intensity, memory requirements, and area consumption. In order to facilitate this complex mapping task, there is a clear need for tools that inv...

Multi-agent systems have been widely used in the literature, including for the monitoring of distributed systems. However, one of the unresolved issues in this technology remains in the reassignment of the responsibilities of monitoring agents when some of them become unable to meet their obligations. This paper proposes a new approach for solving this problem based on: (a) the gathering of evi...

Secure multiparty computation (MPC) as a service is becoming a tangible reality. In such a service, a population of clients wish to utilize a set of servers to delegate privately and reliably a given computation on their inputs. MPC protocols have a number of desired properties including tolerating active misbehavior by some of the servers and guaranteed output delivery. A fundamental result is...