Sciweavers

432 search results - page 26 / 87
» On Notions of Regularity for Data Languages
Sort
View
ECSQARU
1997
Springer
13 years 11 months ago
Cactus: A Branching-Time Logic Programming Language
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
Panos Rondogiannis, Manolis Gergatsoulis, Themis P...
CAI
2009
Springer
14 years 2 months ago
The Graph Programming Language GP
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...
Detlef Plump
CN
1999
88views more  CN 1999»
13 years 7 months ago
Formsheets and the XML Forms Language
This paper presents XForm -- a proposal for a general and powerful mechanism for handling forms in XML. XForm defines form -- related constructs independent of any particular XML ...
Anders Kristensen
ODBIS
2007
Springer
157views Database» more  ODBIS 2007»
14 years 1 months ago
An Extension of SPARQL for RDFS
Abstract. RDF Schema (RDFS) extends RDF with a schema vocabulary with a predefined semantics. Evaluating queries which involve this vocabulary is challenging, and there is not yet...
Marcelo Arenas, Claudio Gutierrez, Jorge Pé...
NAACL
2007
13 years 9 months ago
A Random Text Model for the Generation of Statistical Language Invariants
A novel random text generation model is introduced. Unlike in previous random text models, that mainly aim at producing a Zipfian distribution of word frequencies, our model also ...
Chris Biemann