211 search results - page 20 / 43 » An Automated Approach to Increasing the Robustness of C Libr... |
119
click to vote
ICLP
2004
Springer
15 years 5 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
102
click to vote
ICCBR
2001
Springer
15 years 4 months ago
2001
Springer
It is useful for an intelligent software agent to be able to adapt to new demands from an environment. Such adaptation can be viewed as a redesign problem; an agent has some origin...
101
click to vote
DAC
2009
ACM
16 years 21 days ago
2009
ACM
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...
ECCV
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. This paper presents a new approach for fitting a 3D morphable model to images of faces, using self-adapting feature layers (SAFL). The algorithm integrates feature detect...
GECCO
1999
Springer
15 years 4 months ago
1999
Springer
X-ray spectroscopic analysis is a powerful tool for plasma diagnostics. We use genetic algorithms to automatically analyze experimental X-ray line spectra and discuss a particular...