3144439
Fast rendering of foveated volumes in wavelet-based representation
A foveated volume can be viewed as a blending of multiple regions, each with a different level of resolution. It can be efficiently represented in the wavelet domain by retaining a small number of wavelet coefficients. We exploit the arrangement of those wavelet coefficients to achieve fast volume rendering. The running time is O(n2+m), where n is the width of the rendered image, and m is the number of wavelet coefficients retained for the foveated volume. Our algorithm consists of two phases. The first phase is a fast reconstruction of the super-voxels from the wavelet coefficients, and the second phase renders the super-voxels by carefully tracking rays with different thickness in the super-voxels. No expensive preprocessing on the wavelet coefficients is required. Hence, it is possible to interactively modify different viewing parameters like the transfer functions. A potential application of our algorithm is in remote visualization of large volume data-sets.
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.
490406
Skyline Queries Against Mobile Lightweight Devices in MANETs
Skyline queries are well suited when retrieving data according to multiple criteria. While most previous work has assumed a centralized setting this paper considers skyline querying in a mobile and distributed setting, where each mobile device is capable of holding only a portion of the whole dataset; where devices communicate through mobile ad hoc networks; and where a query issued by a mobile user is interested only in the user’s local area, although a query generally involves data stored on many mobile devices due to the storage limitations. We present techniques that aim to reduce the costs of communication among mobile devices and reduce the execution time on each single mobile device. For the former, skyline query requests are forwarded among mobile devices in a deliberate way, such that the amount of data to be transferred is reduced. For the latter, specific optimization measures are proposed for resource-constrained mobile devices. We conduct extensive experiments to show that our proposal performs efficiently in real mobile devices and simulated wireless ad hoc networks.
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.
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.
13610294
Seeing is believing: A common sense theory of the adoption of perception-based beliefs
In this paper we present a formal common sense theory of the adoption of perception-based beliefs. We begin with a logical analysis of perception and then consider when perception should lead to belief change. Our theory is intended to apply to perception in humans and to perception in artificial agents at the level of the symbolic interface between a vision system and a belief system. In order to provide a context for our work we relate it to the emerging field of cognitive robotics, give an abstract architecture for an agent which is both embodied and capable of reasoning, and relate this to the concrete architectures of two vision-based surveillance systems.
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.
38873444
Logics for Belief Dependence
In this paper, we investigate the theoretical foundations of belief dependence in multiple agent environment, where agents may rely on someone else about their beliefs or knowledge. Several logics for belief dependence are introduced and studied. First of all, we try to formalize the problem of belief dependence in the framework of general epistemic logics, by which we will argue that general epistemic logic is not appropriate to formalize the problem of belief dependence. Then, based on an approach which is similar to Fagin and Halpern's general awareness logic, we present the second logic for belief dependence, which is called a syntactic approach. The third logic is an adapted possible world logic, where sub-beliefs are directly introduced in the models.
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.
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.