Sciweavers

1054 search results - page 147 / 211
» Translation Validation of System Abstractions
Sort
View
CRITIS
2009
15 years 7 months ago
Energy Theft in the Advanced Metering Infrastructure
Abstract. Global energy generation and delivery systems are transitioning to a new computerized "smart grid". One of the principle components of the smart grid is an adva...
Stephen E. McLaughlin, Dmitry Podkuiko, Patrick Mc...
TROB
2008
86views more  TROB 2008»
15 years 6 months ago
Fusing Monocular Information in Multicamera SLAM
Abstract--This paper explores the possibilities of using monocular simultaneous localization and mapping (SLAM) algorithms in systems with more than one camera. The idea is to comb...
Joan Solà, André Monin, Michel Devy,...
TROB
2002
75views more  TROB 2002»
15 years 5 months ago
Sold!: auction methods for multirobot coordination
Abstract--The key to utilizing the potential of multirobot systems is cooperation. How can we achieve cooperation in systems composed of failure-prone autonomous robots operating i...
Brian P. Gerkey, Maja J. Mataric
GIS
2002
ACM
15 years 5 months ago
Design of field wrappers for mobile field data collection
In mobile field data collection, data gatherer requires to get geospatial information service to support in navigating to the right locations, describing context of observed objec...
Peisheng Zhao, Sarah Nusser, Leslie L. Miller
DAC
2008
ACM
16 years 7 months ago
Formal datapath representation and manipulation for implementing DSP transforms
We present a domain-specific approach to representing datapaths for hardware implementations of linear signal transform algorithms. We extend the tensor structure for describing l...
Franz Franchetti, James C. Hoe, Markus Püsche...