1284 search results - page 229 / 257 » On Helping and Interactive Proof Systems |
AIS
2004
Springer
14 years 2 months ago
2004
Springer
This project implements an integrated biological information website that classifies technical documents, learns about users' interests, and offers intuitive interactive visua...
AI
2008
Springer
13 years 8 months ago
2008
Springer
This paper complements McCarthy's "The well designed child", in part by putting it in a broader context, the space of possible well designed progeny, and in part by...
BMCBI
2010
13 years 8 months ago
2010
Background: Biological knowledge is represented in scientific literature that often describes the function of genes/ proteins (bioentities) in terms of their interactions (biointe...
BMCBI
2006
13 years 8 months ago
2006
Background: The elucidation of whole-cell regulatory, metabolic, interaction and other biological networks generates the need for a meaningful ranking of network elements. Central...
ICS
2010
Tsinghua U.
14 years 6 months ago
2010
Tsinghua U.
We introduce the notion of "non-malleable codes" which relaxes the notion of error-correction and errordetection. Informally, a code is non-malleable if the message cont...