Sciweavers

2470 search results - page 172 / 494
» Liveness-Preserving Simulation Relations
Sort
View
121
Voted
TIP
2002
110views more  TIP 2002»
15 years 20 days ago
Localization based on DEM matching using multiple aerial image pairs
This paper proposes the localization algorithm that estimates translation parameters of an aircraft by comparing the sampled elevation map recovered from aerial sequence images, an...
Dong-Gyu Sim, Rae-Hong Park
124
Voted
DATE
2004
IEEE
119views Hardware» more  DATE 2004»
15 years 4 months ago
MINCE: Matching INstructions Using Combinational Equivalence for Extensible Processor
Designing custom-extensible instructions for Extensible Processors1 is a computationally complex task because of the large design space. The task of automatically matching candida...
Newton Cheung, Sri Parameswaran, Jörg Henkel,...
PATMOS
2000
Springer
15 years 4 months ago
Dynamic Memory Design for Low Data-Retention Power
Abstract. The emergence of data-intensive applications in mobile environments has resulted in portable electronic systems with increasingly large dynamic memories. The typical oper...
Joohee Kim, Marios C. Papaefthymiou
AVI
2008
15 years 3 months ago
Agent warp engine: formula based shape warping for networked applications
Computer visualization and networking have advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached...
Alexander Repenning, Andri Ioannidou
WSC
1998
15 years 2 months ago
Customer Interfacing - Lessons Learned
Customer interfacing is the process through which one works with and relates to their customer. Often in the technical world, modelers find it easier to interface with computers r...
David M. Ferrin, Richard P. Lavecchia