768 search results - page 54 / 154 » Symbolic and Abstract Interpretation for C C Programs |
PPSN
1994
Springer
14 years 1 days ago
1994
Springer
Abstract. The mutation distribution of evolutionary algorithms usually is oriented at the type of the search space. Typical examples are binomial distributions for binary strings i...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper presents a new Abductive Logic Programming (ALP) approach for assisting clinicians in the selection of antiretroviral drugs for patients infected with Human Im...
ULPAA
1994
13 years 9 months ago
1994
object-oriented abstractions is described that permits direct programming with ASN.1 speci ed types. The design and implementation also supports the exible use of di erent encoding...
ROBOCUP
2001
Springer
14 years 12 days ago
2001
Springer
Abstract. The RoboCup Simulator League provides an excellent platform for research on swarm computing. Our research focuses on group behaviors emerge from collections of actors mak...
ICCAD
2001
IEEE
14 years 4 months ago
2001
IEEE
This paper presents a method to automatically generate posynomial response surface models for the performance parameters of analog integrated circuits. The posynomial models enabl...