2598 search results - page 106 / 520 » The Abstract Immune System Algorithm |
152
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
HYBRID
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructi...
VTC
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract-In fast time varying systems, the problem of acquiring the channel coefficients required for symbol decoding commonly arises. A method of resolving this problem is the use...
RSKT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper, we have proposed a prototype biometrics authentication system based upon fingerprint recognition. The major functional blocks of the proposed authenticati...
KES
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. We have developed the system "DAWN" (direction anticipation in web navigation) that learns navigational patterns to help users navigating through the world wide...