284 search results - page 7 / 57 » hybrid 2003 |
ICPP
2003
IEEE
15 years 2 months ago
2003
IEEE
IPPS
2003
IEEE
15 years 2 months ago
2003
IEEE
GECCO
2003
Springer
15 years 2 months ago
2003
Springer
105
click to vote
ICFP
2003
ACM
2003
ACM
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines
15 years 9 months ago
We report on work in progress devoted to the formalization of an Ordered Logical Framework (OLF) based on a two-level architecture [8] in the Hybrid system. OLF here is a second-or...
GECCO
2003
Springer
15 years 2 months ago
2003
Springer
The Linear Ordering Problem(LOP), which is a well-known NP-hard problem, has numerous applications in various fields. Using this problem as an example, we illustrate a general pro...