1224 search results - page 151 / 245 » Theory decision by decomposition |
87
Voted
DM
2008
15 years 25 days ago
2008
In this paper we present an algorithm to generate all minimal 3-vertex connected spanning subgraphs of an undirected graph with n vertices and m edges in incremental polynomial tim...
98
Voted
CORR
2006
Springer
15 years 24 days ago
2006
Springer
Once the set of finite graphs is equipped with an algebra structure (arising from the definition of operations that generalize the concatenation of words), one can define the noti...
96
Voted
JNS
2008
15 years 22 days ago
2008
This paper studies the construction of geometric integrators for nonholonomic systems. We derive the nonholonomic discrete Euler-Lagrange equations in a setting which permits to de...
84
Voted
AES
2005
Springer
15 years 21 days ago
2005
Springer
This paper is intended as a contribution to enhance orthogonal collocation methods. In this, a novel collocation method--TH-collocation--is applied to the biharmonic equation and ...
AI
2005
Springer
15 years 21 days ago
2005
Springer
entation theory, Dung's abstract framework provides a unifying view of several alternative semantics based on the notion of extension. In this context, we propose a general r...