927 search results - page 57 / 186 » Detection of Simple Plagiarism in Computer Science Papers |
157
click to vote
IVC
2002
15 years 3 months ago
2002
In this paper we address the problem of producing an enlarged picture from a given digital image (zooming). We propose a method that tries to take into account information about d...
125
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
We introduce a computable framework for Lebesgue’s measure and integration theory in the spirit of domain theory. For an effectively given second countable locally compact Hausd...
128
click to vote
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...
136
click to vote
MCU
1998
15 years 5 months ago
1998
The paper extends some of the most recently obtained results on the computational universality of speci c variants of H systems (e.g. with regular sets of rules) and proves that we...
153
click to vote
GEOS
2007
Springer
15 years 10 months ago
2007
Springer
Spatio-temporal network is defined by a set of nodes, and a set of edges, where the properties of nodes and edges may vary over time. Such networks are encountered in a variety of...