3342 search results - page 491 / 669 » Automating Abstract Interpretation |
97
Voted
LPAR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The inverse method, due to Maslov, is a forward theorem proving method for cut-free sequent calculi that relies on the subformula property. The Logic of Bunched Implicati...
104
Voted
MKM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Automated knowledge management techniques critically depend on the availability of semantically enhanced documents which are hard to come by in practice. Starting from a ...
117
click to vote
PPSWR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...
82
Voted
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We have seen an increasing amount of interest in the application of Semantic Web technologies to Web services. The aim is to support automated discovery and composition o...
118
Voted
SSPR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. It is difficult to track, parse and model human-computer interactions during editing and revising of documents, but it is necessary if we are to develop automated technol...