Sciweavers

2470 search results - page 158 / 494
» Liveness-Preserving Simulation Relations
Sort
View
109
Voted
AUTOMATICA
2008
90views more  AUTOMATICA 2008»
15 years 28 days 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,...
43
Voted
CORR
2008
Springer
74views Education» more  CORR 2008»
15 years 27 days 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
94
Voted
CORR
2010
Springer
126views Education» more  CORR 2010»
15 years 27 days 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...
86
Voted
CPHYSICS
2006
95views more  CPHYSICS 2006»
15 years 25 days 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...
115
Voted
IJON
2008
93views more  IJON 2008»
15 years 24 days 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