Search results for "CAI"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
99	Joseph Fong, Irene S. Y. Kwan, Margaret Ng, K. L. Lau	Fifth Normal Form Made Easy with Novel Web-Based CAI HCI.	ICWL	2002	DBLP DOI BibTeX RDF
98	Stefan Hüsig	The CAI-NPD-Systems Maturity Model as Forecasting Method: From Closed CAI 1.0 to Holistic CAI 2.0 Solutions.	IFIP CAI	2011	DBLP DOI BibTeX RDF
94	Jianhong Ma, Runhua Tan	Modeling the Variability with UML for TRIZ Based CAI System.	PROLAMAT	2006	DBLP DOI BibTeX RDF	Computer Aided Invention (CAI), modeling variability, UML, software product line, TRIZ
85	Liu Yong-Min, Xiao Bi-Wu, Liu Ping-Bo	Study on the New Mode of CAI.	CSSE (5)	2008	DBLP DOI BibTeX RDF
75	Jackei H. K. Wong, Wilfred W. K. Lin, Allan K. Y. Wong, Tharam S. Dillon	An Ontology Supported Meta-interface for the Development and Installation of Customized Web Based Telemedicine Systems.	SEUS	2008	DBLP DOI BibTeX RDF	Meta-interface paradigm, CTSS, WTS, telemedicine system, enterprise vocabulary, ontology, software development, automated, CAI
72	Masahiro Ozaki, Koji Koyama, Yoshinori Adachi, Naohiro Ishii	Web Type CAI System with Dynamic Text Change from Database by Understanding.	KES	2003	DBLP DOI BibTeX RDF
72	Bernard H. Goddard	The use of CAI at McDonnell Douglas.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF
68	John G. Allee Jr., Robert L. Williams	A Syntactic Schema And Algorithm For Language Arts CAI.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	CAI for grammar and usage, English sentence algorithms and schemata, Generating sentences, Programming grammar in BASIC, Computer assisted instruction
62	Kikuo Asai, Hideaki Kobayashi	Comparative Characteristics of a Head-Up Display for Computer-Assisted Instruction.	HCI (2)	2007	DBLP DOI BibTeX RDF	HUD, user study, HMD, CAI
61	WoongChul Choi, YongSuk Lee, Byung Joon Park, Kuk-Hyun Cho	On Performance Improvement for 802.11-based Multi-hop Ad Hoc Wireless Networks.	ISSADS	2005	DBLP DOI BibTeX RDF	CAI (Collision Avoidance Interval), IEEE 802.11, MAC, Collision, Ad-hoc wireless networks
59	Xianzhi Tian	Influences of CAI English Teaching Pattern on the Autonomous Learning -Research on Divided Class Instruction of Independent College.	WKDD	2008	DBLP DOI BibTeX RDF
59	Peihe Tang, Jun Li, Qiong Wei, Yousuo J. Zou	Some Misunderstandings and Reflections on Multi-media CAI.	CSSE (5)	2008	DBLP DOI BibTeX RDF
59	Kenichi Takahashi, Hiroaki Ueda, Tetsuhiro Miyahara	A Student Agent in a CAI System.	IAT	2005	DBLP DOI BibTeX RDF
59	David W. Valentine	The Cross-Cultural Effectiveness of CAI: Some Cognitive and Affective Factors (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
58	Carlos Ramírez, Héctor García, Livier Serna, Noel León	CAI for Minimizing Movement of Solar Tracking Concentrators.	IFIP CAI	2011	DBLP DOI BibTeX RDF
58	Tao Chen, Yunfei Shao, Xiaowo Tang	Problem Solving Process Research of Everyone Involved in Innovation Based on CAI Technology.	IFIP CAI	2009	DBLP DOI BibTeX RDF
52	Miao Li	Design of a Intelligent Computing Aided Instruction System Based on the Computer Networks.	WKDD	2008	DBLP DOI BibTeX RDF
52	D. M. Sherman	Expert Systems and ICAI in Tax Law: Killing Two Birds with One AI Stone.	ICAIL	1989	DBLP DOI BibTeX RDF
52	G. Michael Barnes, Gary A. Kind	Visual simulations of data structures during lecture.	SIGCSE	1987	DBLP DOI BibTeX RDF
46	Joel A. Michael, Allen A. Rovick, Martha W. Evens, Leemseop Shim, Chong Woo, Nakhoon Kim	The Uses of Multiple Student Inputs in Modeling and Lesson Planning in CAI and ICAI Programs.	ICCAL	1992	DBLP DOI BibTeX RDF
46	Toshihiro Hayashi, Yoneo Yano	Open Structured CAI System for Kanji Learning.	ICCAL	1992	DBLP DOI BibTeX RDF
46	Robert Stubenrauch	Touring a Hyper-CAI System.	ICCAL	1989	DBLP DOI BibTeX RDF
46	David K. Boeshaar, Keith E. Gatling	A hard disk organization scheme for delivering CAI on a novell based PC/MS DOS local area network.	SIGUCCS	1987	DBLP DOI BibTeX RDF
40	Ikuo Kudo, Moonkyung Chung, Hideya Koshino	English cai: A user - initiative cai system with machine translation techniques.	Syst. Comput. Jpn.	1990	DBLP DOI BibTeX RDF
39	Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura	The Learning System of Shinshu University Graduate School of Science and Technology on the Internet.	KES (3)	2005	DBLP DOI BibTeX RDF
39	Patricia Balbastre, Ismael Ripoll, Josep Vidal Canet, Alfons Crespo	A Task Model to Reduce Control Delays.	Real Time Syst.	2004	DBLP DOI BibTeX RDF	timing jitter, multi-rate controllers, schedulability analysis, control design
39	Paul Gillard	A Tiny Tool for Matrix Inversion in a COSTOC Environment.	ICCAL	1990	DBLP DOI BibTeX RDF
39	Dimitrios Poulakis, George Rahonis (eds.)	Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings	CAI	2022	DBLP DOI BibTeX RDF
39	Yuri V. Matiyasevich	On Some Algebraic Ways to Calculate Zeros of the Riemann Zeta Function.	CAI	2022	DBLP DOI BibTeX RDF
39	Virgile Dossou-Yovo, Abderrahmane Nitaj, Alain Togbé	Finding Points on Elliptic Curves with Coppersmith's Method.	CAI	2022	DBLP DOI BibTeX RDF
39	Manuel Kauers, Jakob Moosbauer	A Normal Form for Matrix Multiplication Schemes.	CAI	2022	DBLP DOI BibTeX RDF
39	Ivana Micic, Zorana Jancic, Stefan Stanimirovic	Computation of Solutions to Certain Nonlinear Systems of Fuzzy Relation Inequations.	CAI	2022	DBLP DOI BibTeX RDF
39	Jean Néraud	When Variable-Length Codes Meet the Field of Error Detection.	CAI	2022	DBLP DOI BibTeX RDF
39	Peter Kostolányi	Bideterministic Weighted Automata.	CAI	2022	DBLP DOI BibTeX RDF
39	Valentin P. Bakoev	Ordering the Boolean Cube Vectors by Their Weights and with Minimal Change.	CAI	2022	DBLP DOI BibTeX RDF
39	Lila Kari, Kalpana Mahalingam	Watson-Crick Powers of a Word.	CAI	2022	DBLP DOI BibTeX RDF
39	Jean-Éric Pin	Shuffle Product of Regular Languages: Results and Open Problems.	CAI	2022	DBLP DOI BibTeX RDF
39	Fan Feng, Andreas Maletti	Weighted Two-Way Transducers.	CAI	2022	DBLP DOI BibTeX RDF
39	Danai Balla, Pourandokht Behrouz, Panagiotis Grontas, Aris Pagourtzis, Marianna Spyrakou, Giannis Vrettos	Designated-Verifier Linkable Ring Signatures with Unconditional Anonymity.	CAI	2022	DBLP DOI BibTeX RDF
39	Christina Chrysovalanti Fountoukidou, Maria Pittou	A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures.	CAI	2022	DBLP DOI BibTeX RDF
39	Leonidas Efstathiadis	Weighted Propositional Configuration Logic over De Morgan Algebras.	CAI	2022	DBLP DOI BibTeX RDF
39	Sebastian Maneth, Helmut Seidl, Martin Vu	How to Decide Functionality of Compositions of Top-Down Tree Transducers.	CAI	2022	DBLP DOI BibTeX RDF
39	Stéphane Ballet, Robert Rolland	Chaining Multiplications in Finite Fields with Chudnovsky-Type Algorithms and Tensor Rank of the k-Multiplication.	CAI	2022	DBLP DOI BibTeX RDF
39	Miroslav Ciric 0001, Manfred Droste, Jean-Éric Pin (eds.)	Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings	CAI	2019	DBLP DOI BibTeX RDF
39	Anton Betten, Svetlana Topalova, Stela Zhelezova	Parallelisms of \mathrmPG(3, 4) Invariant Under Cyclic Groups of Order 4.	CAI	2019	DBLP DOI BibTeX RDF
39	Marios Adamoudis, Konstantinos A. Draziotis, Dimitrios Poulakis	Enhancing an Attack to DSA Schemes.	CAI	2019	DBLP DOI BibTeX RDF
39	James Garrett, Natasa Jonoska, Hwee Kim, Masahico Saito	Algebraic Systems Motivated by DNA Origami.	CAI	2019	DBLP DOI BibTeX RDF
39	Stefan Hoffmann 0001	Commutative Regular Languages - Properties and State Complexity.	CAI	2019	DBLP DOI BibTeX RDF
39	Charles J. Colbourn, Violet R. Syrotiuk	Detecting Arrays for Main Effects.	CAI	2019	DBLP DOI BibTeX RDF
39	Alexandre Trocado, Laureano González-Vega, José Manuel Dos Santos	Intersecting Two Quadrics with GeoGebra.	CAI	2019	DBLP DOI BibTeX RDF
39	Marko D. Petkovic, Predrag S. Stanimirovic	Zeroing Neural Network Based on the Equation AXA = A.	CAI	2019	DBLP DOI BibTeX RDF
39	Predrag S. Stanimirovic, Yiming Wei 0001, Dejan Kolundzija, Juan Rafael Sendra, Juana Sendra	An Application of Computer Algebra and Dynamical Systems.	CAI	2019	DBLP DOI BibTeX RDF
39	Aleksandar Trokicic, Branimir Todorovic	Randomized Nyström Features for Fast Regression: An Error Analysis.	CAI	2019	DBLP DOI BibTeX RDF
39	Stéphane Ballet, Alexis Bonnecaze, Thanh-Hung Dang	On the Scalar Complexity of Chudnovsky ^2 Multiplication Algorithm in Finite Fields.	CAI	2019	DBLP DOI BibTeX RDF
39	Milan Basic, Aleksandar Ilic, Aleksandar Stamenkovic	Maximal Diameter on a Class of Circulant Graphs.	CAI	2019	DBLP DOI BibTeX RDF
39	Stefano Crespi-Reghizzi, Pierluigi San Pietro	Regular Languages as Local Functions with Small Alphabets.	CAI	2019	DBLP DOI BibTeX RDF
39	Martin Loebl	The Precise Complexity of Finding Rainbow Even Matchings.	CAI	2019	DBLP DOI BibTeX RDF
39	André Guerino Castoldi, Emerson Luiz do Monte Carmelo, Lucia Moura, Daniel Panario, Brett Stevens	Bounds on Covering Codes in RT Spaces Using Ordered Covering Arrays.	CAI	2019	DBLP DOI BibTeX RDF
39	Valentin P. Bakoev	Fast Computing the Algebraic Degree of Boolean Functions.	CAI	2019	DBLP DOI BibTeX RDF
39	Tsonka Baicheva, Svetlana Topalova	On the Diffusion Property of the Improved Generalized Feistel with Different Permutations for Each Round.	CAI	2019	DBLP DOI BibTeX RDF
39	Ludwig Kampel, Dimitris E. Simos, Bernhard Garn, Ilias S. Kotsireas, Evgeny Zhereshchin	Algebraic Models for Arbitrary Strength Covering Arrays over v-ary Alphabets.	CAI	2019	DBLP DOI BibTeX RDF
39	Daniela Mechkaroska, Aleksandra Popovska-Mitrovikj, Verica Bakeva	New Cryptcodes for Burst Channels.	CAI	2019	DBLP DOI BibTeX RDF
39	Paul Gastin	Modular Descriptions of Regular Functions.	CAI	2019	DBLP DOI BibTeX RDF
39	Zoltán Fülöp 0001, Heiko Vogler	Rational Weighted Tree Languages with Storage and the Kleene-Goldstine Theorem.	CAI	2019	DBLP DOI BibTeX RDF
39	Mohsen Bahrami, Bane Vasic	Constraint Satisfaction Through GBP-Guided Deliberate Bit Flipping.	CAI	2019	DBLP DOI BibTeX RDF
39	Andreas Maletti (eds.)	Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings	CAI	2015	DBLP DOI BibTeX RDF
39	Riccardo Longo, Chiara Marcolla, Massimiliano Sala	Key-Policy Multi-authority Attribute-Based Encryption.	CAI	2015	DBLP DOI BibTeX RDF
39	Vladimir A. Zakharov	Equivalence Checking Problem for Finite State Transducers over Semigroups.	CAI	2015	DBLP DOI BibTeX RDF
39	Nicolas Borie	Effective Invariant Theory of Permutation Groups Using Representation Theory.	CAI	2015	DBLP DOI BibTeX RDF
39	Volker Diekert	More Than 1700 Years of Word Equations.	CAI	2015	DBLP DOI BibTeX RDF
39	Manfred Droste, Doreen Heusel, Heiko Vogler	Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics.	CAI	2015	DBLP DOI BibTeX RDF
39	Andreas Krebs, Howard Straubing	EF+EX Forest Algebras.	CAI	2015	DBLP DOI BibTeX RDF
39	Qichao Wang, Norbert Hundeshagen, Friedrich Otto	Weighted Restarting Automata and Pushdown Relations.	CAI	2015	DBLP DOI BibTeX RDF
39	Duc-Phong Le, Nadia El Mrabet, Chik How Tan	On Near Prime-Order Elliptic Curves with Small Embedding Degrees.	CAI	2015	DBLP DOI BibTeX RDF
39	Jarkko Kari, Michal Szabados	An Algebraic Geometric Approach to Multidimensional Words.	CAI	2015	DBLP DOI BibTeX RDF
39	Marcella Anselmo, Dora Giammarresi, Maria Madonia	Unbordered Pictures: Properties and Construction.	CAI	2015	DBLP DOI BibTeX RDF
39	Johannes Osterholzer	Complexity of Uniform Membership of Context-Free Tree Grammars.	CAI	2015	DBLP DOI BibTeX RDF
39	Borja Balle, Mehryar Mohri	Learning Weighted Automata.	CAI	2015	DBLP DOI BibTeX RDF
39	Muhammed F. Esgin, Mehmet Sabir Kiraz, Osmanbey Uzunkol	A New Partial Key Exposure Attack on Multi-power RSA.	CAI	2015	DBLP DOI BibTeX RDF
39	Deepak Kumar Dalai	On the Lower Block Triangular Nature of the Incidence Matrices to Compute the Algebraic Immunity of Boolean Functions.	CAI	2015	DBLP DOI BibTeX RDF
39	Werner Kuich	Why We Need Semirings in Automata Theory (Extended Abstract).	CAI	2015	DBLP DOI BibTeX RDF
39	Matteo Piva, Marco Pizzato, Massimiliano Sala	Attacking BEAR and LION Schemes in a Realistic Scenario.	CAI	2015	DBLP DOI BibTeX RDF
39	Atsuko Miyaji, Xiaonan Shi, Satoru Tanaka	Extended Explicit Relations Between Trace, Definition Field, and Embedding Degree.	CAI	2015	DBLP DOI BibTeX RDF
39	Marco Calderini, Massimiliano Sala	On Differential Uniformity of Maps that May Hide an Algebraic Trapdoor.	CAI	2015	DBLP DOI BibTeX RDF
39	Luisa Herrmann 0001, Heiko Vogler	A Chomsky-Schützenberger Theorem for Weighted Automata with Storage.	CAI	2015	DBLP DOI BibTeX RDF
39	Traian Muntean, Dimitrios Poulakis, Robert Rolland (eds.)	Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings	CAI	2013	DBLP DOI BibTeX RDF
39	Andreas Maletti	Synchronous Forest Substitution Grammars.	CAI	2013	DBLP DOI BibTeX RDF
39	Johan P. Hansen	Osculating Spaces of Varieties and Linear Network Codes.	CAI	2013	DBLP DOI BibTeX RDF
39	Marc Joye	On Elliptic Curve Paillier Schemes.	CAI	2013	DBLP DOI BibTeX RDF
39	Marco Calderini, Massimiliano Sala	Generalized AG Codes as Evaluation Codes.	CAI	2013	DBLP DOI BibTeX RDF
39	Victor Marsault, Jacques Sakarovitch	On Sets of Numbers Rationally Represented in a Rational Base Number System.	CAI	2013	DBLP DOI BibTeX RDF
39	Matteo Piva, Massimiliano Sala	A New Bound for Cyclic Codes Beating the Roos Bound.	CAI	2013	DBLP DOI BibTeX RDF
39	Stéphane Ballet, Jean Chaumine, Julia Pieltant	Shimura Modular Curves and Asymptotic Symmetric Tensor Rank of Multiplication in any Finite Field.	CAI	2013	DBLP DOI BibTeX RDF
39	Gul Agha	Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems.	CAI	2013	DBLP DOI BibTeX RDF
39	Seny Kamara	Proofs of Storage: Theory, Constructions and Applications.	CAI	2013	DBLP DOI BibTeX RDF
39	Nadia El Mrabet	Side Channel Attacks against Pairing over Theta Functions.	CAI	2013	DBLP DOI BibTeX RDF
39	Yves Aubry, Philippe Langevin	On a Conjecture of Helleseth.	CAI	2013	DBLP DOI BibTeX RDF
39	Eleni Mandrali, George Rahonis	Characterizations of Weighted First-Order Logics over Semirings.	CAI	2013	DBLP DOI BibTeX RDF
39	Bruno Courcelle, Irène Durand	Model-Checking by Infinite Fly-Automata.	CAI	2013	DBLP DOI BibTeX RDF
39	Michel de Rougemont, Mathieu Tracol	Approximation of Large Probabilistic Networks by Structured Population Protocols.	CAI	2013	DBLP DOI BibTeX RDF