|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 59 occurrences of 42 keywords
|
|
|
Results
Found 155 publication records. Showing 155 according to the selection in the facets
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 |
Displaying result #101 - #155 of 155 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|