发布求助
文献互助 智能选刊 最新文献

AFIPS National Computer Conference最新文献

筛选
英文 中文
The ubiquity of discovery 发现无处不在
AFIPS National Computer Conference Pub Date : 1993-01-02 DOI: 10.1109/AFIPS.1978.211
D. Lenat
{"title":"The ubiquity of discovery","authors":"D. Lenat","doi":"10.1109/AFIPS.1978.211","DOIUrl":"https://doi.org/10.1109/AFIPS.1978.211","url":null,"abstract":"As scientists interested in studying the phenomenon of \"intelligence\", we first choose a view of Man, develop a theory of how intelligent behavior is managed, and construct some models which can test out and refine that, theory The view we choose is that Man is a symbolic information processor The theory is that sophisticated cognitive tasks can be cast as searches or explorations, and that each human possesses (and efficiently accesses) a large body of info imal uiles of thumb {heinistics) which constrain his search The source of what we colloquially call \"intelligence\" is seen to be very efficient searching of an a priori immense space Some computational models which incorporate this theory arc described. Among them is AM, a computer program which develops new mathematical concepts and conjectures' involv ing them, A M is guided in this exploration by a collection of 250 more or less general heuristic rules. The operational nature of such models allows experiments to be performed upon them, experiments which help us test and develop hypotheses about intelligence. One interesting result has been the ubiquity of this kind of heuristic guidance: intelligence permeates everyday problem solving and invention, as well as the kind of problem solving and invention that scientists and artists perform.","PeriodicalId":376661,"journal":{"name":"AFIPS National Computer Conference","volume":"358 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-01-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133557908","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 76
Packet switching services for the Autodin community Autodin社区的分组交换服务
AFIPS National Computer Conference Pub Date : 1978-12-01 DOI: 10.1109/AFIPS.1978.140
Donald J. O'Rourke
{"title":"Packet switching services for the Autodin community","authors":"Donald J. O'Rourke","doi":"10.1109/AFIPS.1978.140","DOIUrl":"https://doi.org/10.1109/AFIPS.1978.140","url":null,"abstract":"","PeriodicalId":376661,"journal":{"name":"AFIPS National Computer Conference","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1978-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121361281","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Experience with Exxon's implementation of the Jackson program design method (Abstract of presentation) 埃克森公司实施杰克逊方案设计方法的经验(演讲摘要)
AFIPS National Computer Conference Pub Date : 1978-12-01 DOI: 10.1109/AFIPS.1978.92
C. Bernstein
{"title":"Experience with Exxon's implementation of the Jackson program design method (Abstract of presentation)","authors":"C. Bernstein","doi":"10.1109/AFIPS.1978.92","DOIUrl":"https://doi.org/10.1109/AFIPS.1978.92","url":null,"abstract":"","PeriodicalId":376661,"journal":{"name":"AFIPS National Computer Conference","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1978-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133618369","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The two year and four year computer technology programs at Purdue University 普渡大学的两年制和四年制计算机技术课程
AFIPS National Computer Conference Pub Date : 1973-06-04 DOI: 10.1145/1499586.1499681
J. Maniotes
{"title":"The two year and four year computer technology programs at Purdue University","authors":"J. Maniotes","doi":"10.1145/1499586.1499681","DOIUrl":"https://doi.org/10.1145/1499586.1499681","url":null,"abstract":"There are eight kinds of educational programs in the United States which presently supply industry with the majority of its computer-EDP oriented employees. For lack of better terminology, I would classify these programs as follows:\u0000 (1) The two year Data Processing (DP) programs which are concentrated at vocational institutions, community colleges, junior colleges and at some senior colleges and universities.\u0000 (2) The four year academic programs offered by many senior colleges and universities in the areas of Business Data Processing and Computer Science.\u0000 (3) The graduate level programs in Information Systems and Computer Science offered at some major colleges and universities.\u0000 (4) The specialized programs offered by the various computer manufacturers' education centers.\u0000 (5) The company in-house training programs.\u0000 (6) The so-called private commercial schools, many of which have been established through franchising, and which usually offer training ranging from 3 to 12 months.\u0000 (7) The private home study schools.\u0000 (8) The various high schools which offer vocational oriented training programs in EDP.","PeriodicalId":376661,"journal":{"name":"AFIPS National Computer Conference","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1973-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124372693","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Syntax and computation 语法和计算
AFIPS National Computer Conference Pub Date : 1973-06-04 DOI: 10.1145/1499586.1499589
Jane J. Robinson
{"title":"Syntax and computation","authors":"Jane J. Robinson","doi":"10.1145/1499586.1499589","DOIUrl":"https://doi.org/10.1145/1499586.1499589","url":null,"abstract":"Algorithms have been developed for generating and parsing with context-sensitive grammars. In principle, the contexts to which a grammar is sensitive can be syntactic, semantic, pragmatic, or phonetic. This development points up the need to develop a new kind of lexicon, whose entries contain large amounts of several kinds of contextual information about each word or morpheme, provided in computable form. Ways in which both the form and content of the entries differ from those of traditional dictionaries are indicated.","PeriodicalId":376661,"journal":{"name":"AFIPS National Computer Conference","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1973-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125550689","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Graphics and computer-aided design in aerospace 航空航天中的图形学和计算机辅助设计
AFIPS National Computer Conference Pub Date : 1973-06-04 DOI: 10.1145/1499586.1499740
Ronald E. Notestine
{"title":"Graphics and computer-aided design in aerospace","authors":"Ronald E. Notestine","doi":"10.1145/1499586.1499740","DOIUrl":"https://doi.org/10.1145/1499586.1499740","url":null,"abstract":"In 1964, certain hardware developments in graphics equipment were announced by IBM. The interest of management of the Lockheed-California Company was immediately aroused. Possibilities for the development of highly effective programs through the utilization of this equipment were foreseen and action was started to take advantage of this new technology.","PeriodicalId":376661,"journal":{"name":"AFIPS National Computer Conference","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1973-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116064868","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Computing studies at Farmingdale 法明代尔大学计算机专业
AFIPS National Computer Conference Pub Date : 1973-06-04 DOI: 10.1145/1499586.1499682
C. B. Thompson
{"title":"Computing studies at Farmingdale","authors":"C. B. Thompson","doi":"10.1145/1499586.1499682","DOIUrl":"https://doi.org/10.1145/1499586.1499682","url":null,"abstract":"Farmingdale Agricultural and Technical College is part of the State University System of New York. The College is one of three public two year colleges serving Nassau and Suffolk counties. The school is located 25 miles east of New York City on the boundary line dividing these two counties.","PeriodicalId":376661,"journal":{"name":"AFIPS National Computer Conference","volume":"195 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1973-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122584671","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Interactive pattern recognition: a designer's tool 交互模式识别:设计师的工具
AFIPS National Computer Conference Pub Date : 1973-06-04 DOI: 10.1145/1499586.1499708
Edward J. Simmons
{"title":"Interactive pattern recognition: a designer's tool","authors":"Edward J. Simmons","doi":"10.1145/1499586.1499708","DOIUrl":"https://doi.org/10.1145/1499586.1499708","url":null,"abstract":"The marriage of interactive processing techniques with the technology of pattern recognition is particularly significant to the designers of equipment requiring the automatic recognition of objects or events. This new tool allows the system designers to develop better recognition logic more quickly than in the past. But, perhaps most importantly, they can develop this logic themselves, so all design alternative and resulting systems effects can be analyzed in detail.","PeriodicalId":376661,"journal":{"name":"AFIPS National Computer Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1973-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129338428","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
The correctness of programs for numerical computation 数值计算程序的正确性
AFIPS National Computer Conference Pub Date : 1973-06-04 DOI: 10.1145/1499586.1499609
T. E. Hull
{"title":"The correctness of programs for numerical computation","authors":"T. E. Hull","doi":"10.1145/1499586.1499609","DOIUrl":"https://doi.org/10.1145/1499586.1499609","url":null,"abstract":"Increased attention is being paid to techniques for proving the correctness of computer programs, and the problem is being approached from several different points of view. For example, those interested in systems programming have placed particular emphasis on the importance of language design and the creation of well-structured programs. Others have been interested in more formal approaches, including the use of assertions and automatic theorem proving techniques. Numerical analysts must cope with special difficulties caused by round off and truncation error, and it is the purpose of this talk to show how various techniques can be brought together to help prove the correctness of programs for numerical computation.","PeriodicalId":376661,"journal":{"name":"AFIPS National Computer Conference","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1973-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124656121","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An implementation of a data management system on an associative processor 一种在关联处理器上的数据管理系统的实现
AFIPS National Computer Conference Pub Date : 1973-06-04 DOI: 10.1145/1499586.1499639
R. Moulder
{"title":"An implementation of a data management system on an associative processor","authors":"R. Moulder","doi":"10.1145/1499586.1499639","DOIUrl":"https://doi.org/10.1145/1499586.1499639","url":null,"abstract":"Recent years have witnessed a widespread and intensive effort to develop systems to store, maintain, and rapidly access data bases of remarkably varied size and type. Such systems are variously referred to as Data Base Management Systems (DBMS), Information Retrieval Systems, Management Information Systems and other similar titles. To a large extent the burden of developing such systems has fallen on the computer industry. The problem of providing devices on which data bases can be stored has been reasonably well solved by disc and drum systems developed for the purpose and commercially available at the present time. The dual problem of providing both rapid query and easy update procedures has proved to be more vexing.","PeriodicalId":376661,"journal":{"name":"AFIPS National Computer Conference","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1973-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121000233","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 40
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信