Sciweavers

9719 search results - page 1622 / 1944
» Answer Set Optimization
Sort
View
ICPR
2002
IEEE
15 years 11 months ago
3D Reconstruction of Indoor and Outdoor Scenes Using a Mobile Range Scanner
This paper describes 3D mapping of indoor and outdoor environment using a mobile range scanner. In the raw range data preprocessing stage, we propose to use area decreasing flow ...
Yiyong Sun, Joon Ki Paik, Andreas Koschan, Mongi A...
ICRA
2002
IEEE
82views Robotics» more  ICRA 2002»
15 years 11 months ago
Trajectory Design for Formations of Robots by Kinetic Energy Shaping
We develop a method for generating smooth trajectories for a set of mobile robots. Given two end configurations, by tuning one parameter, the user can choose an interpolating tra...
Calin Belta, Vijay Kumar
172
Voted
IPPS
2002
IEEE
15 years 11 months ago
Implementing the NAS Benchmark MG in SAC
SAC is a purely functional array processing language designed with numerical applications in mind. It supports generic, high-level program specifications in the style of APL. How...
Clemens Grelck
172
Voted
ISCAS
2002
IEEE
125views Hardware» more  ISCAS 2002»
15 years 11 months ago
Switching activity estimation of finite state machines for low power synthesis
A technique for computing the switching activity of synchronous Finite State Machine (FSM) implementations including the influence of temporal correlation among the next state si...
Mikael Kerttu, Per Lindgren, Mitchell A. Thornton,...
ISQED
2002
IEEE
203views Hardware» more  ISQED 2002»
15 years 11 months ago
Automatic Test Program Generation from RT-Level Microprocessor Descriptions
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda...
« Prev « First page 1622 / 1944 Last » Next »