Search results for "CAI"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
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	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	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	Michel Bauderon, Rui Chen, Olivier Ly	Context-Free Categorical Grammars.	CAI	2009	DBLP DOI BibTeX RDF	context-freeness, grammar, Category, rewriting system
1	Alessandra Cherubini, Matteo Pradella	Picture Languages: From Wang Tiles to 2D Grammars.	CAI	2009	DBLP DOI BibTeX RDF
1	Stephen L. Bloom, Zoltán Ésik, Werner Kuich	Cycle-Free Finite Automata in Partial Iterative Semirings.	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	Bruno Courcelle	On Several Proofs of the Recognizability Theorem.	CAI	2009	DBLP DOI BibTeX RDF
1	Ondrej Klíma 0001, Libor Polák	Polynomial Operators on Classes of Regular Languages.	CAI	2009	DBLP DOI BibTeX RDF	positive varieties of languages, polynomial operators
1	Wan J. Fokkink	Process Algebra: An Algebraic Theory of Concurrency.	CAI	2009	DBLP DOI BibTeX RDF
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	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	Konstantinos A. Draziotis	Computation of Pell Numbers of the Form pX2.	CAI	2009	DBLP DOI BibTeX RDF
1	Bo Cui 0001, Lila Kari, Shinnosuke Seki	On the Reversibility of Parallel Insertion, and Its Relation to Comma Codes.	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	Franz Winkler 0001	Canonical Reduction Systems in Symbolic Mathematics.	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	Symeon Bozapalidis, Archontia Grammatikopoulou	An Eilenberg Theorem for Pictures.	CAI	2009	DBLP DOI BibTeX RDF
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	Symeon Bozapalidis, Antonios Kalampakas	On the Complexity of the Syntax of Tree Languages.	CAI	2009	DBLP DOI BibTeX RDF
1	Detlef Plump	The Graph Programming Language GP.	CAI	2009	DBLP DOI BibTeX RDF
1	Frank Drewes, Johanna Högberg	An Algebra for Tree-Based Music Generation.	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	Andreas Maletti	Learning Deterministically Recognizable Tree Series - Revisited.	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	Antonios Kalampakas	The Syntactic Complexity of Eulerian Graphs.	CAI	2007	DBLP DOI BibTeX RDF
1	Jozef Gruska	Algebraic Methods in Quantum Informatics.	CAI	2007	DBLP DOI BibTeX RDF
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 DOI BibTeX RDF
1	Oliver Matz	Recognizable vs. Regular Picture Languages.	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	Jean Marcel Pallo	Nonassociativity à la Kleene.	CAI	2007	DBLP DOI BibTeX RDF
1	Frank Drewes	From Tree-Based Generators to Delegation Networks.	CAI	2007	DBLP DOI BibTeX RDF
1	Zoltán Ésik, Szabolcs Iván	Aperiodicity in Tree Automata.	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	Sotiris E. Nikoletseas, Christoforos L. Raptopoulos, Paul G. Spirakis	The Second Eigenvalue of Random Walks On Symmetric Random Intersection Graphs.	CAI	2007	DBLP DOI BibTeX RDF
1	Jean Berstel	Sturmian and Episturmian Words.	CAI	2007	DBLP DOI BibTeX RDF
1	Giusi Castiglione, Roberto Vaglica	Recognizable Picture Languages and Polyominoes.	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	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	Manfred Droste, Guo-Qiang Zhang 0001	Bifinite Chu Spaces.	CAI	2007	DBLP DOI BibTeX RDF
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	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	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	Jörg Beringer	In context of business.	CAI	2006	DBLP DOI BibTeX RDF
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	Robert Dinoff, Richard Hull 0001, Bharat Kumar, Daniel F. Lieuwen, Paulo Santos 0002	Learning and managing user context in personalized communications services.	CAI	2006	DBLP DOI BibTeX RDF	preference palettes, privacy, learning, personalization, context, preferences
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	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	Elke Franz 0001, 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	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	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	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

Publications at "CAI"( http://dblp.L3S.de/Venues/CAI )