Sciweavers

3645 search results - page 453 / 729
» Implementing mapping composition
Sort
View
PVLDB
2008
170views more  PVLDB 2008»
15 years 5 months ago
Data exchange with data-metadata translations
Data exchange is the process of converting an instance of one schema into an instance of a different schema according to a given specification. Recent data exchange systems have l...
Mauricio A. Hernández, Paolo Papotti, Wang ...
RAS
2008
136views more  RAS 2008»
15 years 5 months ago
Action evaluation for mobile robot global localization in cooperative environments
This work is about solving the global localization issue for mobile robots operating in large and cooperative environments. It tackles the problem of estimating the pose of a robo...
Andreu Corominas Murtra, Josep Maria Mirats i Tur,...
TVCG
2010
161views more  TVCG 2010»
15 years 5 months ago
Origamizing Polyhedral Surfaces
—This paper presents the first practical method for “origamizing” or obtaining the folding pattern that folds a single sheet of material into a given polyhedral surface with...
Tomohiro Tachi
CORR
2010
Springer
59views Education» more  CORR 2010»
15 years 5 months ago
Refinement and Verification of Real-Time Systems
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmere...
ARC
2010
Springer
126views Hardware» more  ARC 2010»
15 years 4 months ago
Reconfigurable Communication Networks in a Parametric SIMD Parallel System on Chip
The SIMD parallel systems play a crucial role in the field of intensive signal processing. For most the parallel systems, communication networks are considered as one of the challe...
Mouna Baklouti, Philippe Marquet, Jean-Luc Dekeyse...