Sciweavers

2673 search results - page 379 / 535
» Guided Static Analysis
Sort
View
ICRA
2007
IEEE
139views Robotics» more  ICRA 2007»
15 years 11 months ago
Multi-Robot Formations based on the Queue-Formation Scheme with Limited Communications
— In this paper, we investigate the operation of the Queue-formation structure (or Q-structure) in multi-robot teams with limited communications. Information flow is divided int...
Cheng-Heng Fua, Shuzhi Sam Ge, Khac Duc Do, Khiang...
INFOCOM
2007
IEEE
15 years 11 months ago
Distributed Low-Complexity Maximum-Throughput Scheduling for Wireless Backhaul Networks
— We introduce a low-complexity distributed slotted MAC protocol that can support all feasible arrival rates in a wireless backhaul network (WBN). For arbitrary wireless networks...
Abdul Kader Kabbani, Theodoros Salonidis, Edward W...
IRI
2007
IEEE
15 years 11 months ago
A Reference Framework for Requirements and Architecture in Biomedical Grid Systems
In this paper we introduce the work done to define a framework for requirements and architectural understanding in biomedical grid computing systems. A set of core requirements fo...
Chris Mattmann, Vito Perrone, Sean C. Kelly, Danie...
SIBGRAPI
2007
IEEE
15 years 11 months ago
Improved Reversible Mapping from Color to Gray
— In the reversible conversion of color images to gray ones, colors are mapped to textures and from the textures the receiver can recover the colors, i.e. one may print a color i...
Ricardo L. de Queiroz
ER
2007
Springer
107views Database» more  ER 2007»
15 years 11 months ago
A Conceptual Framework to Support Semantic Interoperability of Geospatial Datacubes
Today, we observe a wide use of geospatial databases that are implemented in many forms (e.g. transactional centralized systems, distributed databases, multidimensional datacubes)....
Tarek Sboui, Yvan Bédard, Jean Brodeur, Thi...