1052 search results - page 86 / 211 » The Brandeis Annotation Tool |
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
PPDP
2001
Springer
14 years 19 days ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
LREC
2008
13 years 9 months ago
2008
We report about a project which brings together Natural Language Processing and eLearning. One of the functionalities developed within this project is the possibility to annotate ...
BMCBI
2011
13 years 3 months ago
2011
Background: Alternative splicing (AS) is a process which generates several distinct mRNA isoforms from the same gene by splicing different portions out of the precursor transcript...
BMCBI
2011
12 years 11 months ago
2011
Background: Intrinsically disordered proteins play important roles in various cellular activities and their prevalence was implicated in a number of human diseases. The knowledge ...