Search results for "CAI"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
39	Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám	On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers.	CAI	2013	DBLP DOI BibTeX RDF
39	Michaël Cadilhac, Andreas Krebs, Pierre McKenzie	The Algebraic Theory of Parikh Automata.	CAI	2013	DBLP DOI BibTeX RDF
39	Christel Baier	Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata.	CAI	2013	DBLP DOI BibTeX RDF
39	Konstantinos Draziotis, Dimitrios Poulakis	Lattice Attacks on DSA Schemes Based on Lagrange's Algorithm.	CAI	2013	DBLP DOI BibTeX RDF
39	Georgios Fotiadis, Elisavet Konstantinou	On the Efficient Generation of Generalized MNT Elliptic Curves.	CAI	2013	DBLP DOI BibTeX RDF
39	Symeon Bozapalidis, George Rahonis	Stochastic Equationality.	CAI	2013	DBLP DOI BibTeX RDF
39	Marcella Anselmo, Dora Giammarresi, Maria Madonia	Strong Prefix Codes of Pictures.	CAI	2013	DBLP DOI BibTeX RDF
39	Pascal Véron	Code Based Cryptography and Steganography.	CAI	2013	DBLP DOI BibTeX RDF
39	Gérard Henry Edmond Duchamp, Nguyen Hoang Nghia, Adrian Tanasa	A Selection-Quotient Process for Packed Word Hopf Algebra.	CAI	2013	DBLP DOI BibTeX RDF
39	Laurent Poinsot	Linear Induction Algebra and a Normal Form for Linear Operators.	CAI	2013	DBLP DOI BibTeX RDF
39	Franz Winkler 0001 (eds.)	Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings	CAI	2011	DBLP DOI BibTeX RDF
39	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
39	Christoph Behle, Andreas Krebs, Stephanie Reifferscheid	Typed Monoids - An Eilenberg-Like Theorem for Non Regular Languages.	CAI	2011	DBLP DOI BibTeX RDF
39	Gregory Karagiorgos, Dimitrios Poulakis	An Algorithm for Computing a Basis of a Finite Abelian Group.	CAI	2011	DBLP DOI BibTeX RDF
39	Sicun Gao, André Platzer, Edmund M. Clarke	Quantifier Elimination over Finite Fields Using Gröbner Bases.	CAI	2011	DBLP DOI BibTeX RDF
39	Cynthia Kop	Simplifying Algebraic Functional Systems.	CAI	2011	DBLP DOI BibTeX RDF
39	Christos Koukouvinos, Dimitris E. Simos, Zlatko Varbanov	Hadamard Matrices, Designs and Their Secret-Sharing Schemes.	CAI	2011	DBLP DOI BibTeX RDF
39	Anna Benini, Achille Frigeri, Fiorenza Morini	Codes and Combinatorial Structures from Circular Planar Nearrings.	CAI	2011	DBLP DOI BibTeX RDF
39	Jean-Éric Pin	Theme and Variations on the Concatenation Product.	CAI	2011	DBLP DOI BibTeX RDF
39	Lajos Rónyai, Tamás Mészáros 0001	Some Combinatorial Applications of Gröbner Bases.	CAI	2011	DBLP DOI BibTeX RDF
39	Marcella Anselmo, Maria Madonia	Comparing Necessary Conditions for Recognizability of Two-Dimensional Languages.	CAI	2011	DBLP DOI BibTeX RDF
39	Ondrej Klíma 0001, Miroslav Korbelár, Libor Polák	Rewriting in Varieties of Idempotent Semigroups.	CAI	2011	DBLP DOI BibTeX RDF
39	Mamadou Moustapha Kanté, Michaël Rao	\mathbb F\mathbb F-Rank-Width of (Edge-Colored) Graphs.	CAI	2011	DBLP DOI BibTeX RDF
39	Peter Padawitz	From Grammars and Automata to Algebras and Coalgebras.	CAI	2011	DBLP DOI BibTeX RDF
39	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
39	Ulrich Loup, Erika Ábrahám	I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra.	CAI	2011	DBLP DOI BibTeX RDF
39	Irini-Eleftheria Mens, George Rahonis	Variable Tree Automata over Infinite Ranked Alphabets.	CAI	2011	DBLP DOI BibTeX RDF
39	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
39	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
39	Zoltán Ésik, Tamás Hajgató	Iteration Grove Theories with Applications.	CAI	2009	DBLP DOI BibTeX RDF
39	Paraskevas Alvanos, Dimitrios Poulakis	Solving Norm Form Equations over Number Fields.	CAI	2009	DBLP DOI BibTeX RDF
39	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
39	Michel Bauderon, Rui Chen, Olivier Ly	Context-Free Categorical Grammars.	CAI	2009	DBLP DOI BibTeX RDF	context-freeness, grammar, Category, rewriting system
39	Alessandra Cherubini, Matteo Pradella	Picture Languages: From Wang Tiles to 2D Grammars.	CAI	2009	DBLP DOI BibTeX RDF
39	Stephen L. Bloom, Zoltán Ésik, Werner Kuich	Cycle-Free Finite Automata in Partial Iterative Semirings.	CAI	2009	DBLP DOI BibTeX RDF
39	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
39	Bruno Courcelle	On Several Proofs of the Recognizability Theorem.	CAI	2009	DBLP DOI BibTeX RDF
39	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
39	Wan J. Fokkink	Process Algebra: An Algebraic Theory of Concurrency.	CAI	2009	DBLP DOI BibTeX RDF
39	Gabriele Fici	Combinatorics of Finite Words and Suffix Automata.	CAI	2009	DBLP DOI BibTeX RDF
39	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
39	Konstantinos A. Draziotis	Computation of Pell Numbers of the Form pX2.	CAI	2009	DBLP DOI BibTeX RDF
39	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
39	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
39	Franz Winkler 0001	Canonical Reduction Systems in Symbolic Mathematics.	CAI	2009	DBLP DOI BibTeX RDF
39	Andreas Maletti	A Backward and a Forward Simulation for Weighted Tree Automata.	CAI	2009	DBLP DOI BibTeX RDF
39	Symeon Bozapalidis, Archontia Grammatikopoulou	An Eilenberg Theorem for Pictures.	CAI	2009	DBLP DOI BibTeX RDF
39	Gerasimos C. Meletiou	Polynomial Interpolation of the k-th Root of the Discrete Logarithm.	CAI	2009	DBLP DOI BibTeX RDF
39	Dietrich Kuske	Theories of Automatic Structures and Their Complexity.	CAI	2009	DBLP DOI BibTeX RDF
39	Symeon Bozapalidis, Antonios Kalampakas	On the Complexity of the Syntax of Tree Languages.	CAI	2009	DBLP DOI BibTeX RDF
39	Detlef Plump	The Graph Programming Language GP.	CAI	2009	DBLP DOI BibTeX RDF
39	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
39	Frank Drewes, Johanna Högberg	An Algebra for Tree-Based Music Generation.	CAI	2007	DBLP DOI BibTeX RDF
39	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
39	Andreas Maletti	Learning Deterministically Recognizable Tree Series - Revisited.	CAI	2007	DBLP DOI BibTeX RDF
39	Jürgen Albert, German Tischler	On Generalizations of Weighted Finite Automata and Graphics Applications.	CAI	2007	DBLP DOI BibTeX RDF
39	Antonios Kalampakas	The Syntactic Complexity of Eulerian Graphs.	CAI	2007	DBLP DOI BibTeX RDF
39	Jozef Gruska	Algebraic Methods in Quantum Informatics.	CAI	2007	DBLP DOI BibTeX RDF
39	Oliver Matz	Recognizable vs. Regular Picture Languages.	CAI	2007	DBLP DOI BibTeX RDF
39	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
39	Jean Marcel Pallo	Nonassociativity à la Kleene.	CAI	2007	DBLP DOI BibTeX RDF
39	Frank Drewes	From Tree-Based Generators to Delegation Networks.	CAI	2007	DBLP DOI BibTeX RDF
39	Zoltán Ésik, Szabolcs Iván	Aperiodicity in Tree Automata.	CAI	2007	DBLP DOI BibTeX RDF
39	Heiko Stamer, Friedrich Otto	Restarting Tree Automata and Linear Context-Free Tree Languages.	CAI	2007	DBLP DOI BibTeX RDF
39	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
39	Jean Berstel	Sturmian and Episturmian Words.	CAI	2007	DBLP DOI BibTeX RDF
39	Giusi Castiglione, Roberto Vaglica	Recognizable Picture Languages and Polyominoes.	CAI	2007	DBLP DOI BibTeX RDF
39	Ulrike Prange, Hartmut Ehrig	From Algebraic Graph Transformation to Adhesive HLR Categories and Systems.	CAI	2007	DBLP DOI BibTeX RDF
39	Dora Giammarresi	Tiling Recognizable Two-Dimensional Languages.	CAI	2007	DBLP DOI BibTeX RDF	Tiling systems, Unambiguity, Determinism, Automata and Formal Languages, Two-dimensional languages
39	Manfred Droste, Guo-Qiang Zhang 0001	Bifinite Chu Spaces.	CAI	2007	DBLP DOI BibTeX RDF
39	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
39	Erika Reponen, Kristijan Mihalic	Model of primary and secondary context.	CAI	2006	DBLP DOI BibTeX RDF	privacy, communication, context, mobile phones, publishing, video phones
39	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
39	Jörg Beringer	In context of business.	CAI	2006	DBLP DOI BibTeX RDF
39	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
39	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
39	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
39	Diane Lingrand, Michel Riveill	Input interactions and context component based modelisations: differences and similarities.	CAI	2006	DBLP DOI BibTeX RDF	human computer interaction, context
39	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
39	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
39	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
39	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
38	Cristian A. Linte, Ziv Yaniv, Pascal Fallavollita (eds.)	Augmented Environments for Computer-Assisted Interventions - 10th International Workshop, AE-CAI 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Proceedings	AE-CAI	2015	DBLP DOI BibTeX RDF
38	Markus Zweng, Pascal Fallavollita, Stefanie Demirci, Markus Kowarschik, Nassir Navab, Diana Mateus	Automatic Guide-Wire Detection for Neurointerventions Using Low-Rank Sparse Matrix Decomposition and Denoising.	AE-CAI	2015	DBLP DOI BibTeX RDF
38	Naoki Suzuki, Asaki Hattori, Makoto Hashizume	Development of 4D Human Body Model that Enables Deformation of Skin, Organ and Blood Vessel According to Dynamic Change.	AE-CAI	2015	DBLP DOI BibTeX RDF
38	Beatriz Paniagua, Dzenan Zukic, Ricardo Ortiz, Stephen R. Aylward, Brent Golden, Tung Nguyen, Andinet Enquobahrie	Ultrasound-Guided Navigation System for Orthognathic Surgery.	AE-CAI	2015	DBLP DOI BibTeX RDF
38	Junchen Wang, Hideyuki Suenaga, Liangjing Yang, Hongen Liao, Takehiro Ando, Etsuko Kobayashi, Ichiro Sakuma	3D Surgical Overlay with Markerless Image Registration Using a Single Camera.	AE-CAI	2015	DBLP DOI BibTeX RDF
38	Hagen Kaiser, Pascal Fallavollita, Nassir Navab	'On the Fly' Reconstruction and Tracking System for Patient Setup in Radiation Therapy.	AE-CAI	2015	DBLP DOI BibTeX RDF
38	Hua Ma 0001, Gerardo Dibildox, Jyotirmoy Banerjee, Wiro J. Niessen, Carl J. Schultz, Evelyn Regar, Theo van Walsum	Layer Separation for Vessel Enhancement in Interventional X-ray Angiograms Using Morphological Filtering and Robust PCA.	AE-CAI	2015	DBLP DOI BibTeX RDF
38	Fabrizio Cutolo, Giovanni Badiali, Vincenzo Ferrari	Human-PnP: Ergonomic AR Interaction Paradigm for Manual Placement of Rigid Bodies.	AE-CAI	2015	DBLP DOI BibTeX RDF
38	Gabriel Kiss, Cameron Lowell Palmer, Hans Torp	Patient Adapted Augmented Reality System for Real-Time Echocardiographic Applications.	AE-CAI	2015	DBLP DOI BibTeX RDF
38	Golafsoun Ameri, John S. H. Baxter, A. Jonathan McLeod, Terry M. Peters, Elvis C. S. Chen	Augmented Reality Ultrasound Guidance for Central Line Procedures: Preliminary Results.	AE-CAI	2015	DBLP DOI BibTeX RDF
38	Uditha L. Jayarathne, Xióngbiao Luó, Elvis C. S. Chen, Terry M. Peters	Simultaneous Estimation of Feature Correspondence and Stereo Object Pose with Application to Ultrasound Augmented Robotic Laparoscopy.	AE-CAI	2015	DBLP DOI BibTeX RDF
38	Simon Drouin, Marta Kersten-Oertel, D. Louis Collins	Interaction-Based Registration Correction for Improved Augmented Reality Overlay in Neurosurgery.	AE-CAI	2015	DBLP DOI BibTeX RDF
38	Marta Kersten-Oertel, Ian J. Gerard, Simon Drouin, Kelvin Mok, Denis Sirhan, David S. Sinclair, D. Louis Collins	Augmented Reality for Specific Neurovascular Surgical Tasks.	AE-CAI	2015	DBLP DOI BibTeX RDF
38	Pierre Ambrosini, Ihor Smal, Daniel Ruijters, Wiro J. Niessen, Adriaan Moelker, Theo van Walsum	3D Catheter Tip Tracking in 2D X-Ray Image Sequences Using a Hidden Markov Model and 3D Rotational Angiography.	AE-CAI	2015	DBLP DOI BibTeX RDF
38	Hagen Kaiser, Pascal Fallavollita, Nassir Navab	Real-Time Markerless Respiratory Motion Management Using Thermal Sensor Data.	AE-CAI	2015	DBLP DOI BibTeX RDF
38	Elvis C. S. Chen, A. Jonathan McLeod, John S. H. Baxter, Terry M. Peters	An Iterative Closest Point Framework for Ultrasound Calibration.	AE-CAI	2015	DBLP DOI BibTeX RDF
38	Cristian A. Linte, Ziv Yaniv, Pascal Fallavollita, Purang Abolmaesumi, David R. Holmes III (eds.)	Augmented Environments for Computer-Assisted Interventions - 9th International Workshop, AE-CAI 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 14, 2014. Proceedings	AE-CAI	2014	DBLP DOI BibTeX RDF
38	Marta Kersten-Oertel, Ian Gerard, Simon Drouin, Kelvin Mok, Denis Sirhan, David S. Sinclair, D. Louis Collins	Augmented Reality in Neurovascular Surgery: First Experiences.	AE-CAI	2014	DBLP DOI BibTeX RDF