17298 search results - page 3284 / 3460 » Abstract computing machines |
141
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a whole curriculum in the ar...
131
click to vote
CHARME
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
120
click to vote
COCOON
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Phylogenetic reconstruction from gene-rearrangement data is attracting increasing attention from biologists and computer scientists. Methods used in reconstruction includ...
149
click to vote
DRM
2005
Springer
15 years 9 months ago
2005
Springer
Interoperability is currently seen as one of the most significant problems facing the digital rights management (DRM) industry. In this paper we consider the problem of interoper...
102
click to vote
GI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract: Oft liegt ein Musikst¨uck sowohl als Partitur als auch in Form unterschiedlicher Audioaufnahmen vor. In diesem Beitrag beschreiben wir ein Synchronisationsverfahren, das...