Sciweavers

1222 search results - page 193 / 245
» corr 2008
Sort
View
CORR
2008
Springer
114views Education» more  CORR 2008»
15 years 6 months ago
Modeling Time in Computing: A Taxonomy and a Comparative Survey
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a gro...
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, M...
CORR
2008
Springer
102views Education» more  CORR 2008»
15 years 6 months ago
Offloading Cognition onto Cognitive Technology
: "Cognizing" (i.e., thinking, understanding, knowing, and having the capacity to do what cognizers can do) is a mental state. Systems without mental states, such as cogn...
Itiel E. Dror, Stevan Harnad
CORR
2008
Springer
104views Education» more  CORR 2008»
15 years 6 months ago
A Variational Inference Framework for Soft-In-Soft-Out Detection in Multiple Access Channels
We propose a unified framework for deriving and studying soft-in soft-out (SISO) detection in multiple-access channels using the concept of variational inference. The proposed fram...
Darryl Dexu Lin, Teng Joon Lim
CORR
2008
Springer
107views Education» more  CORR 2008»
15 years 6 months ago
Model Checking Probabilistic Timed Automata with One or Two Clocks
Probabilistic timed automata are an extension of timed automata with discrete probability distributions. We consider model-checking algorithms for the subclasses of probabilistic t...
Marcin Jurdzinski, François Laroussinie, Je...
CORR
2008
Springer
62views Education» more  CORR 2008»
15 years 6 months ago
On Unique Decodability
In this paper, we propose a revisitation of the topic of unique decodability and of some fundamental theorems of lossless coding. It is widely believed that, for any discrete sourc...
Marco Dalai, Riccardo Leonardi