Sciweavers

5090 search results - page 540 / 1018
» Constructing Strategies for Programming
Sort
View
ISCAS
2002
IEEE
91views Hardware» more  ISCAS 2002»
15 years 12 months ago
Efficient digit-serial FIR filters with skew-tolerant domino
A novel connection between digit-serialcomputationand skew-tolerant domino circuit design is exploited to create very efficient implementations of FIR digital filters. In our ap...
Sungwook Kim, Gerald E. Sobelman
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
15 years 11 months ago
Receding horizon temporal logic planning for dynamical systems
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...
ICRA
2000
IEEE
123views Robotics» more  ICRA 2000»
15 years 11 months ago
Design, Modeling and Preliminary Control of a Compliant Hexapod Robot
In this paper, we present the design, modeling and preliminary control of RHex, an autonomous dynamically stable hexapod possessing merely six actuated degrees of freedom (at the ...
Uluc Saranli, Martin Buehler, Daniel E. Koditschek
IJCNN
2000
IEEE
15 years 11 months ago
Computational Intelligence in Adaptive Educational Hypermedia
In this paper neuro-fuzzy synergism is applied to implement content sequencing in adaptive hypermedia systems. The level of understanding of the learner is used to construct lesson...
Kyparisia A. Papanikolaou, George D. Magoulas, Mar...
IPPS
2000
IEEE
15 years 11 months ago
Automatic Implementation of Distributed Systems Formal Specifications
The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance,...
Luiz Henrique Castelo Branco, Antônio Franci...