Sciweavers

12745 search results - page 2264 / 2549
» Automating test automation
Sort
View
NGC
1998
Springer
115views Communications» more  NGC 1998»
15 years 6 months ago
On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
Maria Paola Bonacina, Jieh Hsiang
PAMI
2002
195views more  PAMI 2002»
15 years 6 months ago
Detecting Faces in Images: A Survey
Images containing faces are essential to intelligent vision-based human computer interaction, and research efforts in face processing include face recognition, face tracking, pose ...
Ming-Hsuan Yang, David J. Kriegman, Narendra Ahuja
RE
2002
Springer
15 years 6 months ago
Improving the Requirements Engineering Process for an Electronic Clearinghouse
We present experience with improving the requirements engineering process for a telecommunications electronic clearinghouse that connects multiple trading partners. Software failu...
Mariusz A. Fecko, Christopher M. Lott
SIGKDD
2002
83views more  SIGKDD 2002»
15 years 6 months ago
Towards Effective and Interpretable Data Mining by Visual Interaction
The primary aim of most data mining algorithms is to facilitate the discovery of concise and interpretable information from large amounts of data. However, many of the current for...
Charu C. Aggarwal
SPE
2002
130views more  SPE 2002»
15 years 6 months ago
Unix tools as visual programming components in a GUI-builder environment
Development environments based on ActiveX controls and JavaBeans are marketed as "visual programming" platforms; in practice their visual dimension is limited to the des...
Diomidis Spinellis
« Prev « First page 2264 / 2549 Last » Next »