Sciweavers

3729 search results - page 411 / 746
» METRICS: a system architecture for design process optimizati...
Sort
View
MTV
2003
IEEE
109views Hardware» more  MTV 2003»
16 years 3 days ago
A Methodology for Validation of Microprocessors using Equivalence Checking
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Nikil D. Dutt
SAMOS
2004
Springer
16 years 5 days ago
DIF: An Interchange Format for Dataflow-Based Design Tools
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...
Chia-Jui Hsu, Fuat Keceli, Ming-Yung Ko, Shahrooz ...
EVOW
2001
Springer
15 years 11 months ago
Autonomous Photogrammetric Network Design Using Genetic Algorithms
Abstract. This work describes the use of genetic algorithms for automating the photogrammetric network design process. When planning a photogrammetric network, the cameras should b...
Gustavo Olague
AIEDU
2006
115views more  AIEDU 2006»
15 years 7 months ago
CycleTalk: Data Driven Design of Support for Simulation Based Learning
In this article, we discuss the motivation for a novel style of tutorial dialogue system that emphasizes reflection in a simulation based exploratory learning environment called Cy...
Carolyn Penstein Rosé, Rohit Kumar, Vincent...
ICRA
2002
IEEE
105views Robotics» more  ICRA 2002»
15 years 11 months ago
Learning Behavioral Parameterization using Spatio-Temporal Case-Based Reasoning
This paper presents an approach to learning an optimal behavioral parameterization in the framework of a Case-Based Reasoning methodology for autonomous navigation tasks. It is ba...
Maxim Likhachev, Michael Kaess, Ronald C. Arkin