456837
Dynamic buffer management with extensible replacement policies
The objective of extensible DBMSs is to ease the construction of specialized DBMSs for nontraditional applications. Although much work has been done in providing various levels of extensibility (e.g., extensibility of data types and operators, query language extensibility, and query optimizer extensibility), there has been very limited research in providing extensibility at the buffer management level. Supporting extensibility at the buffer management level is important as it can contribute significantly to overall system performance.This paper addresses the problem of supporting extensibility of buffer replacement policies. The main contribution is the proposal of a framework for modeling buffer replacement policies. This work is novel in two aspects. First, by providing a uniform and generic specification of buffer replacement policies, the proposed framework unifies existing work in this area. Second, our work introduces a new level of extensibility. None of the existing extensible DBMSs, to our knowledge, provides extensibility at the buffer management level. The proposed framework provides a basis for the construction of an extensible buffer manager as part of a 100% Java-based storage manager. We conducted an extensive performance study to investigate the performance of the proposed framework. The experimental results demonstrate that the proposed framework is indeed feasible for existing DBMSs and improves system performance significantly without costing significant overhead.
14317741
Interactive 3D modeling using only one image
For virtual reality systems, modeling of 3D objects and scenes is important and challenging. In this paper, we present an image-based interactive 3D modeling framework consisting of three major modules: photogrammetric modeling, human interaction, and texture mapping. These three modules are not sequentially used and they are mixed in the whole modeling process. The major idea is to explore the use of images in interactive modeling systems to achieve the automation. In particular, the use of only one image is addressed. On one side, unlike the common fully interactive modeling framework, the users are not required to specify some low level details interactively which can be derived automatically from the image. On the other side, it still requires human interactions to do some high level tasks that the algorithms are difficult to perform automatically. We have implemented the framework and experimental results are good.
62135913
Kernel-based method for tracking objects with rotation and translation
This paper addresses the issue of tracking translation and rotation simultaneously. Starting with a kernel-based spatial-spectral model for object representation, we define an l/sub 2/-norm similarity measure between the target object and the observation, and derive a new formulation to the tracking of translational and rotational object. Based on the tracking formulation, an iterative procedure is proposed. We also develop an adaptive kernel model to cope with varying appearance. Experimental results are presented for both synthetic data and real-world traffic video.
7343489
Feature difference analysis in video authentication system
In most video authentication systems, the difference between features of the original and received videos is often used to decide the authenticity. In this paper, by employing mutual information to represent the similarity between the original and received video frames, we theoretically analyze the relationship between the feature difference and the video distortion. The relationship we derived is applied to estimate the maximum allowable feature difference in a video authentication system and to show how the feature difference varies with quantization step. Experimental results demonstrate that the derived relationship is reasonable and helpful for designing a robust video authentication system.
18712320
Decomposing polygon meshes by means of critical points
Polygon mesh is among the most common data structures used for representing objects in computer graphics. Unfortunately, a polygon mesh does not capture high-level structures, unlike a hierarchical model. In general, high-level abstractions are useful for managing data in applications. In this paper, we present a method for decomposing an object represented in polygon meshes into components by means of critical points. The method consists of steps to define the root vertex of the object, define a function on the polygon meshes, compute the geodesic tree and critical points, decide the decomposition order, and extract components using backwards flooding. We have implemented the method. The preliminary results show that it works effectively and efficiently. The decomposition results can be useful for applications such as 3D model retrieval and morphing.
15320041
Feature extraction of volume data based on multi-scale representation
In this paper, we present a novel algorithm that can detect and extract salient points as features in 3-D volume datasets. This algorithm extracts not only the locations of feature points, but also finds out the scales at which the features are most significant. It applies the scale-space theory by adaptively processing the input volume in a few discrete scales. The features points, as well as their scales, detected can be used for subsequent processing, such as content-based volume data authentication and content-based volume rendering.We have implemented the algorithm and tested its effectiveness on several volume datasets. Some optimization has also been done on time-consuming intermediate steps to speed up the feature detection process.
171830
Inconsistencies, Negations and Changes in Ontologies
Ontology management and maintenance are considered cornerstone issues in current Semantic Web applications in which semantic integration and ontological reasoning play a fundamental role. The ability to deal with inconsistency and to accommodate change is of utmost importance in real-world applications of ontological reasoning and management, wherein the need for expressing negated assertions also arises naturally. For this purpose, precise, formal definitions of the the different types of inconsistency and negation in ontologies are required. Unfortunately, ontology languages based on Description Logics (DLs) do not provide enough expressive power to represent axiom negations. Furthermore, there is no single, well-accepted notion of inconsistency and negation in the Semantic Web community, due to the lack of a common and solid foundational framework. In this paper, we propose a general framework accounting for inconsistency, negation and change in ontologies. Different levels of negation and inconsistency in DL-based ontologies are distinguished. We demonstrate how this framework can provide a foundation for reasoning with and management of dynamic ontologies.
5239541
Link prediction approach to collaborative filtering
Recommender systems can provide valuable services in a digital library environment, as demonstrated by its commercial success in book, movie, and music industries. One of the most commonly-used and successful recommendation algorithms is collaborative filtering, which explores the correlations within user-item interactions to infer user interests and preferences. However, the recommendation quality of collaborative filtering approaches is greatly limited by the data sparsity problem. To alleviate this problem we have previously proposed graph-based algorithms to explore transitive user-item associations. In this paper, we extend the idea of analyzing user-item interactions as graphs and employ link prediction approaches proposed in the recent network modeling literature for making collaborative filtering recommendations. We have adapted a wide range of linkage measures for making recommendations. Our preliminary experimental results based on a book recommendation dataset show that some of these measures achieved significantly better performance than standard collaborative filtering algorithms
607902
A Framework for Handling Inconsistency in Changing Ontologies
One of the major problems of large scale, distributed and evolving ontologies is the potential introduction of inconsistencies. In this paper we survey four different approaches to handling inconsistency in DL-based ontologies: consistent ontology evolution, repairing inconsistencies, reasoning in the presence of inconsistencies and multi-version reasoning. We present a common formal basis for all of them, and use this common basis to compare these approaches. We discuss the different requirements for each of these methods, the conditions under which each of them is applicable, the knowledge requirements of the various methods, and the different usage scenarios to which they would apply.
9615548
Dynamic Belief Hierarchies
Typically some of an agent's beliefs are more reliable than others. Consequently we give a hierarchical definition of belief, according to which an agent's beliefs form a coherent hierarchy and new beliefs are defined with reference to it. We then show how preferential entailment can be used to formalize the persistence and revision of belief hierarchies, and discuss the the relationship between our theory and the AGM theory of belief revision.
14446666
Awareness, Negation and Logical Omniscience
General Epistemic Logics suffer from the problem of logical omniscience, which is that an agent's knowledge and beliefs are closed under implication. There have been many attempts to solve the problem of logical omniscience. However, according to our intuition, sometimes an agent's knowledge and beliefs are indeed closed under implication. Based on the notion of awareness, we introduce two kinds of negations: general negation and strong negation. Moreover, four kinds of implications, general implication, strong implication, weak implication, and semi-strong implication, are introduced to correspond with the two kinds of negations. In our logics of regular awareness, explicit beliefs are not necessarily closed under general implication, which means that agents are not logically omniscient. However, explicit beliefs are closed under strong implication and semi-strong implication, which captures an intuitive closure property of beliefs.