998 search results - page 78 / 200 » From Feasible Proofs to Feasible Computations |
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we present the application of evolutionary optimization methods to a demanding, industrially relevant engineering domain, the three-dimensional optimization of gas ...
ICESS
2005
Springer
14 years 2 months ago
2005
Springer
Complexity of software systems has significantly grown with social dependence on computer system, especially for mobile and internet. So we present component-based communication pr...
SG
2005
Springer
14 years 2 months ago
2005
Springer
: Cross-sectioning is a popular method for visualizing the complicated inner structures of three-dimensional volume datasets. However, the process is usually manual, meaning that a...
WMPI
2004
ACM
14 years 2 months ago
2004
ACM
User-controllable coherence revives the idea of cooperation between software and hardware in an attempt to bridge the gap between efficient small-scale shared memory machines and m...
IBERAMIA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In constraint satisfaction, a general rule is to tackle the hardest part of a search problem first. In this paper, we introduce a parameter (τ) that measures the constr...