Sciweavers

4806 search results - page 947 / 962
» Interactive uncertainty analysis
Sort
View
SIGIR
2008
ACM
13 years 9 months ago
Spoken content retrieval: Searching spontaneous conversational speech
The second workshop on Searching Spontaneous Conversational Speech (SSCS 2008) was held in Singapore on July 24, 2008 in conjunction with the 31st Annual International ACM SIGIR C...
Joachim Köhler, Martha Larson, Franciska de J...
SP
2008
IEEE
138views Security Privacy» more  SP 2008»
13 years 9 months ago
A performance tuning methodology with compiler support
We have developed an environment, based upon robust, existing, open source software, for tuning applications written using MPI, OpenMP or both. The goal of this effort, which inte...
Oscar Hernandez, Barbara M. Chapman, Haoqiang Jin
TCBB
2008
137views more  TCBB 2008»
13 years 9 months ago
Toward Verified Biological Models
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Adm...
JAR
2007
104views more  JAR 2007»
13 years 9 months ago
Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book
The Intelligent Book project aims to improve online education by designing materials that can model the subject matter they teach, in the manner of a Reactive Learning Environment...
William Billingsley, Peter Robinson
BMCBI
2005
149views more  BMCBI 2005»
13 years 9 months ago
The PD-(D/E)XK superfamily revisited: identification of new members among proteins involved in DNA metabolism and functional pre
Background: The PD-(D/E)XK nuclease superfamily, initially identified in type II restriction endonucleases and later in many enzymes involved in DNA recombination and repair, is o...
Jan Kosinski, Marcin Feder, Janusz M. Bujnicki