5401 search results - page 314 / 1081 » Using Versions in GIS |
192
click to vote
AWPN
2008
15 years 8 months ago
2008
In this paper we propose a method and present a tool as plugin for Renew that supports the process of discovery of differences in possibly conflicting versions of Petri net code. T...
165
click to vote
LREC
2008
15 years 8 months ago
2008
This paper focuses on different aspects of collaborative work used to create the electronic version of a dictionary in paper format, edited and printed by the Romanian Academy dur...
184
click to vote
FECS
2006
15 years 8 months ago
2006
This paper presents the results of a semester's experiments with producing instruction in "castable" format for iPODs and PDAs. The program involved is a non-tradit...
209
click to vote
MASCOTS
2004
15 years 8 months ago
2004
In this paper, we describe the dual-processor parallelisation of a symbolic (BDD-based) implementation of probabilistic model checking. We use multi-terminal BDDs, which allow a c...
147
click to vote
FIMI
2003
15 years 8 months ago
2003
We describe an implementation of an algorithm for enumerating all maximal frequent sets using irredundant dualization, which is an improved version of that of Gunopulos et al. The...