Sciweavers

3571 search results - page 600 / 715
» Cohen and Set Theory
Sort
View
VLDB
2011
ACM
245views Database» more  VLDB 2011»
15 years 1 months ago
Normalization and optimization of schema mappings
Schema mappings are high-level specifications that describe the relationship between two database schemas. They are an important tool in several areas of database research, notab...
Georg Gottlob, Reinhard Pichler, Vadim Savenkov
JUCS
2010
135views more  JUCS 2010»
15 years 1 months ago
Internal Representation of Database Views
: Although a database view embodies partial information about the state of the main schema, the state of the view schema is a quotient (and not a subset) of the state of the main s...
Stephen J. Hegner
SBMF
2010
Springer
205views Formal Methods» more  SBMF 2010»
15 years 1 months ago
A High-Level Language for Modeling Algorithms and Their Properties
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
Sabina Akhtar, Stephan Merz, Martin Quinson
SIAMMAX
2010
103views more  SIAMMAX 2010»
15 years 1 months ago
On Chebyshev Polynomials of Matrices
The mth Chebyshev polynomial of a square matrix A is the monic polynomial that minimizes the matrix 2-norm of p(A) over all monic polynomials p(z) of degree m. This polynomial is u...
Vance Faber, Jörg Liesen, Petr Tichý
SIAMREV
2010
170views more  SIAMREV 2010»
15 years 1 months ago
Network Properties Revealed through Matrix Functions
The newly emerging field of Network Science deals with the tasks of modelling, comparing and summarizing large data sets that describe complex interactions. Because pairwise affin...
Ernesto Estrada, Desmond J. Higham