您要查找的是不是：
- Emphases are put on counterexample-guided abstraction refinement and interpolation-based abstraction refinement, including the principles and improvements. 重点分析了反例指导的抽象求精和基于插值的抽象求精原理;
- Counterexample-Guided Abstraction Refinement(CEGAR) algorithm CEGAR算法
- Her mother is a woman with great refinement. 她母亲是一个非常文雅的女人。
- There is an air of abstraction in her face. 她脸上带着一种心不在焉的神态。
- Good manners and correct speech are marks of refinement. 彬彬有礼和谈吐得体是文雅的标志。
- I can not understand the so abstract concept. 我无法理解如此抽象的观念。
- abstraction refinement 抽象求精
- He's hung on abstract art this year. 今年他对抽象艺术很感兴趣。
- Based on speculative or abstract reasoning. 哲学上的，理论上的建立在思辩或抽象的推论之上的
- Abstract words are beyond the ken of children. 抽象的词语是幼童所无法理解的。
- Lacking good manners, culture, or refinement. 粗鲁的缺乏良好的举止，文化，或修养的
- Abstract art is an acquired taste. 抽象派艺术要慢慢才会欣赏。
- Lacking tact, refinement, or taste. 粗野的缺乏机智、文雅或品味的
- Abstract painting and sculpture. 抽象派的绘画和雕塑
- Sensitivity of perception, discrimination, or taste; refinement. 敏锐，敏感洞察力、辨别力或品味的敏感; 精密
- Marked by refinement in taste and manners; cultured; polished. 高尚的，有教养的品味和举止优雅的; 有文化的; 有修养的
- The idea of redness is an abstraction. 红色概念是一种抽象概念。
- Characterized by weakness and excessive refinement. 柔弱的以纤弱和过于纤细为特征的
- A refinement of the calculation is warranted. 计算的精度是可靠的。
- This is usually an unnecessary refinement. 这通常不必过分精细。
