Sciweavers

1690 search results - page 76 / 338
» Algorithmic Properties of Millstream Systems
Sort
View
CORR
2002
Springer
118views Education» more  CORR 2002»
15 years 3 months ago
Instabilities of Robot Motion
Instabilities of robot motion are caused by topological reasons. In this paper we find a relation between the topological properties of a configuration space (the structure of its...
Michael Farber
ICIP
2008
IEEE
15 years 10 months ago
Feature-aided particle tracking
We present a new feature-aided tracking algorithm dedicated to the task of tracking multiple and closely-spaced biological particles. We propose a new function to score associatio...
Nicolas Chenouard, Isabelle Bloch, Jean-Christophe...
TLDI
2005
ACM
126views Formal Methods» more  TLDI 2005»
15 years 9 months ago
Type inference for atomicity
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
Cormac Flanagan, Stephen N. Freund, Marina Lifshin
ICASSP
2011
IEEE
14 years 7 months ago
Trading off communications bandwidth with accuracy in adaptive diffusion networks
In this paper, a novel algorithm for bandwidth reduction in adaptive distributed learning is introduced. We deal with diffusion networks, in which the nodes cooperate with each ot...
Symeon Chouvardas, Konstantinos Slavakis, Sergios ...
ECAL
1995
Springer
15 years 7 months ago
Contextual Genetic Algorithms: Evolving Developmental Rules
A genetic algorithm scheme with a stochastic genotype/phenotype relation is proposed. The mechanisms responsible for this intermediate level of uncertainty, are inspired by the bio...
Luis Mateus Rocha