APAL
2007
13 years 7 months ago
2007
In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic MALLP, which is the linear fragment (without structural rules) of Olivier Laurentâ...
APAL
2008
13 years 7 months ago
2008
There exists a countable structure M of Scott rank CK 1 where M 1 = CK 1 and where the LCK 1 ,-theory of M is not -categorical. The Scott rank of a model is the least ordinal whe...
AML
2008
13 years 7 months ago
2008
Answering a question of Pereira we show that it is possible to have a model violating the Singular Cardinal Hypothesis without a tree-like continuous scale.
AIEDU
2007
13 years 7 months ago
2007
Opening a model of the learner is a potentially complex operation. There are many aspects of the learner that can be modelled, and many of these aspects may need to be opened in di...
AICOM
2008
13 years 7 months ago
2008
Since speaker's intentions can be represented into domain actions (pairs of domain-independent speech acts and domain-dependent concept sequences) in goal-oriented dialogues,...
ACTA
2007
13 years 7 months ago
2007
We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular ...
CEC
2008
IEEE
13 years 7 months ago
2008
IEEE
Abstract-- Understanding the evolvability of simple differentiating multicellular systems is a fundamental problem in the biology of genetic regulatory networks and in computationa...
CDC
2008
IEEE
13 years 7 months ago
2008
IEEE
We introduce a model of mutually attracting agents in an arbitrary network, for which the long term behavior results in the emergence of several clusters. The cluster structure is ...
ICANN
2010
Springer
13 years 7 months ago
2010
Springer
In previous work, we have developed a "Glance-Look" model, which has replicated a broad profile of data on the semantic Attentional Blink (AB) task and characterized how ...
ICPR
2010
IEEE
13 years 7 months ago
2010
IEEE
Probabilistic language models are critical to applications in natural language processing that include speech recognition, optical character recognition, and interfaces for text e...