1411 search results - page 63 / 283 » Interactive Coding for Interactive Proofs |
ICSE
1997
IEEE-ACM
14 years 3 months ago
1997
IEEE-ACM
Implementing, validating, modifying, or reengineering an object-oriented system requires an understanding of the object and class interactions which occur as a program executes. T...
NAR
2008
13 years 11 months ago
2008
The Biological General Repository for Interaction Datasets (BioGRID) database (http://www. thebiogrid.org) was developed to house and distribute collections of protein and genetic...
107
click to vote
NAR
2011
13 years 5 months ago
2011
The Biological General Repository for Interaction Datasets (BioGRID) is a public database that archives and disseminates genetic and protein interaction data from model organisms ...
HRI
2006
ACM
14 years 5 months ago
2006
ACM
This paper describes an extensive analysis of the comfort level data of 7 subjects with respect to 12 robot behaviours as part of a human-robot interaction trial. This includes ro...
IFIP
1994
Springer
14 years 3 months ago
1994
Springer
There have been innumerable glowing reports of the way hypermedia systems allow users to explore and use vast amounts of information in ways not possible using traditional informa...