The Correspondence model of base-reduplicant identity (McCarthy & Prince 1995, to appear) makes the prediction that any kind of segmental phonological process may result in any of these situations through ranking of phonological constraints with faithfulness constraints on the input and output and the basereduplicant relationship. Normal application arises when base-reduplicant faithfulness con...

We present an inference-based text understanding methodology for the resolution of functional anaphora in the context of the centering model. A set of heuristic realization constraints is proposed, which incorporate language-independent conceptual criteria (based on the well-formedness and conceptual strength of role chains in a terminological knowledge base) and language-dependent information ...

Tagalog adjectives and nouns variably occur in two word orders, separated by an intermediary linker: adjective-linker-noun versus noun-linker-adjective. The linker has two phonologicallyconditioned surface forms (–ng and na). This paper presents a large-scale, web-based corpus study of adjective/noun order variation in Tagalog, focusing in particular on phonological conditions. Results show tha...

This paper presents a new framework for constructing fully CCA-secure predicate encryption schemes from pair encoding schemes. Our construction is the first in the context of predicate encryption which uses the technique of well-formedness proofs known from public key encryption. The resulting constructions are simpler and more efficient compared to the schemes achieved using known generic tran...

XML documents represent an integral part of the contemporary Web. Unfortunately, a relatively high number of them is affected by well-formedness errors, structural invalidity or data inconsistencies. The purpose of this paper is to continue with our previous work on a correction model for invalid XML documents with respect to schemata in DTD and XML Schema languages. Contrary to other existing ...

In this paper we introduce a new quantum computation model, the linear quantum cellular automaton. Well-formedness is an essential property for any quantum computing device since it enables us to deene the probability of a connguration in an observation as the squared magnitude of its amplitude. We give an eecient algorithm which decides if a linear quantum cellular automaton is well-formed. Th...

Extensible Markup Language documents are composed of sequences of character data and embedded markup, under control of a Document Type Definition. We will show that embedded markup needs to be dealt with at a syntactic level to account for interdependencies between linguistic structure and document structure as found in style guides and Controlled Languages. Furthermore, we discuss the effect o...

In this paper we introduce a joint arc-factored model for syntactic and semantic dependency parsing. The semantic role labeler predicts the full syntactic paths that connect predicates with their arguments. This process is framed as a linear assignment task, which allows to control some well-formedness constraints. For the syntactic part, we define a standard arc-factored dependency model that ...

class BaseElement attributes id : String operations -... end --BaseElement Listing 1 – BaseElement class definition The metaclass Process (see Fig. 6 and Listing 2) describes a sequence of Activities carry out in an organization with some specific objective. If a process interacts with other processes, it must participate in a Collaboration. A collaboration groups several participants. Each Par...

Since the first OMG specification of the Unified Modeling Language (UML), the Object Constraint Language (OCL) has been used for the definition of well-formedness rules in the UML specification. These rules have been specified within the early OCL years, when no appropriate tooling existed. Thus, they could not be checked for syntactical and static semantics correctness. In this paper we presen...