8094 search results - page 222 / 1619 » Improvements in Formula Generalization |
DAC
2004
ACM
14 years 11 months ago
2004
ACM
Coverage analysis is used to monitor the quality of the verification process. Reports provided by coverage tools help users identify areas in the design that have not been adequat...
CHI
2007
ACM
14 years 11 months ago
2007
ACM
This paper presents a project to improve the public transportation in the city of Huajuapan de Le?n, Oaxaca, M?xico. Interactive Multimedia Stations (EMI, for its Spanish acronym)...
ICSE
2005
IEEE-ACM
14 years 11 months ago
2005
IEEE-ACM
We present Binary Refactoring: a software engineering technique for improving the implementation of programs without modifying their source code. While related to regular refactor...
DCC
2007
IEEE
14 years 10 months ago
2007
IEEE
In this paper, we address issues concerning bilevel image compression using JPEG2000. While JPEG2000 is designed to compress both bilevel and continuous tone image data using a sin...
IROS
2009
IEEE
14 years 5 months ago
2009
IEEE
— In previous work we presented a multi-robot strategy for routing missions in large scenarios where network connectivity must be explicitly preserved. This strategy is founded o...