2841 search results - page 204 / 569 » A Call to Order |
164
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
For several semirings S, two weighted finite automata with multiplicities in S are equivalent if and only if they can be connected by a chain of simulations. Such a semiring S is c...
176
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Persistent Topology studies topological features of shapes by analyzing the lower level sets of suitable functions, called filtering functions, and encoding the arising i...
158
click to vote
DCG
2010
15 years 7 months ago
2010
: We investigate polyhedral 2k-manifolds as subcomplexes of the boundary complex of a regular polytope. We call such a subcomplex k-Hamiltonian if it contains the full k-skeleton o...
155
click to vote
ENTCS
2010
15 years 7 months ago
2010
Futures are special kind of values that allow the synchronisation of different processes. Futures are in fact identifiers for promised results of function calls that are still awa...
179
click to vote
DM
2008
15 years 7 months ago
2008
Consider a configuration of pebbles distributed on the vertices of a connected graph of order n. A pebbling step consists of removing two pebbles from a given vertex and placing o...