Sciweavers

852 search results - page 58 / 171
» Refactoring module structure
Sort
View
CADE
2001
Springer
14 years 10 months ago
Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems
We propose the notion of rewriting modules in order to provide a structural and hierarchical approach of TRS. We define then relative dependency pairs built upon these modules whic...
Xavier Urbain
ACHI
2009
IEEE
14 years 4 months ago
3D Audio Perception System for Humanoid Robots
An audio system is one of the basic components of a humanoid robot designed for natural interaction. For many interaction purposes it is sufficient to use the sound detection and...
Norbert Schmitz, Carsten Spranger, Karsten Berns
ICPR
2008
IEEE
14 years 4 months ago
Modulation-domain particle filter for template tracking
Particle filters provide a robust framework for nonlinear and non-Gaussian estimation problems. In this paper, we present a method to incorporate dominant modulation-domain (Ampl...
R. Senthil Prakash, Rangarajan Aravind
FPT
2005
IEEE
146views Hardware» more  FPT 2005»
14 years 3 months ago
The Erlangen Slot Machine: Increasing Flexibility in FPGA-Based Reconfigurable Platforms
We present a new concept as well as the implementation of an FPGA-based reconfigurable platform, the Erlangen Slot Machine (ESM). One main advantage of this platform is the possi...
Christophe Bobda, Mateusz Majer, Ali Ahmadinia, Th...
ICT
2004
Springer
105views Communications» more  ICT 2004»
14 years 3 months ago
UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks
: this document presents a generic model capturing the essential structural and behavioral characteristics of network components in the light of fault management. The generic model...
Armen Aghasaryan, Claude Jard, Julien Thomas