Sciweavers

4651 search results - page 210 / 931
» Data Reduction Using Multiple Models Integration
Sort
View
MICRO
1997
IEEE
82views Hardware» more  MICRO 1997»
15 years 7 months ago
Procedure Based Program Compression
Cost and power consumption are two of the most important design factors for many embedded systems, particularly consumer devices. Products such as Personal Digital Assistants, pag...
Darko Kirovski, Johnson Kin, William H. Mangione-S...
ATAL
2005
Springer
15 years 8 months ago
Coordinating multiple rovers with interdependent science objectives
This paper describes an integrated system for coordinating multiple rover behavior with the overall goal of collecting planetary surface data. The MISUS system combines techniques...
Tara A. Estlin, Daniel M. Gaines, Forest Fisher, R...
ATVA
2007
Springer
90views Hardware» more  ATVA 2007»
15 years 7 months ago
Efficient Approximate Verification of Promela Models Via Symmetry Markers
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
Dragan Bosnacki, Alastair F. Donaldson, Michael Le...
AVBPA
2003
Springer
126views Biometrics» more  AVBPA 2003»
15 years 8 months ago
Predicting Large Population Data Cumulative Match Characteristic Performance from Small Population Data
Given a biometric feature-space, in this paper we present a method to predict cumulative match characteristic (CMC) curve performance for a large population of individuals using a ...
Amos Y. Johnson, Jie Sun, Aaron F. Bobick
ICRA
2000
IEEE
136views Robotics» more  ICRA 2000»
15 years 7 months ago
Registration of Range Data Using a Hybrid Simulated Annealing and Iterative Closest Point Algorithm
The need to register data is abundant in applications such as: world modeling, part inspection and manufacturing, object recognition, pose estimation, robotic navigation, and reve...
Jason P. Luck, Charles Q. Little, William Hoff