942 search results - page 13 / 189 » Structured decomposition of adaptive applications |
JOLLI
2011
14 years 6 months ago
2011
Adapting a claim of Kracht (Theor Comput Sci 354:131–141, 2006), we establish a characterization of the typable partial applicative structures. Keywords Partial applicative struc...
132
click to vote
VIS
2004
IEEE
16 years 27 days ago
2004
IEEE
We describe a general algorithm to produce compatible 3D triangulations from spatial decompositions. Such triangulations match edges and faces across spatial cell boundaries, solv...
104
click to vote
SIGMOD
2003
ACM
15 years 12 months ago
2003
ACM
To facilitate queries over semi-structured data, various structural summaries have been proposed. Structural summaries are derived directly from the data and serve as indices for ...
COMBINATORICS
2006
14 years 11 months ago
2006
We present a decomposition formula for the weighted zeta function of an irregular covering of a graph by its weighted L-functions. Moreover, we give a factorization of the weighte...
211
click to vote
ASPLOS
2009
ACM
16 years 10 days ago
2009
ACM
QR decomposition is a computationally intensive linear algebra operation that factors a matrix A into the product of a unitary matrix Q and upper triangular matrix R. Adaptive sys...