2107 search results - page 82 / 422 » b 2007 |
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
OTM
2007
Springer
14 years 4 months ago
2007
Springer
Capturing the interaction behavior between two or more business parties has major importance in the context of business-tobusiness (B2B) process integration. The Business Process M...
WCE
2007
13 years 11 months ago
2007
–We consider the boundary value problem: x(m) (t) = f(t, x(t)), a ≤ t ≤ b, m > 1 x(a) = β0 ∆x(k) ≡ x(k) (b) − x(k) (a) = βk+1, k = 0, ..., m − 2 wher...
CPC
2007
13 years 10 months ago
2007
Consider two graphs G1 and G2 on the same vertex set V and suppose that Gi has mi edges. Then there is a bipartition of V into two classes A and B so that for both i = 1, 2 we hav...
DCG
2007
13 years 10 months ago
2007
Abstract. We describe many different realizations with integer coordinates for the associahedron (i.e. the Stasheff polytope) and for the cyclohedron (i.e. the Bott-Taubes polyto...