2841 search results - page 181 / 569 » A Call to Order |
173
click to vote
GECCO
2004
Springer
16 years 14 days ago
2004
Springer
Many evolutionary algorithms have been lately developed for solving multiobjective problems, appealing or not to the Pareto optimality concept. Although, the evolutionary technique...
167
click to vote
ICS
2004
Tsinghua U.
16 years 13 days ago
2004
Tsinghua U.
The use of semi-Lagrangian formulations in numerical weather predication models (NWP) allows for an increase in time step size. Use of this method can increase performance of thes...
170
Voted
JIT
2004
Springer
16 years 13 days ago
2004
Springer
A software development unit called to renew or replace an existing corporate system may face some special problems in an established company with a lot of well-trained behavioral p...
204
Voted
RTA
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
197
click to vote
VMCAI
2004
Springer
16 years 12 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...