2125 search results - page 377 / 425 » Techniques for Measuring Quality of Experience |
114
Voted
CASCON
2007
15 years 2 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
102
Voted
JCB
2008
15 years 17 days ago
2008
Liquid chromatography coupled to mass spectrometry (LC-MS) has become a major tool for the study of biological processes. High-throughput LC-MS experiments are frequently conducte...
127
click to vote
JIB
2006
15 years 17 days ago
2006
Protein-protein interactions (PPI) play a key role in many biological systems. Over the past few years, an explosion in availability of functional biological data obtained from hi...
SIGMOD
2008
ACM
15 years 16 days ago
2008
ACM
Automated physical design tuning for database systems has recently become an active area of research and development. Existing tuning tools explore the space of feasible solutions...
85
Voted
TMI
2008
15 years 15 days ago
2008
Automated computer classification (ACC) techniques are needed to facilitate physician's diagnosis of complex diseases in individual patients. We provide an example of ACC usin...