1717 search results - page 331 / 344 » A Computable Spectral Theorem |
100
click to vote
CCS
2006
ACM
15 years 4 months ago
2006
ACM
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications,...
120
click to vote
KBSE
2000
IEEE
15 years 4 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
105
Voted
LICS
1991
IEEE
15 years 3 months ago
1991
IEEE
We present an elementary axiomatisation of synthetic domain theory and show that it is sufficient to deduce the fixed point property and solve domain equations. Models of these a...
123
click to vote
CIE
2008
Springer
15 years 2 months ago
2008
Springer
Nested datatypes are families of datatypes that are indexed over all types and where the datatype constructors relate different members of the family. This may be used to represent...
122
click to vote
MIR
2010
ACM
15 years 2 months ago
2010
ACM
This paper presents a classification-driven biomedical image retrieval system to bride the semantic gap by transforming image features to their global categories at different gran...