4047 search results - page 679 / 810 » Algebraic Model Checking |
108
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
es of circulant matrices. Our class is broader than just circulants, and we study patterned systems using abstract algebra, specifically the observation that a set of matrices with...
149
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We study in this paper provenance information for queries with aggregation. Provenance information was studied in the context of various query languages that do not allow for aggr...
115
Voted
SIAMMAX
2010
14 years 9 months ago
2010
Many mathematical models involve flow equations characterized by nonconstant viscosity, and a Stokes type problem with variable viscosity coefficient arises. Appropriate block diag...
126
Voted
SIAMREV
2010
14 years 9 months ago
2010
Computational Convex Analysis algorithms have been rediscovered several times in the past by researchers from different fields. To further communications between practitioners, we ...
166
Voted
SIAMREV
2010
14 years 9 months ago
2010
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...