Sviss is a flexible platform for incorporating efficient symmetry reduction into symbolic model checking. The tool comes with an extensive C++ library for system modeling using BDDs and a rich CTLbased model checking engine. Applications range from communication protocols to computer hardware and multi-threaded software. We believe Sviss to be the first symbolic tool to exploit symmetry in conc...

This paper introduces symbolic data analysis, explaining how it extends the classical data models to take into account more complete and complex information. Several examples motivate the approach, before the modeling of variables assuming new types of realizations are formally presented. Some methods for the (multivariate) analysis of symbolic data are presented and discussed. This is however ...

This paper is about the interface between continuous and discrete robot control. We advocate encapsulating continuous actions and their related sensing strategies into structures called situation speciic activities, which can be manipulated by a symbolic reactive planner. The approach addresses the problem of turning symbolic actions into continuous activities, and the problem of mapping contin...

This paper focuses on the challenging problem of learning behavior in a complex environment purely form observation of human performance. Specifically, we explore the performance of a collection of symbolic similarity measures in modeling the behavior of a human performing tasks in the Minecraft video game using learning from demonstration. We also analyze the performance of these measures usin...

In this paper we give graph-semantics to a fundamental part of the semantics of the service modeling language SRML. To achieve this goal we develop a new graph transformation system for what we call 2-level symbolic graphs. These kind of graphs extend symbolic graphs with a simple 2-level hierarchy that can be generalized to arbitrary hierarchies. We formalize the semantics using this new graph...

Studying texture is a part of many musicological analyses. The change of texture plays an important role in the cognition of musical structures. Texture is a feature commonly used to analyze musical audio data, but it is rarely taken into account in symbolic studies. We propose to formalize the texture in classical Western instrumental music as melody and accompaniment layers, and provide an al...

Understanding the mechanisms of learning is one of the central questions of Cognitive Science. Recently Marcus et al. showed that seven-month-old infants can learn to recognize regularities in simple language-like stimuli. Marcus proposed that these results could not be modeled via existing connectionist systems, and that such learning requires infants to be constructing rules containing algebr...

In this paper, an industrial application of symbolic modeling methods to the design of interface circuits is presented. A modeling method based on circuit knowledge and performance-oriented error estimation is used for an automatic generation of analog behavioral models. Results calculated with an output buffer show the effectiveness of this approach.

This paper presents a method of modeling a speaker’s pronunciation of a given language as a blend of ”standard” speech and other non-standard speech varieties (regional dialects and foreign accented pronunciation styles) by way of speaker-dependent modification of a lexicon. In this system, a lexicon of Standard American English (SAE) forms, the ”canonical” lexicon, is filtered and transformed ...