370 search results - page 24 / 74 » The soft-output principle - reminiscences and new developmen... |
FMAM
2010
13 years 5 months ago
2010
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
ICCAD
2008
IEEE
14 years 4 months ago
2008
IEEE
— To ensure security and robustness of the next generation of Physically Unclonable Functions (PUFs), we have developed a new methodology for PUF design. Our approach employs int...
AAAI
1997
13 years 9 months ago
1997
It is well known that the performance of a stochastic local search procedure depends upon the setting of its noise parameter, and that the optimal setting varies with the problem ...
ICDE
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—Two major forms of information integration, federation and materialization, continue to dominate the market, embedded in separate products, each with their strengths and...
IJRR
2006
13 years 7 months ago
2006
A new approach for climbing hard vertical surfaces has been developed that allows a robot to scale concrete, stucco, brick and masonry walls without using suction or adhesives. The...