Sciweavers

4397 search results - page 152 / 880
» Relational Algebra Operations
Sort
View
142
Voted
DICTA
2003
15 years 4 months ago
Algebraic Curve Fitting Support Vector Machines
An algebraic curve is defined as the zero set of a multivariate polynomial. We consider the problem of fitting an algebraic curve to a set of vectors given an additional set of v...
Christian J. Walder, Brian C. Lovell, Peter J. Koo...
110
Voted
ICFP
1998
ACM
15 years 6 months ago
Fold and Unfold for Program Semantics
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion...
Graham Hutton
85
Voted
BIRTHDAY
2000
Springer
15 years 6 months ago
Enhancing the tractability of rely/guarantee specifications in the development of interfering operations
Various forms of assumption/commitment specifications have been used to specify and reason about the interference that comes from concurrent execution; in particular, consistent a...
Pierre Collette, Cliff B. Jones
117
Voted
SSDBM
2003
IEEE
83views Database» more  SSDBM 2003»
15 years 8 months ago
PiQA: An Algebra for Querying Protein Data Sets
Life science researchers frequently need to query large protein data sets in a variety of different ways. Protein data sets have a rich structure that includes its primary structu...
Sandeep Tata, Jignesh M. Patel
142
Voted
TSP
2008
154views more  TSP 2008»
15 years 2 months ago
Algebraic Signal Processing Theory: 1-D Space
In our paper titled "Algebraic Signal Processing Theory: Foundation and 1-D Time" appearing in this issue of the IEEE TRANSACTIONS ON SIGNAL PROCESSING, we presented the ...
Markus Püschel, José M. F. Moura