7167 search results - page 243 / 1434 » A Technique for Invariant Generation |
175
click to vote
IJCAI
2001
15 years 8 months ago
2001
We describe a framework that helps students learn from examples by generating example problem solutions whose level of detail is tailored to the students' domain knowledge. T...
241
click to vote
CG
2005
Springer
15 years 7 months ago
2005
Springer
An unstructured tetrahedral mesh generation algorithm for 3D model with constraints is presented. To automatically generate a tetrahedral mesh for model with constraints, an advan...
195
click to vote
ICIP
2007
IEEE
16 years 9 months ago
2007
IEEE
Discrimination of computer generated images from real images is becoming more and more important. In this paper, we propose the use of new features to distinguish computer generat...
168
click to vote
ACHI
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper we describe an automated system, and its attendant set of techniques and tools, that is able to generate novel multimedia experiences. Using existing online sources,...
163
click to vote
KBSE
2006
IEEE
16 years 1 months ago
2006
IEEE
Maintenance is recognised as the most difficult and expansive activity of the software development process. Numerous techniques and processes have been proposed to ease the mainte...