Search results for "CAI"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Irini-Eleftheria Mens, George Rahonis	Variable Tree Automata over Infinite Ranked Alphabets.	CAI	2011	DBLP DOI BibTeX RDF
1	Aart Middeldorp, Georg Moser, Friedrich Neurauter, Johannes Waldmann, Harald Zankl	Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems.	CAI	2011	DBLP DOI BibTeX RDF
1	Ulrich Loup, Erika Ábrahám	I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra.	CAI	2011	DBLP DOI BibTeX RDF
1	Jean-Éric Pin	Theme and Variations on the Concatenation Product.	CAI	2011	DBLP DOI BibTeX RDF
1	Anna Benini, Achille Frigeri, Fiorenza Morini	Codes and Combinatorial Structures from Circular Planar Nearrings.	CAI	2011	DBLP DOI BibTeX RDF
1	Franz Winkler (eds.)	Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings	CAI	2011	DBLP DOI BibTeX RDF
1	Christoph Behle, Andreas Krebs, Stephanie Reifferscheid	Typed Monoids - An Eilenberg-Like Theorem for Non Regular Languages.	CAI	2011	DBLP DOI BibTeX RDF
1	Ondrej Klíma, Miroslav Korbelár, Libor Polák	Rewriting in Varieties of Idempotent Semigroups.	CAI	2011	DBLP DOI BibTeX RDF
1	Mamadou Moustapha Kanté, Michaël Rao	\mathbb F\mathbb F-Rank-Width of (Edge-Colored) Graphs.	CAI	2011	DBLP DOI BibTeX RDF
1	Gregory Karagiorgos, Dimitrios Poulakis	An Algorithm for Computing a Basis of a Finite Abelian Group.	CAI	2011	DBLP DOI BibTeX RDF
1	Lajos Rónyai, Tamás Mészáros	Some Combinatorial Applications of Gröbner Bases.	CAI	2011	DBLP DOI BibTeX RDF
1	Sicun Gao, André Platzer, Edmund M. Clarke	Quantifier Elimination over Finite Fields Using Gröbner Bases.	CAI	2011	DBLP DOI BibTeX RDF
1	Cynthia Kop	Simplifying Algebraic Functional Systems.	CAI	2011	DBLP DOI BibTeX RDF
1	Matthieu Deneufchâtel, Gérard Duchamp, Vincel Hoang Ngoc Minh, Allan I. Solomon	Independence of Hyperlogarithms over Function Fields via Algebraic Combinatorics.	CAI	2011	DBLP DOI BibTeX RDF
1	Peter Padawitz	From Grammars and Automata to Algebras and Coalgebras.	CAI	2011	DBLP DOI BibTeX RDF
1	Christos Koukouvinos, Dimitris E. Simos, Zlatko Varbanov	Hadamard Matrices, Designs and Their Secret-Sharing Schemes.	CAI	2011	DBLP DOI BibTeX RDF
1	Marcella Anselmo, Maria Madonia	Comparing Necessary Conditions for Recognizability of Two-Dimensional Languages.	CAI	2011	DBLP DOI BibTeX RDF
1	Friedrich Otto, Heiko Stamer	Single-Path Restarting Tree Automata.	CAI	2009	DBLP DOI BibTeX RDF	restarting tree automaton, single-path top-down tree automaton, classes of tree languages, linear context-free tree language
1	Ondrej Klíma, Libor Polák	Polynomial Operators on Classes of Regular Languages.	CAI	2009	DBLP DOI BibTeX RDF	positive varieties of languages, polynomial operators
1	Stephen L. Bloom, Zoltán Ésik, Werner Kuich	Cycle-Free Finite Automata in Partial Iterative Semirings.	CAI	2009	DBLP DOI BibTeX RDF
1	Christos Koukouvinos, Dimitris E. Simos	Self-dual Codes over Small Prime Fields from Combinatorial Designs.	CAI	2009	DBLP DOI BibTeX RDF	construction, combinatorial designs, Self-dual codes
1	Konstantinos A. Draziotis	Computation of Pell Numbers of the Form pX2.	CAI	2009	DBLP DOI BibTeX RDF
1	Andreas Maletti	A Backward and a Forward Simulation for Weighted Tree Automata.	CAI	2009	DBLP DOI BibTeX RDF
1	Andreas Maletti, Catalin Ionut Tîrnauca	Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms - Revisited.	CAI	2009	DBLP DOI BibTeX RDF	tree bimorphism, natural language processing, syntax-directed translation, regular tree language
1	Symeon Bozapalidis, George Rahonis (eds.)	Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings	CAI	2009	DBLP DOI BibTeX RDF
1	Gabriele Fici	Combinatorics of Finite Words and Suffix Automata.	CAI	2009	DBLP DOI BibTeX RDF
1	Zoltán Ésik, Tamás Hajgató	Iteration Grove Theories with Applications.	CAI	2009	DBLP DOI BibTeX RDF
1	Paraskevas Alvanos, Dimitrios Poulakis	Solving Norm Form Equations over Number Fields.	CAI	2009	DBLP DOI BibTeX RDF
1	Detlef Plump	The Graph Programming Language GP.	CAI	2009	DBLP DOI BibTeX RDF
1	Alessandra Cherubini, Matteo Pradella	Picture Languages: From Wang Tiles to 2D Grammars.	CAI	2009	DBLP DOI BibTeX RDF
1	Wan Fokkink	Process Algebra: An Algebraic Theory of Concurrency.	CAI	2009	DBLP DOI BibTeX RDF
1	Franz Winkler	Canonical Reduction Systems in Symbolic Mathematics.	CAI	2009	DBLP DOI BibTeX RDF
1	Bruno Courcelle	On Several Proofs of the Recognizability Theorem.	CAI	2009	DBLP DOI BibTeX RDF
1	Symeon Bozapalidis, Archontia Grammatikopoulou	An Eilenberg Theorem for Pictures.	CAI	2009	DBLP DOI BibTeX RDF
1	Dana Pardubská, Martin Plátek, Friedrich Otto	Parallel Communicating Grammar Systems with Regular Control.	CAI	2009	DBLP DOI BibTeX RDF	parallel communicating grammar system, regular control, bounded communication complexity, freely rewriting restarting automaton
1	Gerasimos C. Meletiou	Polynomial Interpolation of the k-th Root of the Discrete Logarithm.	CAI	2009	DBLP DOI BibTeX RDF
1	Dietrich Kuske	Theories of Automatic Structures and Their Complexity.	CAI	2009	DBLP DOI BibTeX RDF
1	Marcella Anselmo, Maria Madonia	A Note on Unambiguity, Finite Ambiguity and Complementation in Recognizable Two-Dimensional Languages.	CAI	2009	DBLP DOI BibTeX RDF	Unambiguity, Complement, Automata and Formal Languages, Two-dimensional languages
1	Symeon Bozapalidis, Antonios Kalampakas	On the Complexity of the Syntax of Tree Languages.	CAI	2009	DBLP DOI BibTeX RDF
1	Michel Bauderon, Rui Chen, Olivier Ly	Context-Free Categorical Grammars.	CAI	2009	DBLP DOI BibTeX RDF	context-freeness, grammar, Category, rewriting system
1	Bo Cui, Lila Kari, Shinnosuke Seki	On the Reversibility of Parallel Insertion, and Its Relation to Comma Codes.	CAI	2009	DBLP DOI BibTeX RDF
1	Devshikha Bose, Dotty Sammons	The Use of Hypertext as a Vocabulary Acquisition Strategy for English as Second Language Learners.	HCI	2009	DBLP DOI BibTeX RDF	Vocabulary Acquisition Strategies, Hypertext, ESL, CALL, CAI, Rubric
1	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
1	Symeon Bozapalidis, George Rahonis (eds.)	Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers	CAI	2007	DBLP BibTeX RDF
1	Andreas Maletti	Learning Deterministically Recognizable Tree Series - Revisited.	CAI	2007	DBLP DOI BibTeX RDF
1	Frank Drewes	From Tree-Based Generators to Delegation Networks.	CAI	2007	DBLP DOI BibTeX RDF
1	Heiko Stamer, Friedrich Otto	Restarting Tree Automata and Linear Context-Free Tree Languages.	CAI	2007	DBLP DOI BibTeX RDF
1	Manfred Droste, Guo-Qiang Zhang	Bifinite Chu Spaces.	CAI	2007	DBLP DOI BibTeX RDF
1	Zoltán Ésik, Szabolcs Iván	Aperiodicity in Tree Automata.	CAI	2007	DBLP DOI BibTeX RDF
1	Marcella Anselmo, Maria Madonia	Deterministic Two-Dimensional Languages over One-Letter Alphabet.	CAI	2007	DBLP DOI BibTeX RDF	Determinism, Automata and Formal Languages, Two-dimensional languages
1	Dora Giammarresi	Tiling Recognizable Two-Dimensional Languages.	CAI	2007	DBLP DOI BibTeX RDF	Tiling systems, Unambiguity, Determinism, Automata and Formal Languages, Two-dimensional languages
1	Sotiris E. Nikoletseas, Christoforos Raptopoulos, Paul G. Spirakis	The Second Eigenvalue of Random Walks On Symmetric Random Intersection Graphs.	CAI	2007	DBLP DOI BibTeX RDF
1	Antonios Kalampakas	The Syntactic Complexity of Eulerian Graphs.	CAI	2007	DBLP DOI BibTeX RDF
1	Frank Drewes, Johanna Högberg	An Algebra for Tree-Based Music Generation.	CAI	2007	DBLP DOI BibTeX RDF
1	Jean Marcel Pallo	Nonassociativity à la Kleene.	CAI	2007	DBLP DOI BibTeX RDF
1	Giusi Castiglione, Roberto Vaglica	Recognizable Picture Languages and Polyominoes.	CAI	2007	DBLP DOI BibTeX RDF
1	Jean Berstel	Sturmian and Episturmian Words.	CAI	2007	DBLP DOI BibTeX RDF
1	Ulrike Prange, Hartmut Ehrig	From Algebraic Graph Transformation to Adhesive HLR Categories and Systems.	CAI	2007	DBLP DOI BibTeX RDF
1	Jozef Gruska	Algebraic Methods in Quantum Informatics.	CAI	2007	DBLP DOI BibTeX RDF
1	Oliver Matz	Recognizable vs. Regular Picture Languages.	CAI	2007	DBLP DOI BibTeX RDF
1	Jürgen Albert, German Tischler	On Generalizations of Weighted Finite Automata and Graphics Applications.	CAI	2007	DBLP DOI BibTeX RDF
1	Iakovos Ouranos, Petros S. Stefaneas	Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques.	CAI	2007	DBLP DOI BibTeX RDF	Algebraic Specification and Verification, Observational Transition Systems, SPINS Protocol suite, Sensor Networks, CafeOBJ
1	Laurie J. Patterson	Color/font/text size: developing standards for video podcast.	SIGITE Conference	2007	DBLP DOI BibTeX RDF	video development, computer science education, handheld computers, podcast, podcasting, computers and education, information systems education, CAI
1	Kikuo Asai, Hideaki Kobayashi	Comparative Characteristics of a Head-Up Display for Computer-Assisted Instruction.	HCI	2007	DBLP DOI BibTeX RDF	HUD, user study, HMD, CAI
1	Elke Franz, Katja Liesebach, Katrin Borcea-Pfitzmann	Privacy-aware user interfaces within collaborative environments.	CAI	2006	DBLP DOI BibTeX RDF	partial identities, privacy-aware user interface, privacy-enhancing identity management, visualization, collaborative environments
1	Kristijan Mihalic (eds.)	Proceedings of the 2006 AVI Workshop on Context in advanced interfaces, CAI 2006, Venice, Italy, May 23, 2006	CAI	2006	DBLP BibTeX RDF
1	Diane Lingrand, Michel Riveill	Input interactions and context component based modelisations: differences and similarities.	CAI	2006	DBLP DOI BibTeX RDF	human computer interaction, context
1	Jörg Beringer	In context of business.	CAI	2006	DBLP DOI BibTeX RDF
1	Ross Shannon, Aaron J. Quigley, Paddy Nixon	Collaborating in context: immersive visualisation environments.	CAI	2006	DBLP DOI BibTeX RDF	computer-supported cooperative work, information visualisation, visual interaction, visual interface design
1	Lucia Terrenghi	Sticky, smelly, smoky context: experience design in the kitchen.	CAI	2006	DBLP DOI BibTeX RDF	computer supported collaborative cooking, evaluation, human computer interaction, ubiquitous computing, user experience
1	Robert Dinoff, Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Paulo Santos	Learning and managing user context in personalized communications services.	CAI	2006	DBLP DOI BibTeX RDF	preference palettes, privacy, learning, personalization, context, preferences
1	Alan J. Dix, Tiziana Catarci, Benjamin Habegger, Yannis E. Ioannidis, Azrina Kamaruddin, Akrivi Katifori, Giorgos Lepouras, Antonella Poggi, Devina Ramduny-Ellis	Intelligent context-sensitive interactions on desktop and the web.	CAI	2006	DBLP DOI BibTeX RDF	dynamic interaction, human computer interaction, context, user experience, intelligent interfaces, natural interaction
1	Torben Weis, Martin Saternus, Mirko Knoll, Alexander Brändle, Marco Combetto	Towards a general purpose user interface for service-oriented context-aware applications.	CAI	2006	DBLP DOI BibTeX RDF	human computer interaction, ubiquitous computing, context
1	Andreas Heil, Iman Moradi, Torben Weis	LCARS: the next generation programming context.	CAI	2006	DBLP DOI BibTeX RDF	VRDK, ubiquitous computing, robots, context, visual programming languages, model-driven software engineering
1	Heimo Müller, Fritz Wiesinger	Modelling "user understanding" in simple communication tasks.	CAI	2006	DBLP DOI BibTeX RDF	eye-gaze patterns, visual language, adaptive interfaces, mental models
1	Erika Reponen, Kristijan Mihalic	Model of primary and secondary context.	CAI	2006	DBLP DOI BibTeX RDF	privacy, communication, context, mobile phones, publishing, video phones
1	John C. Thomas, Robert G. Farrell	HCI Techniques from idea to deployment: a case study for a dynamic learning environment.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	CBT, just-in-time learning, e-learning, on-line learning, CAI
1	Peter McKenna, Ben Laycock	Constructivist or instructivist: pedagogical concepts practically applied to a computer learning environment.	ITiCSE	2004	DBLP DOI BibTeX RDF	e-learning, constructivism, computer assisted instruction, learning technology, learning models, CAI
1	Chang-Jiun Tsai, Shian-Shyong Tseng, Chih-Yang Lin	A Two-Phase Fuzzy Mining and Learning Algorithm for Adaptive Learning Environment.	International Conference on Computational Science	2001	DBLP DOI BibTeX RDF	Data Mining, Machine Learning, Fuzzy set theory, CAI
1	Tomoya Horiguchi, Tsukasa Hirashima	The Role of Counterexamples in Discovery Learning Environment: Awareness of the Chance for Learning.	JSAI Workshops	2001	DBLP DOI BibTeX RDF	discovery learning environment, simulation, education, counterexample, CAI
1	Christine Ferraris, Christian Martel	Regulation in Groupware: The Example of a Collaborative Drawing Tool for Young Children. (PDF / PS)	CRIWG	2000	DBLP DOI BibTeX RDF	collaborative drawing tool, production space, communication space, coordination space, joint activities regulation, user activity organisation, regulation space, participation model, arenas, interactive scenarios, computer entities, educational software package, groupware, groupware, collaborative work, actors, CAI, young children, social aspects
1	Patricia Balbastre, Ismael Ripoll, Alfons Crespo	Control tasks delay reduction under static and dynamic scheduling policies.	RTCSA	2000	DBLP DOI BibTeX RDF	control task delay reduction, dynamic scheduling policy, static scheduling policy, control action delays, dynamic scheduling policies, data acquisition interval, control action interval, DAI, control design phase, scheduling, delays, control systems, industrial application, data acquisition, data acquisition, scheduling policies, static scheduling, control algorithms, EDF scheduling, industrial control, CAI, worst case response time, task decomposition, control performances, digital control