As part of a project to construct an interactive program which will encourage children to play with language by building jokes, we have developed a large lexical database, closely based on WordNet. As well as the standard WordNet information about part of speech, synonymy, hyponymy, etc, we have added phonetic representations and symbolic links allowing attachment of pictures. All information i...

In this paper we present a grammar formalism for the generation and parsing of two-dimensional symbolic languages. Linear Positional Grammars (or LPGs for short) are an immediate generalization of the context-free string grammars. Through the use of general spatial relations they allow the definition of pictures whose symbols span on a two-dimensional space. Due to their analogy to context-free...

Diagrammatic reasoning is a type of reasoning in which the pr imary means of inference is direct manipulat ion and inspection of a diagram. Diagrammatic reasoning is prevalent in human problem solving behavior, especially for problems involving spatial relations among physical objects. Our research examines the relationship between diagrammatic and symbolic reasoning in a computational framewor...

Given the current limitations in fuzzy clustering metric, the aim of this paper is to present new wasserstein metric based adaptive fuzzy clustering methods for partitioning symbolic interval data. Wasserstein metric shows adavantages in digging distribution information in symbolic interval data. Besides, the proposed fuzzy clustering methods also emphasize correlation structure between indices...

Interval diagram techniques have been applied successfully to symbolic formal verification of process networks, Petri nets, and timed automata, outperforming conventional approaches and avoiding some of their drawbacks. Our approach is based on a novel, efficient form of representation for multi-valued functions called interval decision diagram (IDD) and the corresponding image computation tech...

K e y w o r d s 9 D L T representation, Parallel spatial match query, Pictorial database. 1. I N T R O D U C T I O N The fast progress of computer hardware and software technologies stimulates the endless requests for computer applications. In the last two decades, computers were taking a fast influence on people's life. Especially for the past few years, computers supported more powerful capab...

This article exercises a Lacanian psychoanalytic intervention into ecocriticism through examining the contradictions of Capitalocene within Frank Norris’s 1901 novel, The Octopus. Drawing upon Jason Moore’s dialectical framework in Anthropocene or Capitalocene? Nature, History and Crisis Capitalism (2016) Philip R. Polefrone’s “The Stock Ticker Garden: Norris, American Literary Naturalism, Aest...

Based on the equivalence relation for location based reachability between continuous and integer semantics of closed timed automata, Beyer et al. have implemented the verifier Rabbit, with the uniform representation of reachable configurations. However, the growth of maximal constant of clock variables will decline the performance of Rabbit. The paper proposes an improved symbolic method, using...

Kenzo is a Symbolic Computation System devoted to Algebraic Topology. In some previous works we presented a framework wrapping Kenzo providing a mediated access to Kenzo making its use easier. In this work, a particular client of this framework is presented, namely a Graphical User Interface. By means of an OMDoc documents repository, this Graphical User Interface is totally customizable. Besid...