Sciweavers

1484 search results - page 92 / 297
» The Proteogenomic Mapping Tool
Sort
View
BCS
2008
15 years 7 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002
COMMA
2008
15 years 7 months ago
Requirements for reflective argument visualization tools: A Case for Using Validity as a Normative Standard
This paper formulates in the first part some requirements for a certain sort of computational argumentation systems, namely those which are designed for a very specific purpose: to...
Michael H. G. Hoffmann
LREC
2010
152views Education» more  LREC 2010»
15 years 7 months ago
NPCEditor: A Tool for Building Question-Answering Characters
NPCEditor is a system for building and deploying virtual characters capable of engaging a user in spoken dialog on a limited domain. The dialogue may take any form as long as the ...
Anton Leuski, David R. Traum
CGVR
2006
15 years 7 months ago
A Comparison of Real and Virtual 3D Construction Tools with Novice Users
In this paper, we present the results of a comparative evaluation of a "virtual Lego" system against real Lego bricks with novice users. The virtual Lego system was desi...
Hooman Baradaran, Wolfgang Stürzlinger
NAR
2008
127views more  NAR 2008»
15 years 6 months ago
miRBase: tools for microRNA genomics
miRBase is the central online repository for microRNA (miRNA) nomenclature, sequence data, annotation and target prediction. The current release (10.0) contains 5071 miRNA loci fr...
Sam Griffiths-Jones, Harpreet Kaur Saini, Stijn va...