9 search results - page 1 / 2 » Model Counting for 2SAT Based on Graphs by Matrix Operators |
ENGL
2007
13 years 4 months ago
2007
BIRTHDAY
2010
Springer
13 years 5 months ago
2010
Springer
Many natural problems in computer science concern structures like graphs where elements are not inherently ordered. In contrast, Turing machines and other common models of computa...
GMP
2006
IEEE
13 years 10 months ago
2006
IEEE
The construction of linear mesh layouts has found various applications, such as implicit mesh filtering and mesh streaming, where a variety of layout quality criteria, e.g., span ...
DEXA
2006
Springer
13 years 8 months ago
2006
Springer
Ontology alignment (or matching) is the operation that takes two ontologies and produces a set of semantic correspondences (usually semantic similarities) between some elements of ...
SDM
2004
SIAM
13 years 5 months ago
2004
SIAM
Graph-based modeling has emerged as a powerful abstraction capable of capturing in a single and unified framework many of the relational, spatial, topological, and other characteri...