1569 search results - page 137 / 314 » Automated Design Improvement by Example |
127
Voted
AI
2000
Springer
15 years 3 months ago
2000
Springer
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
112
Voted
ISF
2002
15 years 3 months ago
2002
Software agent-based negotiation is a major method to automate the interactions in electronic marketplaces and Internet enabled communities. The traditional approach is to let the...
116
Voted
HICSS
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper, Accountability Centered Approach (ACA) is proposed for business process engineering. The ACA approach enables the designers and users to focus on the requirements a...
253
Voted
TCAD
2011
14 years 10 months ago
2011
—Escalating system-on-chip design complexity is the design community to raise the level of abstraction beyond register transfer level. Despite the unsuccessful adoptions of early...
128
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
In this paper, we propose a new user interface to interactively specify Web wrappers to extract relational information from Web documents. In this study, we focused on improving u...