Search results for "CAI"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Shogo Fukushima, Hidekazu Yoshikawa	Application of a Newly Developed Eye Sensing Head-Mounted-Display to a Mutual Adaptive CAI for Plant-Diagnosis.	HCI (2)	1997	DBLP BibTeX RDF
20	Yasuhisa Kato, Jun Hirai, Yoshimi Fukuhara, Mitsuru Yamada	International Tele-Education Experiment using CAI System on the World-Wide Web.	WebNet	1997	DBLP BibTeX RDF
20	B. Hershkovitz	The development and evaluation of an adaptable computer aided instruction(CAI) program for acquiring problem solving skills in biochemistry on the WWW: The "BioChem Thinker".	AMIA	1997	DBLP BibTeX RDF
20	A. J. Radcliffe, Zsuzsanna Szaniszló	Extremal Cases of the Ahlswede-Cai Inequality.	J. Comb. Theory, Ser. A	1996	DBLP DOI BibTeX RDF
20	Li Shao Hui, He Ke Kang	Research and practice of CAI in Chinese basic education.	WCCE	1995	DBLP DOI BibTeX RDF
20	Monika Müllerburg, Dirk Meyerhoff	The METKIT CAI system.	Inf. Softw. Technol.	1993	DBLP DOI BibTeX RDF
20	Ken'ichi Kamijo, Akihisa Kenmochi	A Virtual Reality System Using Physiological Data - Application to Virtual Sports CAI.	HCI (2)	1993	DBLP BibTeX RDF
20	Yoneo Yano, Akihiro Kashihara, William McMichael	Stabilizing Student Knowledge in Open Structured CAI.	Int. J. Man Mach. Stud.	1992	DBLP DOI BibTeX RDF
20	Otto Zatschek	WITUT - ein wissensbasiertes CAI-System für Volkswirtschaftslehre.		1992	RDF
20	Richard Gee, Rob McArthur	Some experiences with CAI and NATAL.	ACM SIGCSE Bull.	1991	DBLP DOI BibTeX RDF
20	W. Webster Newbold, Herbert F. W. Stahlke	Poetry I: Teaching verse with CAI.	Comput. Humanit.	1990	DBLP DOI BibTeX RDF
20	Enrico Borello	Teaching languages on the computer at the University of Turin: CAI and interactive videodisc.	Comput. Humanit.	1990	DBLP DOI BibTeX RDF
20	Thomas D. Bacig, Robert H. Evans, Donald W. Larmouth, Kenneth C. Risdon	Beyond argumentation and comparison/contrast: Extending the Socrates CAI design principles to classroom teaching and the interpretation and production of other forms of discourse.	Comput. Humanit.	1990	DBLP DOI BibTeX RDF
20	Li Dafa	Intelligent CAI Course in the First-Order Logic.	ICCAL	1990	DBLP DOI BibTeX RDF	tautology, theorem proving, first-order logic, resolution, natural deduction
20	Toshio Okamoto	Representation of teaching-world knowledge and the method of the inference for intelligent cai.	Syst. Comput. Jpn.	1989	DBLP DOI BibTeX RDF
20	J. A. Brand	Putting CAI to work for user services.	SIGUCCS	1989	DBLP DOI BibTeX RDF
20	Yasutomo Nakayama	Mathematical formula editor for CAI.	CHI	1989	DBLP DOI BibTeX RDF
20	Ivan Tomek	CAI for Introductory Computer Organization.	ICCAL	1989	DBLP DOI BibTeX RDF
20	John R. Bourne, Jeffrey R. Cantwell, Kazuhiko Kawamura, Charles K. Kinzer, Xiaofeng Li, L. Debrock, J. Jiang, Juan E. Vargas, Nobuji Miyasaka	Intelligent CAI in engineering: Knowledge representation strategies to facilitate model-based reasoning.	Int. J. Intell. Syst.	1988	DBLP DOI BibTeX RDF
20	Marvin J. Croy	The use of CAI to enhance human interaction in the learning of deductive proof construction.	Comput. Humanit.	1988	DBLP DOI BibTeX RDF
20	Hans H. Schnyder	Der CAI-Gedanke.	Prax. Inf.verarb. Kommun.	1988	DBLP DOI BibTeX RDF
20	Michael Anbar, Ada Anbar	The 'understanding' of natural language in CAI and analogous mental processes.	CBMS	1988	DBLP DOI BibTeX RDF
20	Friedrich Huber, Hermann A. Maurer	On Editors for Presentation Type CAI.	Angew. Inform.	1987	DBLP BibTeX RDF
20	Richard C. Felsinger	A computer aided instruction (CAI) course for learning Ada.	WADAS	1986	DBLP DOI BibTeX RDF
20	Ivan Tomek, Tomasz Müldner	A CAI implementation of Pascal.	ACM SIGPLAN Notices	1985	DBLP DOI BibTeX RDF
20	Jesse M. Heines, Tim O'Shea	The Design of a Rule-Based CAI Tutorial.	Int. J. Man Mach. Stud.	1985	DBLP DOI BibTeX RDF
20	Gerald R. Culley	Generic or specific: Having it both ways with generative CAI.	Comput. Humanit.	1984	DBLP DOI BibTeX RDF
20	James P. Pusack, Sue E. K. Otto	Blueprint for a comprehensive foreign language CAI curriculum.	Comput. Humanit.	1984	DBLP DOI BibTeX RDF
20	Helmut M. Niegemann	Probleme der Mensch-Computer-Kommunikation bei Computerunterstützter Instruktion (CAI).	Kognitive Aspekte der Mensch-Computer-Interaktion	1984	DBLP DOI BibTeX RDF
20	J. Collett	Getting in the right mood: A CAI program on the subjunctive in French.	Comput. Humanit.	1982	DBLP DOI BibTeX RDF
20	Barbara Begier	Knowledge Representation Method Based On Predicate Calculus In An Intelligent CAI System.	COLING	1982	DBLP BibTeX RDF
20	Donald L. Kalmey, Marino J. Niccolai	A model for a CAI learning system.	SIGCSE	1981	DBLP DOI BibTeX RDF
20	Jane T. Anderson	The CAI has invaded Georgia state university.	SIGUCCS	1980	DBLP DOI BibTeX RDF
20	Lorna S. Schmittou	The use of small computer systems in CAI.	ACM Southeast Regional Conference	1979	DBLP DOI BibTeX RDF
20	Julia E. Hodges	A project involving the use of CAI in teaching a programming language.	ACM Southeast Regional Conference	1979	DBLP DOI BibTeX RDF
20	Naoki Ishii, Ken'ya Murakami	An audio response method for CAI services.	ICASSP	1978	DBLP DOI BibTeX RDF
20	Mauro Di Manzo, Maria Ferraris, Arrigo L. Frisiani, Vittorio Midoro, G. Olimpo	COMES: a CAI system oriented to programming languages.	SIGCSE/CSA	1978	DBLP DOI BibTeX RDF
20	Günther Görz	CAI, dialogues about HEX.	SIGART Newsl.	1977	DBLP DOI BibTeX RDF
20	Peter Schefe	CAI, data bases and scene analysis.	SIGART Newsl.	1977	DBLP DOI BibTeX RDF
20	Stefan Feyock	Transition Diagram-Based CAI/HELP Systems.	Int. J. Man Mach. Stud.	1977	DBLP DOI BibTeX RDF
20	Norman F. Salt	CAI with a Restricted Vocabulary.	Int. J. Man Mach. Stud.	1977	DBLP DOI BibTeX RDF
20	Lee Blaine, Robert L. Smith 0001	Intelligent CAI: The role of the curriculum in suggesting computational models of reasoning.	ACM Annual Conference	1977	DBLP DOI BibTeX RDF
20	Keith T. Wescourt, Marian Beard, Laura Gould	Knowledge-based adaptive curriculum sequencing for CAI: Application of a network representation.	ACM Annual Conference	1977	DBLP DOI BibTeX RDF
20	Mark L. Miller, Ira P. Goldstein	Problem solving grammars as formal tools for intelligent CAI.	ACM Annual Conference	1977	DBLP DOI BibTeX RDF
20	Harold Wooster	An experiment in networking: The LHNCBC experimental CAI network, 1971-1975.	J. Am. Soc. Inf. Sci.	1976	DBLP DOI BibTeX RDF
20	Tommy G. Dearmond	A CAI approach to a user oriented interactive plotting system: SURIPS (southern's user interactive plotting system).	ACM-SE	1976	DBLP DOI BibTeX RDF
20	Robert L. DeMichiell	Student involvement in the development of CAI and administrative systems: some considerations for a successful work-study relationship.	SIGUCCS	1976	DBLP DOI BibTeX RDF
20	Helen L. Sobel	How much cai is hidden in commercial software?	SIGCSE-SIGCUE	1976	DBLP DOI BibTeX RDF
20	William H. Linder	COMPUTER-TUTOR: From a student project to a self-paced CAI/CMI course.	SIGCSE	1976	DBLP DOI BibTeX RDF
20	Paul Lorton Jr., Rosemary N. Killam	Modeling the student and the discipline in CAI drill and practice.	SIGCSE-SIGCUE	1976	DBLP DOI BibTeX RDF
20	Georg R. Lampl, Isolde Schell-Haungs	Functions in APL to assist the programming and servicing of CAI-Lessons.	APL	1976	DBLP DOI BibTeX RDF
20	Elliot B. Koffman, Sumner E. Blount	Artificial Intelligence and Automatic Programming in CAI.	Artif. Intell.	1975	DBLP DOI BibTeX RDF
20	Russell W. Burris	CAI programs at the University of Minnesota.	ACM Annual Conference	1975	DBLP DOI BibTeX RDF
20	Elliot B. Koffman, Sumner E. Blount	A Modular System for Generative CAI in Machine-Language Programming.	IEEE Trans. Syst. Man Cybern.	1974	DBLP DOI BibTeX RDF
20	Leslie N. Davis, Jak Eskinazi, Daniel J. Macero	Decoding character strings: two useful APL functions for CAI applications.	ACM SIGAPL APL Quote Quad	1974	DBLP DOI BibTeX RDF
20	John Seely Brown, Richard R. Burton	SOPHIE: a pragmatic use of artificial intelligence in CAI.	ACM Annual Conference (2)	1974	DBLP DOI BibTeX RDF
20	Hans-Peter Frei	CAI Activities in Switzerland.	RGU	1974	DBLP DOI BibTeX RDF
20	Avron Barr, Marian Beard, Paul Lorton Jr., Richard C. Atkinson	A College-Level CAI Course in BASIC.	RGU	1974	DBLP DOI BibTeX RDF
20	Chih Wu	CAI tutorial method of teaching Thermodynamics at U.S. Naval Academy.	SIGCSE	1974	DBLP DOI BibTeX RDF
20	Raymond J. Collins	The role of computer assisted instruction (CAI) in management information systems.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF
20	Steve Peterson	A CAI system based on modifications to York/APL.	APL	1974	DBLP DOI BibTeX RDF
20	R. F. Conklin	"INSTANT CAI".	APL	1974	DBLP DOI BibTeX RDF
20	Luis Osin	A system toproduce CAI courses from logically structured educational material.		1974	RDF
20	Louis S. Adler	A mini-computer configuration for CAI: a systems engineering view.	SIGARCH Comput. Archit. News	1973	DBLP DOI BibTeX RDF
20	Chih Wu	A statistical survey on the CAI thermodynamics at U. S. Naval Academy.	ACM Annual Conference	1973	DBLP DOI BibTeX RDF
20	Elliot B. Koffman, Sumner E. Blount	Artificial Intelligence and Automatic Programming in CAI.	IJCAI	1973	DBLP BibTeX RDF
20	Elliot B. Koffman	Individualizing Instruction in a Generative CAI Tutor.	Commun. ACM	1972	DBLP DOI BibTeX RDF
20	Thomas A. Dwyer	Teacher/Student Authored CAI Using the NEWBASIC System.	Commun. ACM	1972	DBLP DOI BibTeX RDF
20	Erik McWilliams	Large scale CAI: the NSF project.	ACM Annual Conference (1)	1972	DBLP DOI BibTeX RDF
20	Elliot B. Koffman	A generative CAI tutor for computer science concepts.	AFIPS Spring Joint Computing Conference	1972	DBLP DOI BibTeX RDF
20	C. Victor Bunderson	Mainline CAI, necessary but not oppressive.	AFIPS Spring Joint Computing Conference	1972	DBLP DOI BibTeX RDF
20	Wallace Feurzeig, Seymour Papert	CAI problems and prospects.	AFIPS Spring Joint Computing Conference	1969	DBLP DOI BibTeX RDF
20	Duncan N. Hansen	CAI: research requirements for instructional strategies.	AFIPS Spring Joint Computing Conference	1969	DBLP DOI BibTeX RDF
20		Session II: CAI in APL.	APL	1969	DBLP DOI BibTeX RDF
20	E. N. Adams	Reflections on the design of a CAI operating system.	AFIPS Spring Joint Computing Conference	1967	DBLP DOI BibTeX RDF
20	Gloria M. Silvern, Leonard C. Silvern	Computer-assisted instruction: specification of attributes for CAI programs and programmers.	Commun. ACM	1966	DBLP DOI BibTeX RDF
20	Gloria M. Silvern, Leonard C. Silvern	Computer-assisted instruction: Specification of attributes for CAI programs and programmers.	ACM National Conference	1966	DBLP DOI BibTeX RDF
18	Noel León Rovira, Jose Maria Cueva, Cesar Villarreal, Sergio Hutron, German Campero	Automatic shape variations for optimization and innovation - Shape Optimization of Cylinderhead Gasket using CFD.	IFIP CAI	2007	DBLP DOI BibTeX RDF
18	Mikael Nybacka, Tobias Larsson, Åsa Ericson	Collaboration in automotive winter testing - Real-time simulations boosting innovation opportunities.	IFIP CAI	2007	DBLP DOI BibTeX RDF
18	Guozhong Cao, Runhua Tan, Benning Lian	Research and Implementation of Product Functional Design Based on Effect.	IFIP CAI	2007	DBLP DOI BibTeX RDF
18	Noel León (eds.)	Trends in Computer Aided Innovation - Second IFIP Working Conference on Computer Aided Innovation, October 8-9 2007, Michigan, USA	IFIP CAI	2007	DBLP DOI BibTeX RDF
18	Nikolai Khomenko, Roland De Guio	OTSM Network of Problems for representing and analysing problem situations with computer support.	IFIP CAI	2007	DBLP DOI BibTeX RDF
18	Hong Liu 0013, Xiyu Liu 0001	Generative Art Images by Complex Functions Based Genetic Algorithm.	IFIP CAI	2007	DBLP DOI BibTeX RDF
18	Albert Albers, Noel León Rovira, Humberto Aguayo Téllez, Thomas Maier	Comparison of Strategies for the Optimization/Innovation of Crankshaft Balance.	IFIP CAI	2007	DBLP DOI BibTeX RDF
18	Xiyu Liu 0001, Hong Liu 0013	Creative Tower Generated by Computational Intelligence.	IFIP CAI	2007	DBLP DOI BibTeX RDF
18	Umberto Cugini, Gaetano Cascini, Marco Ugolotti	Enhancing interoperability in the design process, the PROSIT approach.	IFIP CAI	2007	DBLP DOI BibTeX RDF
18	Runhua Tan	UXDs-Driven Contradiction Solving For Conceptual Design Using CAIs.	IFIP CAI	2007	DBLP DOI BibTeX RDF
18	John S. Gero, Udo Kannengiesser	Locating Creativity in a Framework of Designing for Innovation.	IFIP CAI	2007	DBLP DOI BibTeX RDF
18	Gaetano Cascini, Davide Russo, Manuel Zini	Computer-Aided Patent Analysis: finding invention peculiarities.	IFIP CAI	2007	DBLP DOI BibTeX RDF
18	Yanhong Liang, Runhua Tan	A Text-Mining-based Patent Analysis in Product Innovative Process.	IFIP CAI	2007	DBLP DOI BibTeX RDF
18	Thomas Eltzer, Roland De Guio	Constraint based modelling as a mean to link dialectical thinking and corporate data. Application to the Design of Experiments.	IFIP CAI	2007	DBLP DOI BibTeX RDF
18	Seung-Hyun Yoo, Eung-Jun Park, Jae-Sil Lee, Joon-Ho Song, Dae-Jin Oh, Woong-Rak Chung, Yeongtae Lee, Dhaneshwar Mishra	Future of CAE and Implication on Engineering Education.	IFIP CAI	2007	DBLP DOI BibTeX RDF
18	Ricardo Sosa, John S. Gero	Computational Explorations of Compatibility and Innovation.	IFIP CAI	2007	DBLP DOI BibTeX RDF
18	Darrell Mann	Emergent contradictions: A synthesis of TRIZ and complex systems theory.	IFIP CAI	2007	DBLP DOI BibTeX RDF
18	Greg Yezersky	General Theory of Innovation - An Overview.	IFIP CAI	2007	DBLP DOI BibTeX RDF
18	Alexander Hesmer, Karl Hribernik, Jannicke Baalsrud Hauge, Klaus-Dieter Thoben	Supporting the Systematization of Early-Stage-Innovation by Means of Collaborative Working Environments.	IFIP CAI	2007	DBLP DOI BibTeX RDF
18	Benning Lian, Guozhong Cao, Zhonghang Bai, Runhua Tan	Axiom-based Potential Functional Failure Analysis for Risk-free Design.	IFIP CAI	2007	DBLP DOI BibTeX RDF
17	Yu Xiong, Ting Cai, Xin Zhong, Song Zhou, Linqin Cai	Fuzzy speech emotion recognition considering semantic awareness.	J. Intell. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
17	Suzhong Fu, Jing Xu, Shilong Chang, Luyao Yang, Shuting Ling, Jinghan Cai, Jiayin Chen, Jiacheng Yuan, Ying Cai, Bei Zhang, Zicheng Huang, Kun Yang, Wenhai Sui, Linyan Xue, Qingliang Zhao	Robust Vascular Segmentation for Raw Complex Images of Laser Speckle Contrast Based on Weakly Supervised Learning.	IEEE Trans. Medical Imaging	2024	DBLP DOI BibTeX RDF
17	Renzhe Wu, Rui Zhang 0052, Jiaxin Cai, Kun Cai, Tingting Wu, Jichao Lv, Yueling Shi, Guoxiang Liu 0001	Glacial Lake Extraction Framework Based on Coupling of GEE and Historical Glacial Lake Position.	IEEE Geosci. Remote. Sens. Lett.	2024	DBLP DOI BibTeX RDF