Sciweavers

2470 search results - page 158 / 494
» Liveness-Preserving Simulation Relations
Sort
View
141
Voted
AUTOMATICA
2008
90views more  AUTOMATICA 2008»
15 years 4 months ago
Collective circular motion of multi-vehicle systems
This paper addresses a collective motion problem for a multi-agent system composed of nonholonomic vehicles. The aim of the vehicles is to achieve circular motion around a virtual...
Nicola Ceccarelli, Mauro Di Marco, Andrea Garulli,...
62
Voted
CORR
2008
Springer
74views Education» more  CORR 2008»
15 years 4 months ago
Analysis of the Karmarkar-Karp Differencing Algorithm
The Karmarkar-Karp differencing algorithm is the best known polynomial time heuristic for the number partitioning problem, fundamental in both theoretical computer science and stat...
Stefan Boettcher, Stephan Mertens
CORR
2010
Springer
126views Education» more  CORR 2010»
15 years 4 months ago
Visibility maintenance via controlled invariance for leader-follower Dubins-like vehicles
The paper studies the visibility maintenance problem (VMP) for a leader-follower pair of robots modelled as first-order dynamic systems and proposes an original solution based on t...
Fabio Morbidi, Francesco Bullo, Domenico Prattichi...
CPHYSICS
2006
95views more  CPHYSICS 2006»
15 years 4 months ago
Efficient data processing and quantum phenomena: Single-particle systems
We study the relation between the acquisition and analysis of data and quantum theory using a probabilistic and deterministic model for photon polarizers. We introduce criteria fo...
H. De Raedt, Koen De Raedt, K. Michielsen, S. Miya...
IJON
2008
93views more  IJON 2008»
15 years 4 months ago
Morphologically constrained ICA for extracting weak temporally correlated signals
Recently the constrained ICA (cICA) algorithm has been widely applied to many applications. But a crucial problem to the algorithm is how to design a reference signal in advance, ...
Zhi-Lin Zhang