Search Sciweavers | Sciweavers

877 search results - page 18 / 176

» Annotated Revision Programs

click to vote

WCRE
2002
IEEE

448views Software Engineering» more WCRE 2002»

Program Annotation in XML: A Parse-Tree Based Approach

14 years 2 months ago

Download www.cs.may.ie

In this paper we describe a technique that can be used to annotate source code with syntactic tags in XML format. This is achieved by modifying the parser generator bison to emit ...

James F. Power, Brian A. Malloy

claim paper

Read More »

click to vote

ICLP
2010
Springer

181views Automated Reasoning» more ICLP 2010»

Using Generalized Annotated Programs to Solve Social Network Optimization Problems

14 years 1 months ago

Download lccd-content.umiacs.umd.edu

Abstract. Reasoning about social networks (labeled, directed, weighted graphs) is becoming increasingly important and there are now models of how certain phenomena (e.g. adoption o...

Paulo Shakarian, V. S. Subrahmanian, Maria Luisa S...

claim paper

Read More »

click to vote

BMCBI
2004

120views more BMCBI 2004»

pdb-care (PDB CArbohydrate REsidue check): a program to support annotation of complex carbohydrate structures in PDB files

13 years 9 months ago

Download www.biomedcentral.com

Background: Carbohydrates are involved in a variety of fundamental biological processes and pathological situations. They therefore have a large pharmaceutical and diagnostic pote...

Thomas Lütteke, Claus-Wilhelm von der Lieth

claim paper

Read More »

click to vote

LOPSTR
2007
Springer

103views Automated Reasoning» more LOPSTR 2007»

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

14 years 3 months ago