3238 search results - page 462 / 648 » Multi-return function call |
177
click to vote
EMSOFT
2007
Springer
16 years 20 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
172
click to vote
GECCO
2007
Springer
16 years 20 days ago
2007
Springer
As a learning method support vector machine is regarded as one of the best classifiers with a strong mathematical foundation. On the other hand, evolutionary computational techniq...
174
click to vote
ICN
2007
Springer
16 years 19 days ago
2007
Springer
Long-range dependence characteristics have been observed in many natural or physical phenomena. In particular, a significant impact on data network performance has been shown in se...
206
click to vote
ISBRA
2007
Springer
16 years 19 days ago
2007
Springer
Proteins are large organic compounds made of amino acids arranged in a linear chain (primary structure). Most proteins fold into unique threedimensional (3D) structures called inte...
201
click to vote
IWIC
2007
Springer
16 years 19 days ago
2007
Springer
The Internet has already connected people and established a mature online community. The use of WWW is also in the main stream of disseminating one’s information and services. In...