<--- Back to Details
First PageDocument Content
Linear algebra / Convex hull / Convex function / Convex set / Vector space / Basis / Norm / Bounded set / Convex cone / Algebra / Mathematics / Convex analysis
Date: 2014-12-17 10:01:57
Linear algebra
Convex hull
Convex function
Convex set
Vector space
Basis
Norm
Bounded set
Convex cone
Algebra
Mathematics
Convex analysis

Monitoring Distributed Streams using Convex Decompositions 1 1

Add to Reading List

Source URL: www.vldb.org

Download Document from Source Website

File Size: 918,45 KB

Share Document on Facebook

Similar Documents

Cryptocurrencies / Blockchains / Concurrent computing / Numismatics / Distributed computing / Kin / Decentralized application / Token coin / Token

ESS Token Utility and Functions There are a number of key functions that ESS will enable, with additional functionality added in as the Essentia project is developed further. This will occur on an incremental basis, with

DocID: 1xVIa - View Document

Mathematical logic / Logic / Mathematics / Model theory / Automated theorem proving / Predicate logic / Semantics / Logic programming / Resolution / First-order logic / Skolem normal form / Substitution

Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park, California

DocID: 1xVHV - View Document

Mathematical logic / Theoretical computer science / Mathematics / Type theory / Logic in computer science / Dependently typed programming / Formal methods / Logical framework / Proof theory / First-order logic / Lambda calculus / Calculus of constructions

Analyzing individual proofs as the basis of interoperability between proof systems Gilles Dowek? Abstract. We describe the first results of a project to analyze in which theories formal proofs can be expressed and use th

DocID: 1xVoc - View Document

Economy / Telecommunications service provider / Premium-rate telephone number / Business / Service provider / Tariff / Traffic Service Position System

Table of Contents 1. Legal basis .............................................................................................................................3 2.

DocID: 1xV4e - View Document

Stock market / Abbott Laboratories / Lake Bluff /  Illinois / Income tax in the United States / STJ / Security / Income tax in India / Economy / Biotechnology / Business

ATTACHMENT - FORM 8937 “REPORT OF ORGANIZATIONAL ACTIONS AFFECTING BASIS OF SECURITIES” Part I, Items 9 & 10: Classification and description & CUSIP Number Classification and description $500,000,000 principal amou

DocID: 1xV0z - View Document