1722 search results - page 263 / 345 » Generating Tests from Counterexamples |
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
This paper studies the problem of learning a full range of pairwise affinities gained by integrating local grouping cues for spectral segmentation. The overall quality of the spect...
HICSS
2010
IEEE
14 years 2 months ago
2010
IEEE
Social virtual worlds (SVWs) have become increasingly important environments for social interaction, especially for the younger generations. For SVWs to be economically sustainabl...
CEC
2009
IEEE
14 years 2 months ago
2009
IEEE
— Automatic protein structure predictors use the notion of energy to guide the search towards good candidate structures. The energy functions used by the state-of-the-art predict...
ICDAR
2009
IEEE
14 years 2 months ago
2009
IEEE
We propose a new algorithm for segmentation of off-line handwritten Arabic words. The algorithm segments the connected letters to smaller segments each of which contains no more t...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— The paper describes an indoor helicopter testbed that allows implementing and testing of bio-inspired control algorithms developed from scientific studies on insects. The heli...