1415 search results - page 171 / 283 » Verified systems by composition from verified components |
176
click to vote
DAWAK
2006
Springer
15 years 10 months ago
2006
Springer
In the paper, a new evolutionary algorithm (EA) for mixed tree learning is proposed. In non-terminal nodes of a mixed decision tree different types of tests can be placed, ranging ...
157
click to vote
CCGRID
2001
IEEE
15 years 10 months ago
2001
IEEE
Recent advances in computing and communication have given rise to the computational grid notion. The core of this computing paradigm is the design of a system for drawing compute ...
150
click to vote
IFIP8
2007
15 years 7 months ago
2007
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...
160
click to vote
CSREASAM
2006
15 years 7 months ago
2006
- This paper proposes a new method to detect, alert and protect the user from Internationalized Domain Names [1] (IDN) and Uniform Resource Locator (URL) spoofing, phishing, pharmi...
141
click to vote
ESANN
2000
15 years 7 months ago
2000
Using a nonlinear 15-state helicopter model in 6 DOF, two di erent neural control systems, both acting as rate damping, have been designed and compared. They are both based on the ...