Sciweavers

6941 search results - page 1172 / 1389
» Testing as a Certification Approach
Sort
View
SIAMSC
2008
147views more  SIAMSC 2008»
15 years 4 months ago
Global and Finite Termination of a Two-Phase Augmented Lagrangian Filter Method for General Quadratic Programs
We present a two-phase algorithm for solving large-scale quadratic programs (QPs). In the first phase, gradient-projection iterations approximately minimize an augmented Lagrangian...
Michael P. Friedlander, Sven Leyffer
RE
2006
Springer
15 years 4 months ago
Identifying Nocuous Ambiguities in Natural Language Requirements
We present a novel technique that automatically alerts authors of requirements to the presence of potentially dangerous ambiguities. We first establish the notion of nocuous ambig...
Francis Chantree, Bashar Nuseibeh, Anne N. De Roec...
IJCOMSYS
2007
88views more  IJCOMSYS 2007»
15 years 4 months ago
Potential performance bottleneck in Linux TCP
TCP is the most widely used transport protocol on the Internet today. Over the years, especially recently, due to requirements of high bandwidth transmission, various approaches h...
Wenji Wu, Matt Crawford
SIGIR
2008
ACM
15 years 4 months ago
Novelty and diversity in information retrieval evaluation
Evaluation measures act as objective functions to be optimized by information retrieval systems. Such objective functions must accurately reflect user requirements, particularly w...
Charles L. A. Clarke, Maheedhar Kolla, Gordon V. C...
SIGKDD
2008
132views more  SIGKDD 2008»
15 years 4 months ago
Retail sales prediction and item recommendations using customer demographics at store level
This paper outlines a retail sales prediction and product recommendation system that was implemented for a chain of retail stores. The relative importance of consumer demographic ...
Michael Giering
« Prev « First page 1172 / 1389 Last » Next »