Sciweavers

4397 search results - page 174 / 880
» Relational Algebra Operations
Sort
View
117
Voted
ICESS
2004
Springer
15 years 9 months ago
Relating FFTW and Split-Radix
Recent work showed that staging and abstract interpretation can be used to derive correct families of combinatorial circuits, and illustrated this technique with an in-depth analys...
Oleg Kiselyov, Walid Taha
AAAI
2008
15 years 5 months ago
Minimal Contraction of Preference Relations
Changing preferences is very common in real life. The expressive power of the operations of preference change introduced so far in the literature is limited to adding new informat...
Denis Mindolin, Jan Chomicki
CORR
2010
Springer
135views Education» more  CORR 2010»
15 years 3 months ago
Balanced distribution-energy inequalities and related entropy bounds
Let A be a self-adjoint operator acting over a space X endowed with a partition. We give lower bounds on the energy of a mixed state from its distribution in the partition and the...
Michel Rumin
JUCS
2010
105views more  JUCS 2010»
15 years 1 months ago
Ordered Catenation Closures and Decompositions of Languages Related to a Language of Derick Wood
: We investigate the problem of decomposing a language into a catenation of nontrivial languages, none of which can be decomposed further. In many cases this leads to the operation...
Arto Salomaa
163
Voted
FP
1991
95views Formal Methods» more  FP 1991»
15 years 7 months ago
Making Functionality More General
The notion of functionality is not cast in stone, but depends upon what we have as types in our language. With partial equivalence relations (pers) as types we show that the funct...
Graham Hutton, Ed Voermans