526 search results - page 86 / 106 » Towards the Verifying Compiler |
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
In this work we present a system for implementing the placement and routing stages in the FPGA cycle of design, into the physical design stage. We start with the ISCAS benchmarks,...
IROS
2006
IEEE
14 years 3 months ago
2006
IEEE
- We propose a novel framework for imitation learning that helps a humanoid robot achieve its goal of learning. There are apparent discrepancies in shapes and sizes among humans an...
IROS
2006
IEEE
14 years 3 months ago
2006
IEEE
— Current approaches to the visual homing for mobile robot navigation are generally inspired in insects’ behavior and based on the observed angular information of fixed points...
MMM
2003
Springer
14 years 2 months ago
2003
Springer
: Modeling the characteristics of specific images and individual users is a critical issue in content-based image retrieval but insufficiently addressed by the current retrieval ap...
ICSE
2010
IEEE-ACM
14 years 2 months ago
2010
IEEE-ACM
Change impact analysis aims at identifying software artifacts being affected by a change. In the past, this problem has been addressed by approaches relying on static, dynamic, a...