MICRO
2000
IEEE
14 years 6 months ago
2000
IEEE
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...
FM
2001
Springer
14 years 6 months ago
2001
Springer
A static program checker that performs modular checking can check one program module for errors without needing to analyze the entire program. Modular checking requires that each m...
WMTE
2002
IEEE
14 years 7 months ago
2002
IEEE
Our research aims at defining models and software tools in order to provide learners with a training memory. This memory is a computer-based space where a learner can organize and...
BIBE
2009
IEEE
14 years 7 months ago
2009
IEEE
Gene and protein structural and functional annotations expressed through controlled terminologies and ontologies are paramount especially for the aim of inferring new biomedical k...
ERCIMDL
2003
Springer
14 years 7 months ago
2003
Springer
Many readers annotate passages that are important to their work. If we understand the relationship between the types of marks on a passage and the passage’s ultimate utility in a...
CIKM
2003
Springer
14 years 7 months ago
2003
Springer
We present a general model and information server for the digital annotation of printed documents. The resulting annotation framework supports both informal and structured annotat...
SCAM
2003
IEEE
14 years 7 months ago
2003
IEEE
We characterise a computational model for processing annotated parse trees. The model is basically rewriting-based with specific provisions for dealing with annotations along the...
ERCIMDL
2004
Springer
14 years 7 months ago
2004
Springer
Abstract. This paper presents the results of our study regarding the different facets and ways of using annotations in both digital libraries and collaboratories. This study repres...
UIST
2004
ACM
14 years 7 months ago
2004
ACM
ScreenCrayons is a system for collecting annotations on any type of document or visual information from any application. The basis for the system is a screen capture upon which th...
VEE
2005
ACM
14 years 7 months ago
2005
ACM
Instrumentation is commonly used to track application behavior: to collect program profiles; to monitor component health and performance; to aid in component testing; and more. P...