3238 search results - page 324 / 648 » On the Computational Interpretation of Negation |
162
click to vote
ICMCS
2006
IEEE
16 years 23 days ago
2006
IEEE
Audio Fingerprints (AFP’s) are compact, content-based representations of audio signals used to measure distances among them. An AFP has to be small, fast computed and robust to ...
152
click to vote
SAC
2006
ACM
16 years 20 days ago
2006
ACM
In the paper we describe the problem of grouping and aggregation in the concept-oriented data model. The model is based on ordering its elements within a hierarchical multidimensi...
153
click to vote
APSEC
2005
IEEE
16 years 10 days ago
2005
IEEE
— In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communicat...
175
click to vote
ICDCSW
2005
IEEE
16 years 9 days ago
2005
IEEE
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...
177
click to vote
NCA
2005
IEEE
16 years 9 days ago
2005
IEEE
In this paper, fundamental conditions which bound the network processing unit (NPU) worst-case performance are established. In particular, these conditions formalize and integrate...