Sciweavers

266 search results - page 5 / 54
» Linear Recursion
Sort
View
INFORMATICALT
1998
96views more  INFORMATICALT 1998»
14 years 9 months ago
State Estimation of Dynamic Systems in the Presence of Time-Varying Outliers in Observations
Abstract. In the previous papers (Masreliez and Martin, 1977; Novoviˇcova, 1987; Schick and Mitter, 1994) the problem of recursive estimation of linear dynamic systems parameters ...
Rimantas Pupeikis
ICDT
1995
ACM
91views Database» more  ICDT 1995»
15 years 1 months ago
Some Positive Results for Boundedness of Multiple Recursive Rules
Following results are sketched in this extended abstract: (1) Datalog recursive programs where each rule has at most one subgoal called unit recursions are shown to be bounded, wit...
Ke Wang
SIGMOD
2005
ACM
136views Database» more  SIGMOD 2005»
15 years 3 months ago
Optimizing recursive queries in SQL
Recursion represents an important addition to the SQL language. This work focuses on the optimization of linear requeries in SQL. To provide an abstract framework for discussion, ...
Carlos Ordonez
TIC
2000
Springer
174views System Software» more  TIC 2000»
15 years 1 months ago
Alias Types for Recursive Data Structures
Linear type systems permit programmers to deallocate or explicitly recycle memory, but they are severly restricted by the fact that they admit no aliasing. This paper describes a ...
David Walker, J. Gregory Morrisett
VLSID
2007
IEEE
94views VLSI» more  VLSID 2007»
15 years 10 months ago
A Reduced Complexity Algorithm for Minimizing N-Detect Tests
? We give a new recursive rounding linear programming (LP) solution to the problem of N-detect test minimzation. This is a polynomialtime solution that closely approximates the exa...
Kalyana R. Kantipudi, Vishwani D. Agrawal