26205197
Behavior Analysis of Object-Oriented Databases: Method Structure, Execution Trees, and Reachability (Extended Abstract)
A theoretical model for analyzing the behavior of method execution in object-oriented databases (OODBs) is introduced and used to study issues of reachability, nontermination, and well-typedness in the context of restricted classes of OODBs.
1810071
Testing of Join Dependency Preserving by a Modified Chase Method
5408151
Alternative Objects in Object-oriented Databases
46335278
Tree-Structured Data Organization with Consecutive Retrieval Property
COMP2011 Aleksandar Ignjatovic 2005 c 2 Figure 1: A medieval copy of arguably the most influential textbook ever written, Eu-clid's Elements (Στoι χε´ια), from about 300 BC. It contains the oldest known algorithm recorded, Euclid's algorithm for computing the Greatest Common Divisor (GCD) of two natural numbers. Figure 2: First data structures: a Mesopotamian cuneiform tablet from about 3000 BC with an inventory list. Preface This booklet is not meant to be a textbook, but only a companion to the textbook that we use in this course, Cormen, Leiserson, Rivest and Stein's Introduction to Algorithms, the second edition. Its purpose is to help you read the appropriate sections of the textbook, and integrate it better with the rest of the course. It also adds a number of exercises not present in the textbook. Please read the textbook and do not rely on this supplement only.
205099974
Organization of quasi-consecutive retrieval files
Abstract In 1972, Ghosh introduced the consecutive retrieval (CR) file organization. It is an efficient file organization in which all records pertinent to a query are consecutively stored on linear storage locations. In this paper, we introduce the quasi-consecutive retrieval (QCR) file organization. The QCR file organization is an extension of Ghosh's CR file organization and normally offers less redundancy. In the QCR file, all the records pertinent to each query are not necessarily stored consecutively, but rather they are stored within an area of the buffer size. In this paper, we discuss graph theoretic properties of CR files and QCR files by using the properties of interval graphs well known in graph theory. We provide a basic condition for the existence of a QCR file without redundancy for a given buffer size. By introducing redundant queries, such a condition is simplified. Furthermore, a heuristic computer algorithm is given to organize a QCR file with less redundancy for a given buffer size.
22236580
OVID: Design and Implementation of a Video-Object Database System
A video-object data model and the design and implementation of a prototype video-object database system named OVID based on the model are described. Notable features of the video-object data model are a mechanism to share common descriptional data among video-objects, called interval-inclusion based inheritance, and operations to composite video-objects. The OVID system offers a browsing/inspection tool called VideoChart, and adhoc query facility called VideoSQL, and a video-object definition tool. >
120935286
Automatic hyperparameter estimation in probabilistic image restoration algorithm based on Gibbs microcanonical distribution
For an original image given as an 8-gray-level image, the framework for image restoration is composed of Bayes statistics for the a priori probability distribution based on the microcanonical distribution. In this process, the a priori probability distribution serving as the microcanonical distribution is formulated on the basis of the variables characterizing the spatial flatness and smoothness of the image in terms of the number of nearest pixel pairs with different gray levels and the number of nearest pixel pairs with gray levels differing by 1. In the present paper, we propose a new method of estimation, from a degraded image, of the number of nearest pixel pairs with different gray levels and the number of nearest pixel pairs with gray levels differing by 1 in the original image. Then, based on that formulation, an iterative computation algorithm for the restoration of a 256-gray-level image is presented from the viewpoint of statistical mechanics. Through some numerical experiments, we investigate how the proposed method can improve the quality of the restored image. © 2004 Wiley Periodicals, Inc. Syst Comp Jpn, 36(1): 68–78, 2005; Published online in Wiley InterScience (). DOI 10.1002sscj.10365
119404260
Probabilistic image processing based on the Q-Ising model by means of the mean-field method and loopy belief propagation
The framework is presented of Bayesian image restoration for multi-valued images by means of the Q-Ising model. Hyper parameters in the probabilistic model are determined so as to maximize the marginal likelihood. Practical algorithms are described based the conventional mean-field approximation and loopy belief propagation. We compare the results empirically with those provided by conventional filters and the new methods are found to be superior.
8895020
The strong soundness theorem for real closed fields and Hilbert’s Nullstellensatz in second order arithmetic
Abstract.By RCA0, we denote a subsystem of second order arithmetic based on Δ01 comprehension and Δ01 induction. We show within this system that the real number system R satisfies all the theorems (possibly with non-standard length) of the theory of real closed fields under an appropriate truth definition. This enables us to develop linear algebra and polynomial ring theory over real and complex numbers, so that we particularly obtain Hilbert’s Nullstellensatz in RCA0.
7016005
Non standard Analysis in WKL0
Within a weak subsystem of second-order arithmetic WKL0, we develop basic part of non-standard analysis up to the Peano existence theorem.
18847598
A method for panoramic stereo image acquisition
One of the key technologies for one-to-many visual communication is panoramic stereo, in which stereoscopic images for arbitrary horizontal directions are presented to multiple users, according to their positions and postures. In this paper, one of the methods for capturing panoramic stereo motion pictures is proposed and evaluated, along with an experimentation. Through preliminary experimentation, we have confirmed the effectiveness of methods using a curved mirror.