Sciweavers

3131 search results - page 505 / 627
» Generalized connection caching
Sort
View
IJRR
2002
96views more  IJRR 2002»
15 years 5 months ago
Phase Regulation of Decentralized Cyclic Robotic Systems
We address the problem of coupling cyclic robotic tasks to produce a specified coordinated behavior. Such coordination tasks are common in robotics, appearing in applications like...
Eric Klavins, Daniel E. Koditschek
IGPL
1998
97views more  IGPL 1998»
15 years 5 months ago
Towards Structurally-Free Theorem Proving
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
Marcelo Finger
JCB
2002
131views more  JCB 2002»
15 years 5 months ago
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review
In order to understand the functioning of organisms on the molecular level, we need to know which genes are expressed, when and where in the organism, and to which extent. The reg...
Hidde de Jong
JUCS
2002
110views more  JUCS 2002»
15 years 5 months ago
Generation of Constants and Synchronization of Finite Automata
: The problem about the synchronization of a finite deterministic automaton is not yet properly understood. The present paper investigates this and related problems within the gene...
Arto Salomaa
JSAC
1998
110views more  JSAC 1998»
15 years 5 months ago
Turbo Decoding as an Instance of Pearl's "Belief Propagation" Algorithm
—In this paper, we will describe the close connection between the now celebrated iterative turbo decoding algorithm of Berrou et al. and an algorithm that has been well known in ...
Robert J. McEliece, David J. C. MacKay, Jung-Fu Ch...