2107 search results - page 82 / 422 » b 2007 |
ICLP
2007
Springer
15 years 6 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...
103
click to vote
OTM
2007
Springer
15 years 6 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...
141
Voted
WCE
2007
15 years 1 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...
104
Voted
CPC
2007
15 years 20 days 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...
92
Voted
DCG
2007
15 years 20 days 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...