A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Filters
i3QL
2014
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14
Preserved Fulltext
An incremental computation updates its result based on a change to its input, which is often an order of magnitude faster than a recomputation from scratch. ...
This paper presents i3QL, a general-purpose programming language for specifying incremental computations. i3QL provides a declarative SQL-like syntax and is based on incremental versions of operators from ...
For example, our parser incrementally derives facts about which substring can be generated from which nonterminal. ...
doi:10.1145/2660193.2660242
dblp:conf/oopsla/MitschkeEKMS14
fatcat:ihhjki3e75dedd7avyqkphvlzq
Incremental Query Processing on Big Data Streams
2016
IEEE Transactions on Knowledge and Data Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2016 pre-print arXiv:1511.07846v2 fatcat:ll6lcqk3mvhmhnt63crsx5xwouOther Versions
In contrast to other approaches, we derive incremental programs that return accurate results, not approximate answers. ...
Finally, we report on a prototype implementation of our framework, called MRQL Streaming, running on top of Spark and we experimentally validate the effectiveness of our methods. ...
From the homomorphic algebraic term h(S), our system derives a merge function ⊗, such that h(S ⊎ ∆S) = h(S) ⊗ h(∆S). ...
doi:10.1109/tkde.2016.2601103
fatcat:53rgdllwhfelhmarpzkmffnrxm
Situation Monitoring for Active Databases
1989
Very Large Data Bases Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
CHAK89], parts of which have been implemented. However. the algebra and transformations described in this paper can be applied more generally. ...
Evaluation of expressions involving changes is optimized by defining incremental forms of relational operators and by providing a chain rule that extends incremental computation to data derived by arbitrary ...
The algebra includes efficient implementations of incremental forms of familiar operators and accommodates user-defined operators. ...
dblp:conf/vldb/RosenthalCBB89
fatcat:c3c7433gxfgddcccxmrk7f6iai
An algebraic approach for incremental maintenance of materialized XQuery views
2002
Proceedings of the fourth international workshop on Web information and data management - WIDM '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
This algebraic update propagation process generates incremental update primitives to be applied to the result view. We briefly discuss our XQuery view maintenance system implementation. ...
It is typically more efficient to maintain a view by incrementally propagating the base changes to the view than by re-computing it from scratch. ...
In particular, we keep track of lineage between derived tuples. We generate unique IDs for tuples in the XAT tables. Each tuple keeps track of tuples it was derived from using ID references. ...
doi:10.1145/584948.584950
fatcat:nx5pb7syprdytmefv6owqu4bju
An algebraic approach for incremental maintenance of materialized XQuery views
2002
Proceedings of the fourth international workshop on Web information and data management - WIDM '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
This algebraic update propagation process generates incremental update primitives to be applied to the result view. We briefly discuss our XQuery view maintenance system implementation. ...
It is typically more efficient to maintain a view by incrementally propagating the base changes to the view than by re-computing it from scratch. ...
In particular, we keep track of lineage between derived tuples. We generate unique IDs for tuples in the XAT tables. Each tuple keeps track of tuples it was derived from using ID references. ...
doi:10.1145/584931.584950
dblp:conf/widm/EL-SayedWDR02
fatcat:xbssek2kgbdfhdxudfygynwkma
Employing C++ Templates in the Design of a Computer Algebra Library
[chapter]
2020
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Two key aspects of this interface to be discussed are the encoding of the algebraic hierarchy as a class hierarchy and a mechanism to support the combination of algebraic types as a new type. ...
We discuss design aspects of the open-source Basic Polynomial Algebra Subprograms (BPAS) library. We build on standard C++11 template mechanisms to improve ease of use and accessibility. ...
Listing 1.A subset of the algebraic class hierarchy, using CRTP to declare the integers.
Listing 2 . 2 An implementation of a polynomial interface using CRTP and Derived from. ...
doi:10.1007/978-3-030-52200-1_34
fatcat:5tak2rs2j5g2rhtsg3pgfnzn3u
A NEW APPROACH FOR AN INCREMENTAL ORIENTATION OF MICRO-UAV IMAGE SEQUENCES
2014
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
To be able to deal with the increasing amount of observations and unknown parameters we implement an incremental bundle adjustment based on automatically determined tie points and sliding image triplets ...
We compare the orientation results of our approach with an approach in which initial values for the unknown object coordinates are computed algebraically. ...
Finally, the implementation is far from being applicable in realtime. But, irrespective of computation time, our approach is realtime compatible in terms of its incremental implementation. ...
doi:10.5194/isprsarchives-xl-3-w1-93-2014
fatcat:gharjox3e5g5nkhcrvcxhalzu4
DBSP: Automatic Incremental View Maintenance for Rich Query Languages
[article]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Incremental view maintenance has been for a long time a central problem in database theory. ...
Many solutions have been proposed for restricted classes of database languages, such as the relational algebra, or Datalog. These techniques do not naturally generalize to richer languages. ...
The incrementalization operator has some very nice algebraic properties, which can generate very efficient incremental implementations for linear and bilinear computations. ...
arXiv:2203.16684v1
fatcat:wj6r5ontrrblha45r5wzmvob7u
View maintenance issues for the chronicle data model (extended abstract)
1995
Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '95
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
u
4 Summarized
Chronicle
Algebra
In this section,
we derive
the largest
subsets
of a set
of relation
algebra
operators
that
define
languages
in
the first three
I M complexity
classes ...
A mapping
from
sequence
numbers
in a
chronicle
to time intervals
must be made for the periodic
summarized
chronicle
algebra
to be defined. ...
doi:10.1145/212433.220201
dblp:conf/pods/JagadishMS95
fatcat:453arxesljc6hnv34ka6uykivm
Explicit Direct Integrators of RK Type for Solving Special Fifth-Order Ordinary Differential Equations
2016
American Journal of Applied Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Using Taylor expansion, we have derived the algebraic equations of algebraic equations of order conditions for the proposed RKM integrators up to the eighth order. ...
Numerical implementation shows that the new methods agree well with existing RK methods, but requires less function evaluations. ...
The algebraic equations of order conditions of RKM integrators can be obtain from the direct expansion of the local truncation error. ...
doi:10.3844/ajassp.2016.1452.1460
fatcat:jljzckdc5ra2jmqnjdfecjetwe
A theory of changes for higher-order languages
2013
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
We incrementalize programs through their derivative. A derivative maps changes in the program's input directly to changes in the program's output, without reexecuting the original program. ...
We investigate performance by a case study: We implement in Scala the program transformation, a plugin and improve performance of a nontrivial program by orders of magnitude. ...
Even lists (which have fewer algebraic properties) can benefit from special support [17] . ...
doi:10.1145/2594291.2594304
dblp:conf/pldi/CaiGRO14
fatcat:jcrc2lha25anvddj2btnzht2xm
A theory of changes for higher-order languages
2014
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
We incrementalize programs through their derivative. A derivative maps changes in the program's input directly to changes in the program's output, without reexecuting the original program. ...
We investigate performance by a case study: We implement in Scala the program transformation, a plugin and improve performance of a nontrivial program by orders of magnitude. ...
Even lists (which have fewer algebraic properties) can benefit from special support [17] . ...
doi:10.1145/2666356.2594304
fatcat:fuvusucaandoziye7wkrrmluoq
Monitoring Complex Rule Conditions
[chapter]
1999
Active Rules in Database Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
First an overview of the traditional methods for incremental evaluation is given. Then a partial differencing calculus is defined for set algebra and is then mapped to the relational operators. ...
With incremental evaluation the state of a rule condition is materialized and, after an update, the new state of the condition is defined incrementally in terms of differences to the materialized state ...
In [QW91] the relational algebra is extended with some incremental operators that can be used for differencing relational algebra expressions. [ RCBB89] proposed incremental evaluation of relational ...
doi:10.1007/978-1-4419-8656-6_5
fatcat:5nwicrnx2zephgbl6k5cxjxdgi
In praise of algebra
2012
Formal Aspects of Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We give an algebraic definition of the Hoare triple, and algebraic proofs of all the relevant laws for concurrent separation logic. ...
We end with a section in praise of algebra, of which Carroll Morgan is such a master. ...
The rule of concurrency can be derived directly from the algebraic exchange law, and vice versa. 8. ...
doi:10.1007/s00165-012-0249-0
fatcat:6jsnrjik7fc5nhiqlu3w5edpii
An adaptive critic global controller
2002
Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
The design method is implemented to control the full. sixdegree-of-freedom simulation of a business jet aircraft. ...
The neural networks are initialized algebraically by observing that the gradients of the networks must equal corresponding linear gain matrices at chosen operating points. ...
by an increment Aw?), based on the derivative dE(w)/dwc, i.e. ...
doi:10.1109/acc.2002.1025189
fatcat:avl5bmtpnbhv3fswfu64nwuy4e
« Previous
Showing results 1 — 15 out of 56,746 results