4166 search results - page 570 / 834 » Automating the constraining process |
135
click to vote
JAIR
2006
15 years 4 months ago
2006
Resolution is the rule of inference at the basis of most procedures for automated reasoning. In these procedures, the input formula is first translated into an equisatisfiable for...
124
click to vote
KBS
2008
15 years 4 months ago
2008
Image registration is the process of geometrically aligning images taken from different sensors, viewpoints or instances in time. It plays a key role in the detection of defects o...
157
click to vote
JOT
2006
15 years 4 months ago
2006
This paper discusses the use of design patterns during the transition phase from analysis to design of object-oriented systems. Pattern mining, which is the process of finding and...
143
Voted
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
Formally defining the knowledge units taught in a course helps instructors ensure a sound coverage of topics and provides an objective basis for comparing the content of two cours...
121
click to vote
IJMSO
2007
15 years 4 months ago
2007
: The development of new Information Technologies have originated new possibilities to develop pedagogical methodologies that provide the necessary knowledge and skills in the High...