1302 search results - page 181 / 261 » Soundness in the Public-Key Model |
153
click to vote
VISUALIZATION
2005
IEEE
15 years 12 months 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...
128
click to vote
APLAS
2005
ACM
15 years 12 months ago
2005
ACM
The formal core calculus .FJ has been introduced to model lightweight family polymorphism, a programming style to support reusable yet type-safe mutually recursive classes. This pa...
148
click to vote
ADBIS
2005
Springer
15 years 12 months ago
2005
Springer
Form documents or screen forms bring essential information on the data manipulated by an organization. They can be considered as different but often overlapping views of its whole...
171
click to vote
CCIA
2005
Springer
15 years 12 months ago
2005
Springer
IntraVascular UltraSound (IVUS) imaging is a useful tool in diagnosis of cardiac diseases since sequences completely show the morphology of coronary vessels. Vessel borders detecti...
139
click to vote
ECOOP
2005
Springer
15 years 12 months ago
2005
Springer
Traits support the factoring out of common behaviour, and its integration into classes in a manner that coexists smoothly with inheritance-based structuring mechanisms. We designed...