1011 search results - page 70 / 203 » The three dimensions of proofs |
148
click to vote
ECOOP
2007
Springer
16 years 16 days ago
2007
Springer
Applying changes to a program results typically in stopping the program execution. This is not acceptable for highly available applications. Such applications should be evolved at ...
132
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
The well-known Griewangk function, used for evaluation of evolutionary algorithms, becomes easier as the number of dimensions grows. This paper suggests three alternative implemen...
163
click to vote
ICCSA
2005
Springer
15 years 12 months ago
2005
Springer
We discuss the deletion of a single vertex in a Delaunay tetrahedralization (DT). While some theoretical solutions exist for this problem, the many degeneracies in three dimensions...
178
click to vote
GD
2004
Springer
15 years 11 months ago
2004
Springer
Large graphs are difficult to browse and to visually explore. This note adds up evidence that some graph drawing techniques, which produce readable layouts when applied to medium-s...
177
click to vote
PARA
2004
Springer
15 years 11 months ago
2004
Springer
The AgentScape middleware is designed to support deployment of agent-based applications on Internet-scale distributed systems. With the design of AgentScape, three dimensions of sc...