12741 search results - page 335 / 2549 » Editorial and call for papers |
183
click to vote
JSW
2008
15 years 6 months ago
2008
In this paper we present an algorithm for thresholding images of historical documents. The main objective is to generate high quality monochromatic images in order to make them eas...
169
click to vote
JUCS
2008
15 years 6 months ago
2008
: This paper describes the taxonomy for designing interactive groupware systems. The taxonomy defines the objectives, methods and principles for classifying models and facilitates ...
191
click to vote
JUCS
2008
15 years 6 months ago
2008
: A precise model of the behavioral dynamics is a necessary precondition for the development of collaborative environments. In this paper we present a specification framework for c...
182
click to vote
JUCS
2006
15 years 6 months ago
2006
Abstract: In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance re...
196
click to vote
FUIN
2007
15 years 6 months ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...