741 search results - page 111 / 149 » User Modelling for Interactive User-Adaptive Collection Stru... |
131
click to vote
MM
2003
ACM
15 years 7 months ago
2003
ACM
We present MuSA.RT, Opus 1, a multimodal interactive system for music analysis and visualization using the Spiral Array model. Real-time MIDI input from a live performance is proc...
WER
2005
Springer
15 years 7 months ago
2005
Springer
There are a significant number of proposals for modelling and developing Web Applications, but very few of them state rigorously how to elicit and represent requirements, and how t...
115
click to vote
EUROPAR
2003
Springer
15 years 7 months ago
2003
Springer
The future mobile and ubiquitous computing world will need new forms of information sharing and collaboration between people. In this paper we present iClouds, an architecture for ...
114
click to vote
GW
1999
Springer
15 years 6 months ago
1999
Springer
Led by the fundamental role that rhythms apparently play in speech and gestural communication among humans, this study was undertaken to substantiate a biologically motivated model...
208
click to vote
FROCOS
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...