Sciweavers

340 search results - page 6 / 68
» formats 2009
Sort
View
ICRA
2009
IEEE
116views Robotics» more  ICRA 2009»
13 years 5 months ago
A switching active sensing strategy to maintain observability for vision-based formation control
Abstract-- Vision-based control of a robot formation is challenging because the on-board sensor (camera) only provides the view-angle to the other moving robots, but not the distan...
Gian Luca Mariottini, Simone Martini, Magnus Egers...
CHI
2009
ACM
14 years 8 months ago
An exploration of social requirements for exercise group formation
Exercising is often a social activity performed with other people, yet finding compatible exercise partners is difficult in practice. To gain a better understanding of the social ...
Mike Wu, Abhishek Ranjan, Khai N. Truong
CEC
2009
IEEE
14 years 2 months ago
Modelling and simulation of granuloma formation in visceral leishmaniasis
— Visceral leishmaniasis is a parasitic disease that is usually fatal if untreated. Host resistance is thought to involve the accumulation of inflammatory cells into structures ...
Anton J. Flugge, Jon Timmis, Paul S. Andrews, John...
CLUSTER
2009
IEEE
14 years 2 months ago
Investigating the use of GPU-accelerated nodes for SAR image formation
The computation of an electromagnetic reflectivity image from a set of radar returns is a computationally intensive process. Therefore, the use of high performance computing is r...
Timothy D. R. Hartley, Ahmed Fasih, Charles A. Ber...
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
14 years 2 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...