1684 search results - page 72 / 337 » The lexicographic decision function |
150
Voted
ATAL
2011
Springer
14 years 3 months ago
2011
Springer
Autonomous mobile robots are considered a valuable technology for search and rescue applications, where an initially unknown environment has to be explored to locate human victims...
95
Voted
ICCBR
2009
Springer
15 years 10 months ago
2009
Springer
In forestry, it is important to be able to accurately determine the volume of timber in a harvesting site and the products that could potentially be produced from that timber. We d...
ISICA
2007
Springer
15 years 9 months ago
2007
Springer
In this paper the authors point out that the Pareto Optimality is unfair, unreasonable and imperfect for Many-objective Optimization Problems (MOPs) underlying the hypothesis that ...
112
Voted
CAV
2004
Springer
15 years 9 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
153
Voted
LATIN
2004
Springer
15 years 9 months ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...