2799 search results - page 201 / 560 » computing 1998 |
117
Voted
CONCUR
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
119
click to vote
ECOOPW
1998
Springer
15 years 7 months ago
1998
Springer
: This paper describes the development of a model for the reflective treatment of both application and environmentally sourced exceptions. We show how a variety of exception models...
127
Voted
PPSN
1998
Springer
15 years 7 months ago
1998
Springer
This paper presents a comparative study of Evolutionary Algorithms (EAs) for Constraint Satisfaction Problems (CSPs). We focus on EAs where fitness is based on penalization of cons...
117
Voted
PPSN
1998
Springer
15 years 7 months ago
1998
Springer
Many optimization problems require the satisfaction of constraints in addition to their objectives. When using an evolutionary algorithm to solve such problems, these constraints c...
PPSN
1998
Springer
15 years 7 months ago
1998
Springer
This paper examines several niching and elitist models applied to Multiple-Objective Genetic Algorithms (MOGAs). Test cases consider a simple problem as well as multidisciplinary d...