14347 search results - page 563 / 2870 » Interactive Granular Computing |
169
click to vote
VISUALIZATION
2005
IEEE
16 years 18 days ago
2005
IEEE
This paper presents our framework for music information retrieval and visualization (CoMIRVA). We focus on the functions for visualizing similarities between music artists or song...
224
click to vote
FOCS
1999
IEEE
15 years 11 months ago
1999
IEEE
We introduce the notion of non-malleable noninteractive zero-knowledge (NIZK) proof systems. We show how to transform any ordinary NIZK proof system into one that has strong non-m...
205
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
209
click to vote
HCW
1998
IEEE
15 years 11 months ago
1998
IEEE
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client server-based distributed systems. However, there a...
143
click to vote
VR
1993
IEEE
15 years 11 months ago
1993
IEEE
In recent times Virtual Reality has become a growing area within computer graphics with many and varied applications. Many systems suffer from inadequate performance resulting in ...