3143 search results - page 512 / 629 » Minimization of entropy functionals |
160
Voted
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...
135
Voted
ESTIMEDIA
2006
Springer
15 years 7 months ago
2006
Springer
Efficient and deadlock-free routing is critical to the performance of networks-on-chip. In this paper we present an approach that can be coupled to any adaptive routing algorithm ...
128
Voted
GCC
2006
Springer
15 years 7 months ago
2006
Springer
Interoperability between different Grid implementations is attracting more and more attention to seamlessly job execution. In this paper, one approach is proposed to implement the...
113
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents a new method for 3D cutting of geometrical space with application to airspace sectoring. This problem comes from the air traffic management but the proposed me...
147
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Our human body is well protected by antibodies from our biological immune system. This protection system matured over millions of years and has proven its functionality. In our re...