Sciweavers

2642 search results - page 380 / 529
» Improving the quality of software quality determination proc...
Sort
View
SIGIR
2005
ACM
15 years 12 months ago
Do summaries help?
We describe a task-based evaluation to determine whether multi-document summaries measurably improve user performance when using online news browsing systems for directed research...
Kathleen McKeown, Rebecca J. Passonneau, David K. ...
CP
2005
Springer
15 years 12 months ago
Solving Large-Scale Nonlinear Programming Problems by Constraint Partitioning
Abstract. In this paper, we present a constraint-partitioning approach for finding local optimal solutions of large-scale mixed-integer nonlinear programming problems (MINLPs). Ba...
Benjamin W. Wah, Yixin Chen
ICDCSW
2000
IEEE
15 years 10 months ago
Adaptive Real-Time Monitoring Mechanism for Replicated Distributed Video Player Systems
One of the main problems to ensure the quality of services (QoS) in video playback in a replicated distributed video player system is how to adapt to the changing network traffic ...
Chris C. H. Ngan, Kam-yiu Lam, Edward Chan
ICCAD
1996
IEEE
141views Hardware» more  ICCAD 1996»
15 years 10 months ago
An observability-based code coverage metric for functional simulation
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...
Srinivas Devadas, Abhijit Ghosh, Kurt Keutzer
EOR
2006
125views more  EOR 2006»
15 years 6 months ago
A genetic algorithm for robotic assembly line balancing
Flexibility and automation in assembly lines can be achieved by the use of robots. The robotic assembly line balancing (RALB) problem is defined for robotic assembly line, where d...
Gregory Levitin, Jacob Rubinovitz, Boris Shnits