6800 search results - page 231 / 1360 » Testing with Functions as Specifications |
179
Voted
LION
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Protein function prediction represents a fundamental challenge in bioinformatics. The increasing availability of proteomics network data has enabled the development of se...
110
click to vote
ICMCS
2007
IEEE
15 years 11 months ago
2007
IEEE
We propose a new DCT-based energy function EDCT for objectoriented segmentation and compression. By minimizing EDCT the best possible split of the image blocks can be found which ...
158
Voted
ATS
2003
IEEE
15 years 10 months ago
2003
IEEE
A new technique for synthesizing totally symmetric Boolean functions is presented that achieves complete robust path delay fault testability. We apply BDDs for the synthesis of sy...
150
click to vote
APCCAS
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper considers z-domain transfer functions whose denominator polynomial possesses the property that the coefficient of zi is greater than the coefficient of zi-1 . Such trans...
135
click to vote
EVOW
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we study a complex real world workforce scheduling problem. We apply constructive search and variable neighbourhood search (VNS) metaheuristics and enhance these meth...