27827 search results - page 219 / 5566 » Generating |
96
Voted
DM
2008
15 years 1 months 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...
100
Voted
JCT
2006
15 years 1 months ago
2006
We prove that the anisotropic generating function of self-avoiding polygons is not a D-finite function--proving a conjecture of Guttmann [Discrete Math. 217 (2000) 167
142
click to vote
ENTCS
2007
15 years 1 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
137
click to vote
IJRR
2007
15 years 1 months ago
2007
An algorithm is presented for wheeled mobile robot trajectory generation that achieves a high degree of generality and efficiency. The generality derives from numerical lineariza...
121
Voted
JSW
2007
15 years 1 months ago
2007
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...