15860 search results - page 2627 / 3172 » Agent-Based Software Engineering |
155
click to vote
FSTTCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Given two simplicial complexes C1 and C2 embedded in Euclidean space IRd , C1 subdivides C2 if (i) C1 and C2 have the same underlying space, and (ii) every simplex in C1 ...
152
Voted
FSTTCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
178
click to vote
FSTTCS
2004
Springer
15 years 11 months ago
2004
Springer
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
185
click to vote
FSTTCS
2004
Springer
15 years 11 months ago
2004
Springer
The class of visibly pushdown languages has been recently defined as a subclass of context-free languages with desirable closure properties and tractable decision problems. We stu...
140
click to vote
FSTTCS
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we provide an automaton-based solution to the decision problem for a large set of monadic second-order theories of deterministic tree structures. We achieve it in two...