5964 search results - page 424 / 1193 » A theory of speculative computation |
204
click to vote
COMPGEOM
2007
ACM
15 years 11 months ago
2007
ACM
We show how to embed a 3-connected planar graph with n vertices as a 3-polytope with small integer coordinates. The coordinates are bounded by O(27.55n ). The crucial part is the ...
218
click to vote
AMAST
2006
Springer
15 years 11 months ago
2006
Springer
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...
194
click to vote
AUSAI
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. SharedPlans is an agent teamwork model that provides a formalization of the conditions under which a group of agents has a collaborative plan. This paper describes a gene...
166
click to vote
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
In this article, new variation operators for evolutionary multiobjective algorithms (EMOA) are proposed. On the basis of a predator-prey model theoretical considerations as well a...
174
click to vote
APSEC
2001
IEEE
15 years 11 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...