10392 search results - page 1959 / 2079 » Introduction to Computer Science |
131
Voted
DRM
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we consider the functionality that a rights expression language (REL) should provide within a digital rights management (DRM) environment. We begin by noting the dea...
FLOPS
2006
Springer
15 years 4 months ago
2006
Springer
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...
97
Voted
SC
1995
ACM
15 years 4 months ago
1995
ACM
The problem of determining the evolutionary history of species in the form of phylogenetic trees is known as the phylogeny problem. We present a parallelization of the character c...
BIRTHDAY
1991
Springer
15 years 4 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
113
Voted
COMPGEOM
1987
ACM
15 years 4 months ago
1987
ACM
Calculating properties of polyhedra given only the set of the locations and neighborhoods of the vertices is easy. Possible properties include volume, surface area, and point cont...