Sciweavers

268 search results - page 9 / 54
» Expressive Power of Grammatical Formalisms
Sort
View
DATESO
2008
129views Database» more  DATESO 2008»
13 years 10 months ago
Database Engineering from the Category Theory Viewpoint
Abstract. This paper gives an overview of XML formal models, summarizes database engineering practices, problems and their evolution. We focus on categorical aspects of XML formal ...
David Toth
RIVF
2007
13 years 10 months ago
Generalized Percolation Processes Using Pretopology Theory
Abstract— We propose in this paper a generalization of percolation processes in Z2 using the pretopology theory. We formalize the notion of neighborhood by extending it to the co...
Soufian Ben Amor, V. Levorato, Ivan Lavallé...
FMCO
2005
Springer
14 years 2 months ago
Separation Results Via Leader Election Problems
Abstract. We compare the expressive power of process calculi by studying the problem of electing a leader in a symmetric network of processes. We consider the π-calculus with mixe...
Maria Grazia Vigliotti, Iain Phillips, Catuscia Pa...
DLOG
2010
13 years 6 months ago
Towards Formal Comparison of Ontology Linking, Mapping and Importing
Multiple distributed and modular ontology representation frameworks have recently appeared. They typically extend Description Logics (DL), with new constructs to represent relation...
Martin Homola, Luciano Serafini
WWW
2005
ACM
14 years 9 months ago
Expressiveness of XSDs: from practice to theory, there and back again
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions (DTDs) by extending them with a recursive typing mechanism. However, an invest...
Geert Jan Bex, Wim Martens, Frank Neven, Thomas Sc...