304 search results - page 41 / 61 » Mathematical Models of Computational and Combinatorial Struc... |
120
click to vote
AAAI
2006
15 years 5 months ago
2006
Model counting is the classical problem of computing the number of solutions of a given propositional formula. It vastly generalizes the NP-complete problem of propositional satis...
132
Voted
COMPGEOM
2008
ACM
15 years 5 months ago
2008
ACM
A web application is presented to compute, plot, and interactively explore planar arrangements induced by algebraic plane curves of arbitrary degree. It produces accurate curve pl...
151
click to vote
FCT
2003
Springer
15 years 9 months ago
2003
Springer
The bandwidth minimization problem has a long history and a number of practical applications. In this paper we introduce a natural extension of bandwidth to partially ordered layo...
144
click to vote
SIGMOD
2003
ACM
16 years 4 months ago
2003
ACM
One of the critical deficiencies of SQL is lack of support for ndimensional array-based computations which are frequent in OLAP environments. Relational OLAP (ROLAP) applications ...
155
click to vote
DOCENG
2010
ACM
15 years 1 months ago
2010
ACM
This work addresses what we believe to be a central issue in the field of XML diff and merge computation: the mathematical modeling o-called editing deltas and the study of their ...