Sciweavers

1236 search results - page 190 / 248
» The Role of Time in Engineering Computer Music Systems
Sort
View
USENIX
2003
15 years 1 months ago
xstroke: Full-screen Gesture Recognition for X
Gesture recognition is a common method of text input on handheld and other pen-based computing devices. Xstroke is a full-screen gesture recognition program for the X Window Syste...
Carl D. Worth
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
15 years 5 months ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride
AI
2010
Springer
14 years 12 months ago
Interactive semantics
instruments. A melody expresses abstract artistic conception or emotion. The explanation ability plays the key role in the externalization and internalization from one form of expr...
Hai Zhuge
PERCOM
2006
ACM
15 years 11 months ago
Semantic Indexing for Recorded Educational Lecture Videos
In this paper, we present a general architecture and a new retrieval method for an educational system that is based on a knowledge base of existing recorded lectures. The extracti...
Stephan Repp, Christoph Meinel
POLICY
2005
Springer
15 years 5 months ago
Obligation Policies: An Enforcement Platform
The use of policy-based mechanisms significantly reduces the complexity associated with applicational development and operation. In particular, history-based policies allow the s...
Pedro Gama, Paulo Ferreira