Sciweavers

1973 search results - page 100 / 395
» The Construction of Ludic Space
Sort
View
DEDS
2002
97views more  DEDS 2002»
15 years 6 months ago
N-dimensional Cell-DEVS Models
This article presents an extension to the timed binary Cell-DEVS paradigm. The goal is to allow the modelling of n-dimensional generic cell spaces, including transport or inertial...
Gabriel A. Wainer, Norbert Giambiasi
ICPR
2010
IEEE
15 years 10 months ago
Circularity Measuring in Linear Time
We propose a new circularity measure inspired from Arkin [1], Latecki [9] tools of shape matching that is constructed in a tangent space. We then introduce a linear algorithm that...
Thanh Phuong Nguyen, Isabelle Debled-Rennesson
ENTCS
2006
119views more  ENTCS 2006»
15 years 6 months ago
Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs
We consider the issue of exploiting the structural form of ESTEREL programs to partition the algorithmic RSS (reachable state space) fix-point construction used in model-checking t...
Eric Vecchié, Robert de Simone
DCC
1999
IEEE
15 years 6 months ago
On Perfect Ternary Constant Weight Codes
We consider the space of ternary words of length n and fixed weight w with the usual Hamming distance. A sequence of perfect single error correcting codes in this space is construc...
Jack H. van Lint, Ludo M. G. M. Tolhuizen
CORR
2007
Springer
146views Education» more  CORR 2007»
15 years 6 months ago
Coding for Errors and Erasures in Random Network Coding
Abstract—The problem of error-control in random linear network coding is considered. A “noncoherent” or “channel oblivious” model is assumed where neither transmitter nor...
Ralf Koetter, Frank R. Kschischang