Browsing by Title

Now showing items 4632-4651 of 4784

  • Variational Inequality in Hilbert Spaces and their Applications 

    Udeani, Cyril Izuchukwu (2019-06-23)
    The study of variational inequalities frequently deals with a mapping F from a vector 0 space X or a convex subset of X into its dual X . Let H be a real Hilbert space and a(u, v) be a real bilinear form on H. Assume that ...

  • A Vector Signal Processing Approach to Color 

    Unknown author (1992-01-01)
    Surface (Lambertain) color is a useful visual cue for analyzing material composition of scenes. This thesis adopts a signal processing approach to color vision. It represents color images as fields of 3D vectors, from ...

  • Vector-Based Integration of Local and Long-Range Information in Visual Cortex 

    Unknown author (1996-01-18)
    Integration of inputs by cortical neurons provides the basis for the complex information processing performed in the cerebral cortex. Here, we propose a new analytic framework for understanding integration within ...

  • Vectorizing Face Images by Interpreting Shape and Texture Computations 

    Unknown author (1995-09-01)
    The correspondence problem in computer vision is basically a matching task between two or more sets of features. In this paper, we introduce a vectorized image representation, which is a feature-based representation where ...

  • Velocity Profiles in a Cylindrical Liquid Jet by Reconstructed Velocimetry 

    Castrejon-Pita, Jose Rafael; Hoath, Stephen Daniel; Hutchings, Ian Michael (2012)

  • Velocity Space and the Geometry of Planetary Orbits 

    Unknown author (1974-12-01)
    We develop a theory of orbits for the inverse-square central force law which differs considerably from the usual deductive approach. In particular, we make no explicit use of calculus. By beginning with qualitative ...

  • Venture Capital Fund Performance and the IPO Market 

    McKenzie, Michael; Janeway, William (CFAP, Cambridge Judge Business School, University of Cambridge, 2008)
    In this paper, the investment performance of a large database of venture funds is considered over a 28 year period. The results suggest that a portfolio of venture capital partnerships can provide an average return that ...

  • Verb Classes and Alternations in Bangla, German, English, and Korean 

    Unknown author (1996-05-06)
    In this report, we investigate the relationship between the semantic and syntactic properties of verbs. Our work is based on the English Verb Classes and Alternations of (Levin, 1993). We explore how these classes are ...

  • Verifiably Secure Devices 

    Unknown author (2007-12-05)
    We put forward the notion of a verifiably secure device, in essence a stronger notion of secure computation, and achieve it in the ballot-box model. Verifiably secure devices1. Provide a perfect solution to the problem of ...

  • Verification of Semantic Commutativity Conditions and Inverse Operations on Linked Data Structures 

    Unknown author (2010-12-03)
    Commuting operations play a critical role in many parallel computing systems. We present a new technique for verifying commutativity conditions, which are logical formulas that characterize when operations commute. Because ...

  • Verifying Quantitative Reliability of Programs That Execute on Unreliable Hardware 

    Unknown author (2013-06-19)
    Emerging high-performance architectures are anticipated to contain unreliable components that may exhibit soft errors, which silently corrupt the results of computations. Full detection and recovery from soft errors is ...

  • Verifying the Correctness of Wide-Area Internet Routing 

    Unknown author (2004-05-17)
    Several studies have shown that wide-area Internet routing is fragile, with failures occurring for a variety of reasons. Routing fragility is largely due to the flexible and powerful ways in which BGP can be configured to ...

  • Versatility and VersaBench: A New Metric and a Benchmark Suite for Flexible Architectures 

    Unknown author (2004-06-14)
    For the last several decades, computer architecture research has largely benefited from, and continues to be driven by ad-hoc benchmarking. Often the benchmarks are selected to represent workloads that architects believe ...

  • Vertical Image Registration in Stereopsis 

    Unknown author (1983-10-01)
    Most computational theories of stereopsis require a registration stage prior to stereo matching to reduce the matching to a one-dimensional search. Even after registration, it is critical that the stereo matching process ...

  • Vertical-Horizontal Permeability Relationships in Stress and Non Stress Sensitive Reservoirs 

    Iheanacho, Chidiebere Philip (2011-12-12)
    One of the important petrophysical parameter in reservoir description is the permeability distribution in a given reservoir. It is well known that most reservoir are heterogeneous in nature and homogeneous ones been the ...

  • Very Large Planner-Type Data Bases 

    Unknown author (1975-09-01)
    This paper describes the implementation of a typical data-base manaer for an A.I. language like Planner, Conniver, or QA4, and some proposed extensions for applications involving greater quantities of data than usual. ...

  • Viaduct : an interactive, very-high-level data manipulation language for a microcomputer-based database system. 

    Wood, Peter Theodore (University of Cape TownFaculty of ScienceDepartment of Computer Science, 1982)
    A very-high-level data manipulation language for a database system is one in which the user specifies in non-procedural terms the operations that are to be performed on the data stored in the database; the actual method ...

  • Vibration from underground railways: considering piled foundations and twin tunnels 

    Kuo, Kirsty Alison (University of CambridgeDepartment of Engineering, 2011-02-08)
    Accurate predictions of ground-borne vibration levels in the vicinity of an underground railway are greatly sought after in modern urban centers. Yet the complexity involved in simulating the underground environment means ...

  • Victim Migration: Dynamically Adapting Between Private and Shared CMP Caches 

    Unknown author (2005-10-10)
    Future CMPs will have more cores and greater onchip cache capacity. The on-chip cache can either be divided into separate private L2 caches for each core, or treated as a large shared L2 cache. Private caches provide low ...

  • Video Ergo Scio 

    Unknown author (MIT Artificial Intelligence Laboratory, 1973-11)
    An approach to vision research is described that combines ideas about low level processing with more abstract notions about the representation of knowledge in intelligent systems. A particular problem, of the representation ...