12148 search results - page 374 / 2430 » Generalized Bundle Methods |
205
Voted
EH
2000
IEEE
15 years 12 months ago
2000
IEEE
Evolvable Hardware (EHW) has the potential to become a new target hardware for complex real-world applications. However, there are several problems that would have to be solved to...
176
click to vote
IUI
1999
ACM
15 years 12 months ago
1999
ACM
Although Programming by Demonstration (PBD) has the potential to improve the productivity of unsophisticated users, previous PBD systems have used brittle, heuristic, domain-speci...
240
click to vote
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
159
click to vote
USENIX
2001
15 years 9 months ago
2001
Simultaneous editing is a new method for automating repetitive text editing. After describing a set of regions to edit (the records), the user can edit any one record and see equi...
214
click to vote
KRDB
2003
15 years 9 months ago
2003
Given the numerous knowledge representation models (KR-schemes) that have been proposed, it would be desirable to have a formal, unifying model for the description of a KR-scheme,...