Sciweavers

1487 search results - page 289 / 298
» On Validating Engineering Design Decision Support Tools
Sort
View
BMCBI
2010
141views more  BMCBI 2010»
14 years 11 months ago
CIG-DB: the database for human or mouse immunoglobulin and T cell receptor genes available for cancer studies
Background: Immunoglobulin (IG or antibody) and the T-cell receptor (TR) are pivotal proteins in the immune system of higher organisms. In cancer immunotherapy, the immune respons...
Yoji Nakamura, Tomoyoshi Komiyama, Motoki Furue, T...
SIGIR
2011
ACM
14 years 2 months ago
ViewSer: enabling large-scale remote user studies of web search examination and interaction
Web search behaviour studies, including eye-tracking studies of search result examination, have resulted in numerous insights to improve search result quality and presentation. Ye...
Dmitry Lagun, Eugene Agichtein
PLDI
2012
ACM
13 years 2 months ago
Test-case reduction for C compiler bugs
To report a compiler bug, one must often find a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing ...
John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Ch...
OOPSLA
2005
Springer
15 years 5 months ago
Finding application errors and security flaws using PQL: a program query language
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
Michael C. Martin, V. Benjamin Livshits, Monica S....
MM
2004
ACM
130views Multimedia» more  MM 2004»
15 years 5 months ago
An approach to interactive media system for mobile devices
The interactive system which interacts human with computer has been recognized as one direction of computer development for a long time. For example, in cinema, a person gets info...
Eun-Seok Ryu, Chuck Yoo