1176 search results - page 72 / 236 » Implicit Abstraction Heuristics |
LPAR
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
CEC
2003
IEEE
14 years 3 months ago
2003
IEEE
Abstract- Usually the offspring-parent fitness correlation is used to visualize and analyze some caracteristics of fitness landscapes such as evolvability. In this paper, we intr...
AVBPA
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Weighted distance measure and discriminative training are two different approaches to enhance VQ-based solutions for speaker identification. To account for varying import...
INFOCOM
2002
IEEE
14 years 2 months ago
2002
IEEE
Abstract-In this paper, a new preemption policy is proposed and complemented with an adaptive scheme that aims to minimize rerouting. The preemption policy combines the three main ...
BROADNETS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract-- Optical Networks with wavelength routing are expected to form the backbone in the next generation wide area networks. The traffic grooming problem in optical networks is...