The aim of staged compilation is to enable metaprogramming in a way such that we have guarantees about the well-formedness code output, and can also mix together object-level meta-level concise convenient manner. In this work, observe two-level type theory (2LTT), system originally devised for purpose developing synthetic homotopy theory, serves as with dependent types. 2LTT has numerous good p...

In this paper, we extend the conventional concept of a database as a set of discrete relations to include a set of piecewise continuous functions. We extend the features of Query-by-Example to operations on this piecewise continuous data. Further, we include the concept of iteration in the language, which enhances its capabilities to that of a general programming language. These extensions are ...

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 ...

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 ...