1205 search results - page 118 / 241 » Program Extraction from Large Proof Developments |
IAT
2007
IEEE
15 years 7 months ago
2007
IEEE
Here we revisit ADOPT-ing and bring two new contributions. One contribution consists of developing variations on the algorithms keeping the improvement in length of chain of causa...
128
click to vote
CVPR
2001
IEEE
16 years 3 months ago
2001
IEEE
The National Archives of Singapore keeps a large volume of historical handwritten documents. One common problem with the archives is that over the years, ink sipped through the pa...
100
click to vote
ICCAD
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we propose a RObust Analog Design tool (ROAD) for post-tuning analog/RF circuits. Starting from an initial design derived from hand analysis or analog circuit synthe...
100
Voted
ECLIPSE
2006
ACM
15 years 7 months ago
2006
ACM
Frameworks provide means to reuse existing design and functionality, but first require developers to understand how to use them. Learning the correct usage of a framework can be ...
SOFTVIS
2005
ACM
15 years 7 months ago
2005
ACM
Software archives contain historical information about the development process of a software system. Using data mining techniques rules can be extracted from these archives. In th...