adjudication independence can be studied in two areas namely independency of judicial power and independency of judge. the first one is based on the separation of powers theory but judge independence means its freedom from parties and their attorneys and its independence in intern of judiciary power. this sense of independence has two objectives: 1) judge's freedom in applying the law to f...

This paper introduces 'assumptions', one-sided mutual beliefs, to construct a bidirectional architecture incorporating Hobbs et al.'s abduction. The integration of deductive parsing and abductive semantic interpretation may provide a basis for a bidirectional architecture. However, the idea of cost, the principal mechanism in Hobbs et al.'s abduction, is not workable for generation because it s...

A general class of solutions of string background equations is studied and its physical interpretations are presented. These solutions correspond to generalizations of the standard black p-brane solutions to surfaces with curvature k = −1, 0. The relation with the recently introduced S-branes is provided. The mass, charge, entropy and Hawking temperature are computed, illustrating the interpret...

State Machines Formal semantics for large part of UML using Abstract State Machines (Gurevich). Transition systems. States: multi-sorted first-order structures (set with function names and function interpretations). ASM: set of states (incl. initial state) and update rule. Jan Jürjens, TU Munich: Formal Semantics for Interacting UML subsystems 6 Abstract State Machines: Update rules Update rule...

This paper presents the results of an experimental study on multiple focus configurations, that is, structures containing two nested focus-sensitive operators plus two foci supposed to associate with those operators. There has been controversial discussion in the semantic literature regarding whether or not an interpretation is acceptable that corresponds to this association. While the data are...

Introduction: The mapping of lineaments from digital remote sensing data is one of the techniques used in the structural and tectonic characterization of a planet. Lineament mapping on Mars is traditionally made using digital imagery [1,2]. MOLA altimetry data was also used to the visual interpretation and extraction of tectonic features from Mars surface [3]. All these works rely on traditiona...

We introduce a characterisation of probabilistic transition systems (PTS) in terms of linear operators on some suitably defined vector space representing the set of states. Various notions of process equivalences can then be re-formulated as abstract linear operators related to the concrete PTS semantics via a probabilistic abstract interpretation. These process equivalences can be turned into ...

We use the Atiyah-Bott-Berline-Vergne localization formula to calculate the Hirzebruch χy genus χy(S), where S[n] is the Hilbert schemes of points of length n of a surface S. Combinatorial interpretation of the weights of the fixed points of the natural torus action on (C2)[n] is used.

Automated ECG interpretation systems are supposed to follow human expert reasoning. Despite well-established standards, the visual interpretation strategy of the human is still undisclosed today. This paper presents a new approach to the interpretation process research based on eyetrack features captured from a human expert during biosignal visual inspection. This approach required a set of vis...

We describe Scusi?, a spoken language interpretationmechanism designed to be part of a robot-mounted di-alogue system. Scusi?’s interpretation process mapsspoken utterances to text, which in turn is parsed andthen converted to conceptual graphs. In order to sup-port robust and flexible performance of the dialoguemodule, Scusi? maintains multiple options at eachstage ...