1423 search results - page 205 / 285 » Languages of Nested Trees |
264
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization XML Schema. A formal semantic...
171
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
We investigate the problem of determining the polarity of sentiments when one or more occurrences of a negation term such as “not” appear in a sentence. The concept of the sco...
176
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. TaxoMap is an alignment tool which aims to discover rich correspondences between concepts. It performs an oriented alignment (from a source to a target ontology) and take...
164
click to vote
ESOP
2007
Springer
16 years 26 days ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
163
Voted
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...