8810 search results - page 331 / 1762 » Openness |
148
click to vote
DATASCIENCE
2007
15 years 6 months ago
2007
Spatial Data Infrastructures (SDIs) have been developing in some countries for over 10 years but still suffer from having a relatively small installed base. Most SDIs will soon co...
143
click to vote
ENTCS
2007
15 years 6 months ago
2007
Generation of labelled transition systems from system specifications is highly dependent on efficient rewriting (or related techniques). We give an account of the implementation ...
139
click to vote
SIAMCOMP
2008
15 years 6 months ago
2008
We show that a set is m-autoreducible if and only if it is m-mitotic. This solves a long standing open question in a surprising way. As a consequence of this unconditional result a...
150
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
We present a number of, somewhat unusual, ways of describing what Craig's interpolation theorem achieves, and use them to identify some open problems and further directions. K...
152
click to vote
JACM
2007
15 years 6 months ago
2007
We solve an open question of Milner [1984]. We define a set of so-called well-behaved finite automata that, modulo bisimulation equivalence, corresponds exactly to the set of reg...