725 search results - page 39 / 145 » Intelligent Techniques in Stock Analysis |
CEC
2009
IEEE
14 years 6 months ago
2009
IEEE
—Using semantic analysis, we present a technique known as semantically driven mutation which can explicitly detect and apply behavioural changes caused by the syntactic changes i...
CEEMAS
2001
Springer
14 years 3 months ago
2001
Springer
This paper reports on two case-studies of applying BAN logic to industrial strength security protocols. These studies demonstrate the flexibility of the BAN language, as it caters...
CEC
2007
IEEE
14 years 5 months ago
2007
IEEE
Independent Component Analysis, a computationally efficient statistical signal processing technique, has been an area of interest for researchers for many practical applications in...
CIDM
2009
IEEE
14 years 6 months ago
2009
IEEE
— Several studies have analyzed the link between mental dysfunctions and eye movements, using eye tracking techniques to determine where a person is looking, that is, the fixati...
APN
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. Symbolic techniques based on BDDs (Binary Decision Diagrams) have emerged as an e cient strategy for the analysis of Petri nets. The existing techniques for the symbolic ...