1722 search results - page 310 / 345 » Generating Tests from Counterexamples |
ICMLC
2010
Springer
13 years 6 months ago
2010
Springer
: Facing the 21st century the age of exploration-increasing of all kinds of knowledge and quickly development of information, how to promote the competition potential of our citize...
BMCBI
2010
13 years 7 months ago
2010
Background: Use of alternative gene promoters that drive widespread cell-type, tissue-type or developmental gene regulation in mammalian genomes is a common phenomenon. Chromatin ...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
In this paper, we present novel techniques that improve the computational and memory efficiency of algorithms for solving multi-label energy functions arising from discrete MRFs o...
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. The estimation of the epipolar geometry is especially difficult where the putative correspondences include a low percentage of inlier correspondences and/or a large subse...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
Color is one of the main visual cues and has been frequently used in image processing, analysis and retrieval. The extraction of highlevel color descriptors is an increasingly imp...