13383 search results - page 2337 / 2677 » Abstractions from proofs |
128
click to vote
ASIAN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A software birthmark is a unique characteristic of a program that can be used as a software theft detection. In this paper we suggest and empirically evaluate a static bi...
138
click to vote
CIKM
2007
Springer
15 years 10 months ago
2007
Springer
Problems resulting from the management of shared, distributed knowledge has led to ontologies being employed as a solution, in order to effectively integrate information across a...
160
click to vote
ERCIMDL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Optical music recognition (OMR) enables librarians to digitise early music sources on a large scale. The cost of expert human labour to correct automatic recognition erro...
150
click to vote
GIS
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we present a technique that generalizes 3D building groups of virtual 3D city models according to a cell structure that is derived from infrastructure networks. In ...
108
click to vote
GTTSE
2007
Springer
15 years 10 months ago
2007
Springer
With the increase of amount of transistors which can be contained on a chip and the constant expectation for more sophisticated applications, the design of Systems-on-Chip (SoC) is...