1585 search results - page 167 / 317 » A framework for computer-aided validation |
163
Voted
IPCO
2008
15 years 5 months ago
2008
Abstract. Semidefinite relaxations are known to deliver good approximations for combinatorial optimization problems like graph bisection. Using the spectral bundle method it is pos...
166
Voted
ICONIP
2007
15 years 5 months ago
2007
Abstract. An effective way to examine causality is to conduct an experiment with random assignment. However, in many cases it is impossible or too expensive to perform controlled ...
181
Voted
SIMUTOOLS
2008
15 years 5 months ago
2008
MIPv6 is the IPv6 based mobility management protocol and it is expected to become the mobility management protocol of choice for the Next Generation Wireless Access Networks. In o...
118
Voted
EUSFLAT
2001
15 years 5 months ago
2001
This paper reports an early progress of a feasibility study of a computational intelligence approach to the enhancement of the accuracy of flow measurements in the framework of a ...
115
Voted
ESM
2000
15 years 5 months ago
2000
The framework of this paper is the design of complex communication protocols by simulation, based on formal description techniques (FDT). We propose a general-purpose scalable mod...