Sciweavers

1052 search results - page 173 / 211
» The Regular Real-Time Languages
Sort
View
DM
2010
88views more  DM 2010»
15 years 3 months ago
Multidimensional generalized automatic sequences and shape-symmetric morphic words
An infinite word is S-automatic if, for all n 0, its (n+1)st letter is the output of a deterministic automaton fed with the representation of n in the numeration system S. In this...
Emilie Charlier, Tomi Kärki, Michel Rigo
ALIFE
2006
15 years 3 months ago
Understanding Linguistic Evolution by Visualizing the Emergence of Topographic Mappings
We show how cultural selection for learnability during the process of linguistic evolution can be visualized using a simple iterated learning model. Computational models of linguis...
Henry Brighton, Simon Kirby
139
Voted
FMSD
2008
110views more  FMSD 2008»
15 years 3 months ago
Automatic symbolic compositional verification by learning assumptions
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
Wonhong Nam, P. Madhusudan, Rajeev Alur
ITA
2006
15 years 3 months ago
Probabilistic models for pattern statistics
In this work we study some probabilistic models for the random generation of words over a given alphabet used in the literature in connection with pattern statistics. Our goal is t...
Massimiliano Goldwurm, Roberto Radicioni
AI
2002
Springer
15 years 3 months ago
QUANTUM: A Function-Based Question Answering System
Abstract In this paper, we describe our Question Answering (QA) system called QUANTUM. The goal of QUANTUM is to find the answer to a natural language question in a large document ...
Luc Plamondon, Leila Kosseim