Sciweavers

170 search results - page 3 / 34
» Program Annotation in XML: A Parse-Tree Based Approach
Sort
View
LICS
2007
IEEE
13 years 11 months ago
First-Order and Temporal Logics for Nested Words
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
Rajeev Alur, Marcelo Arenas, Pablo Barceló,...
WWW
2008
ACM
14 years 6 months ago
Extracting XML schema from multiple implicit xml documents based on inductive reasoning
We propose a method of classifying XML documents and extracting XML schema from XML by inductive inference based on constraint logic programming. The goal of this work is to type ...
Masaya Eki, Tadachika Ozono, Toramatsu Shintani
WETICE
2000
IEEE
13 years 9 months ago
Integrating XML and Object-Based Programming for Distributed Collaboration
In this paper, we explore some of the new opportunities for distributed collaborative applications that emerge from the use of XML as a data specification language. We present two...
Vassil Roussev, Prasun Dewan, Naveen Koorakula, Sr...
HPCS
2007
IEEE
13 years 11 months ago
Semantically Enabling the Global Geodynamics Project: Incorporating Feature-Based Annotations via XML Pointer Language (XPointer
Earth Science Markup Language (ESML) is efficient and effective in representing scientific data in an XML-based formalism. However, features of the data being represented are no...
L. Ian Lumb, J. I. Lederman, J. R. Freemantle, Kei...
RR
2010
Springer
13 years 3 months ago
A Rule-Based Approach to XML Processing and Web Reasoning
Abstract. We illustrate the potential of conditional hedge transformations in Web-related applications on the example of PρLog: an extension of logic programming with advanced rul...
Jorge Coelho, Besik Dundua, Mário Florido, ...