10 search results - page 2 / 2 » On the Borel Complexity of MSO Definable Sets of Branches |
DAGSTUHL
1996
13 years 6 months ago
1996
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
ADBIS
2006
Springer
13 years 11 months ago
2006
Springer
In many information systems, the databases that make up the system are distributed in different modules or branch offices according to the requirements of the business enterprise. ...
EKAW
2008
Springer
13 years 7 months ago
2008
Springer
A promising application domain for Semantic Web technology is the annotation of products and services offerings on the Web so that consumers and enterprises can search for suitable...
JACM
2008
13 years 5 months ago
2008
XML queries are usually expressed by means of XPath expressions identifying portions of the selected documents. An XPath expression defines a way of navigating an XML tree and ret...
BMCBI
2007
13 years 5 months ago
2007
Background: Evolutionary analysis provides a formal framework for comparative analysis of genomic and other data. In evolutionary analysis, observed data are treated as the termin...