2446 search results - page 389 / 490 » Principles of dataspace systems |
WEBI
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we present an efficient model for discovering repeated patterns in symbolic representations of music. Combinatorial redundancy inherent to the pattern discovery pa...
AIED
2005
Springer
14 years 2 months ago
2005
Springer
Modern computer games show potential not just for engaging and entertaining users, but also in promoting learning. Game designers employ a range of techniques to promote long-term ...
MM
2004
ACM
14 years 2 months ago
2004
ACM
living-room is an augmented reality (AR) installation developed to study interactive, space-oriented AR-scenarios. The installation consists of the living-room box, a room that is...
AFP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
AMAST
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...