1065063
Using A-buffer in radiosity
Anti-aliasing in form factor computation and precise determination of shadow boundaries are important issues for radiosity method. A-buffer is a technique introduced by L. Carpenter (1984) for anti-aliasing in hidden surface removal. In this paper, we propose a method based on the A-buffer to replace the Z-buffer in the computation of form factors using the Hemicube for anti-aliasing. The method directly computes shadow boundaries in contrast to the adaptive re-meshing approach. Though the processing of shadow boundaries is not fast, only one discontinuity meshing (no iteration) is required. We implement the method in an infrastructure building design system.
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.
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.
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.
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.
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.
12410756
Reasoning with Multi-version Ontologies: A Temporal Logic Approach
In this paper we propose a framework for reasoning with multi-version ontology, in which a temporal logic is developed to serve as its semantic foundation. We show that the temporal logic approach can provide a solid semantic foundation which can support various requirements on multi-version ontology reasoning. We have implemented the prototype of MORE (Multi-version Ontology REasoner), which is based on the proposed framework. We have tested MORE with several realistic ontologies. In this paper, we also discuss the implementation issues and report the experiments with MORE.
1637377
XSTEP: a markup language for embodied agents
In this paper we propose an XML-based markup language. called XSTEP for embodied agents, based on the scripting language STEP. XSTEP is the XML-based successor of STEP. The scripting language STEP incorporates the formal semantics of dynamic logic, and has been implemented in the distributed logic programming language DLP, a tool for the implementation of 3D Web agents. In this paper we discuss the issues of markup language design for embodied agents and several aspects of the implementation and application of XSTEP.
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.
32544015
Belief revision for adaptive negotiation agents
Existing negotiation agents are primitive in terms of what they can learn and how responsive they are towards the changing negotiation contexts. These weaknesses can be alleviated if an expressive representation language is used to represent negotiation contexts and a sound inference mechanism is applied to reason about the preferential changes arising in these negotiation contexts. This paper illustrates a novel adaptive negotiation agent model, which is underpinned by the well-known AGM belief revision logic. Our preliminary experiments show that the performance of the belief-based adaptive negotiation agents is promising.
5951691
ALX, an Action Logic for Agents with Bounded Rationality
Abstract We propose a modal action logic that combines ideas from H.A. Simon's bounded rationality , S. Kripke's possible world semantics , G.H. von Wright's preference logic , Pratt's dynamic logic , Stalnaker's minimal change and more recent approaches to update semantics . ALX (the x th action logic) is sound, complete and decidable, making it the first complete logic for two-place preference operators. ALX avoids important drawbacks of other action logics, especially the counterintuitive necessitation rule for goals (every theorem must be a goal) and the equally counterintuitive closure of goals under logical implication.