Sciweavers

201 search results - page 33 / 41
» Flexible tool support for accessibility evaluation
Sort
View
119
Voted
NAR
2010
140views more  NAR 2010»
14 years 6 months ago
GUIDANCE: a web server for assessing alignment confidence scores
Evaluating the accuracy of multiple sequence alignment (MSA) is critical for virtually every comparative sequence analysis that uses an MSA as input. Here we present the GUIDANCE ...
Osnat Penn, Eyal Privman, Haim Ashkenazy, Giddy La...
VSTTE
2010
Springer
14 years 9 months ago
Dafny Meets the Verification Benchmarks Challenge
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
K. Rustan M. Leino, Rosemary Monahan
103
Voted
CHI
2002
ACM
16 years 23 hour ago
SCANMail: a voicemail interface that makes speech browsable, readable and searchable
Increasing amounts of public, corporate, and private speech data are now available on-line. These are limited in their usefulness, however, by the lack of tools to permit their br...
Steve Whittaker, Julia Hirschberg, Brian Amento, L...
112
Voted
GRID
2004
Springer
15 years 5 months ago
Parallel and Distributed Astronomical Data Analysis on Grid Datafarm
A comprehensive study of the whole petabyte-scale archival data of astronomical observatories has a possibility of new science and new knowledge in the field, while it was not fe...
Naotaka Yamamoto, Osamu Tatebe, Satoshi Sekiguchi
114
Voted
EDBT
2004
ACM
143views Database» more  EDBT 2004»
15 years 11 months ago
OGSA-DQP: A Service for Distributed Querying on the Grid
OGSA-DQP is a distributed query processor exposed to users as an Open Grid Services Architecture (OGSA)-compliant Grid service. This service supports the compilation and evaluation...
M. Nedim Alpdemir, Arijit Mukherjee, Anastasios Go...