Sciweavers

1100 search results - page 41 / 220
» Instrumenting annotated programs
Sort
View
116
Voted
SSPR
2000
Springer
15 years 4 months ago
Studies of Radical Model for Retrieval of Cursive Chinese Handwritten Annotations
Our research focuses on Chinese online ink matching that tries to match handwritten annotations with handwritten queries without attempting to recognize them. Previously, we propos...
Matthew Y. Ma, Chi Zhang, Patrick Shen-Pei Wang
98
Voted
AIED
2005
Springer
15 years 6 months ago
NavEx: Providing Navigation Support for Adaptive Browsing of Annotated Code Examples
This paper presents NavEx, an adaptive environment for accessing interactive programming examples. NavEx implements a specific kind of adaptive navigation support known as adaptive...
Michael Yudelson, Peter Brusilovsky
96
Voted
TLDI
2003
ACM
108views Formal Methods» more  TLDI 2003»
15 years 6 months ago
Inferring annotated types for inter-procedural register allocation with constructor flattening
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
Torben Amtoft, Robert Muller
130
Voted
BMCBI
2008
141views more  BMCBI 2008»
15 years 1 months ago
The development of PIPA: an integrated and automated pipeline for genome-wide protein function annotation
Background: Automated protein function prediction methods are needed to keep pace with high-throughput sequencing. With the existence of many programs and databases for inferring ...
Chenggang Yu, Nela Zavaljevski, Valmik Desai, Seth...
BMCBI
2008
163views more  BMCBI 2008»
15 years 1 months ago
The Annotation, Mapping, Expression and Network (AMEN) suite of tools for molecular systems biology
Background: High-throughput genome biological experiments yield large and multifaceted datasets that require flexible and user-friendly analysis tools to facilitate their interpre...
Frédéric Chalmel, Michael Primig