Sciweavers

12194 search results - page 2074 / 2439
» cans 2010
Sort
View
SAB
2010
Springer
153views Optimization» more  SAB 2010»
15 years 5 months ago
Cooperative Stigmergic Navigation in a Heterogeneous Robotic Swarm
We study self-organized cooperation in a heterogeneous robotic swarm consisting of two sub-swarms. The robots of each sub-swarm play distinct roles based on their different charac...
Frederick Ducatelle, Gianni A. Di Caro, Luca Maria...
SAS
2010
Springer
121views Formal Methods» more  SAS 2010»
15 years 5 months ago
Alternation for Termination
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
William R. Harris, Akash Lal, Aditya V. Nori, Srir...
SIAMSC
2010
130views more  SIAMSC 2010»
15 years 5 months ago
First-Order System Least Squares for Incompressible Resistive Magnetohydrodynamics
Magnetohydrodynamics (MHD) is a fluid theory that describes Plasma Physics by treating the plasma as a fluid of charged particles. Hence, the equations that describe the plasma f...
J. H. Adler, Thomas A. Manteuffel, Stephen F. McCo...
SIGIR
2010
ACM
15 years 5 months ago
EUSUM: extracting easy-to-understand english summaries for non-native readers
In this paper we investigate a novel and important problem in multi-document summarization, i.e., how to extract an easy-tounderstand English summary for non-native readers. Exist...
Xiaojun Wan, Huiying Li, Jianguo Xiao
SOCA
2010
IEEE
15 years 5 months ago
Weighted fair share scheduling for loosely controlled concurrent event systems
In asynchronous event systems, the production of an event is decoupled from its consumption via an event queue. The loose coupling of such systems allows great flexibility as to ...
Sean Rooney, Luis Garcés-Erice, Kristijan D...
« Prev « First page 2074 / 2439 Last » Next »