Language-based editing systems have the potential to become a practical, central, and powerful part of every software engineer’s toolkit, but progress has been limited by inattention to user-centered design issues. Major usability requirements for such systems include familiar, unrestricted text editing; coherent user interaction with software; rich, dynamic information display; multiple altern...

DEFINITION XML parsing is the process of reading an XML document and providing an interface to the user application for accessing the document. An XML parser is a software apparatus that accomplishes such tasks. In addition, most XML parsers check the well-formedness of the XML document and many can also validate the document with respect to a DTD (Document Type Definition) or XML schema. Throu...

Event-related potentials were recorded from 13 scalp locations while participants read sentences containing a syntactic ambiguity. In Experiment 1, syntactically disambiguating words that were inconsistent with the "favored" syntactic analysis elicited a positive-going brain potential (P600). Experiment 2 examined whether syntactic ambiguities are resolved by application of a phrase-structure-b...

In this opinion piece, I present four somewhat controversial suggestions for the design of future treebanks: a) Treebanks should be based on adversarial samples, rather than pseudorepresentative samples. b) Treebanks should include multiple splits of the data, rather than just a single split, as in most treebanks today. c) They should include multiple annotations of each sentence, whenever poss...

DialogDesigner is an integrated design and development environment that supports dialogue designers in creating an electronic dialogue model, writing dialogue snippets, running and analysing simulation sessions, getting graphical views of the model, making automatic evaluation regarding dialogue model well-formedness, compiling the model into run-time code, and extracting different presentation...

In this paper, we propose that grammar error detection be disambiguated in generating the connected parse(s) of optimal merit for the full input utterance, in overcoming the cheapest error. The detected error(s) are described as violated grammatical constraints in a framework for ModelTheoretic Syntax (MTS). We present a parsing algorithm for MTS, which only relies on a grammar of well-formedne...

This paper proposes a model-driven approach for the analysis of multimedia documents. Structural and behavioral properties of a multimedia document are verified thus guaranteeing its well-formedness and conformance before deployment. Multimedia documents are interpreted as object model instances of a multimedia document metamodel. Structural properties are verified using consistency reasoning o...

Feature models are used to state the instances of a software product-line. However, there is a limited tool support for automatically checking properties of feature models. In this paper, we propose a theory of feature models in Alloy. This theory can be used to check a number of properties in the Alloy Analyzer. For instance, we show how to check whether general feature model transformations p...

Language-based editing systems have the potential to become a practical, central, and powerful part of every software engineer’s toolkit, but progress has been limited by inattention to user-centered design issues. Major usability requirements for such systems include familiar, unrestricted text editing; coherent user interaction with software; rich, dynamic information display; multiple altern...

We will prove the existence of a universal quantum cellular automaton. Such qca are defined as the quantum-mechanical pendant of classical one-dimensional cellular automata. As is the case with quantum Turing machines, the well-formedness restriction plays an important role. It will be shown that every proper qca obeys a local constraint which is comparable with the ‘inverse neighborhood’ of cl...