Sciweavers

3457 search results - page 179 / 692
» A Symbol Is Not a Symbol
Sort
View
IJCOMSYS
2008
59views more  IJCOMSYS 2008»
15 years 6 months ago
Symbol detection in spatial multiplexing system using particle swarm optimization meta-heuristics
Adnan Ahmed Khan, Sajid Bashir, Muhammad Naeem, Sy...
IJFCS
2008
158views more  IJFCS 2008»
15 years 6 months ago
An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...
Anil Seth
IJISEC
2008
46views more  IJISEC 2008»
15 years 6 months ago
A symbolic framework for multi-faceted security protocol analysis
Andrea Bracciali, GianLuigi Ferrari, Emilio Tuosto
FMSD
2006
77views more  FMSD 2006»
15 years 6 months ago
Data structures for symbolic multi-valued model-checking
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...
Marsha Chechik, Arie Gurfinkel, Benet Devereux, Al...
IDA
2006
Springer
15 years 6 months ago
Towards symbolic mining of images with association rules: Preliminary results on textures
This paper presents new textural features which are based on association rules. We give a texture representation, which is an appropriate formalism, that allows straightforward app...
Matjaz Bevk, Igor Kononenko