5277 search results - page 896 / 1056 » Virtual Audio Systems |
156
Voted
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
128
click to vote
EWCBR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We propose that traditional case-based recommender systems can be improved by informing them with context data describing the user's environment. We outline existing...
155
click to vote
CASES
2000
ACM
15 years 8 months ago
2000
ACM
This paper introduces the notion of a Flexible Instruction Processor (FIP) for systematic customisation of instruction processor design and implementation. The features of our app...
127
Voted
ITS
2000
Springer
15 years 8 months ago
2000
Springer
Training teams is an activity that is expensive, time-consuming, hazardous in some cases, and can be limited by availability of equipment and personnel. In team training, the focus...
153
Voted
ICMCS
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper introduces a new multi-media system for musical and graphical expression called MusiKalscope. Inside of MusiKalscope are two sub-systems: RhyMe and the Iamascope, conne...