1562 search results - page 90 / 313 » Convenience Over Correctness |
IJCNN
2007
IEEE
14 years 3 months ago
2007
IEEE
— In the process of learning a pattern I, the Fuzzy ARTMAP algorithm templates (i.e., the weight vectors corresponding to nodes of its category representation layer) compete for ...
ISCAS
2007
IEEE
14 years 3 months ago
2007
IEEE
— Digital fountain codes are becoming increasingly important for multimedia communications over networks subject to packet erasures. These codes have significantly lower complex...
P2P
2007
IEEE
14 years 3 months ago
2007
IEEE
To achieve higher efficiency over their unstructured counterparts, structured peer-to-peer systems hold each node responsible for serving a specified set of keys and correctly r...
SEW
2003
IEEE
14 years 2 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
LICS
1999
IEEE
14 years 1 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...