Search results for "BL-algebra"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Britta Kehden	Evaluating Sets of Search Points Using Relational Algebra.	RelMiCS	2006	DBLP DOI BibTeX RDF
30	Anthony N. Lasenby	Recent Applications of Conformal Geometric Algebra.	IWMM/GIAE	2004	DBLP DOI BibTeX RDF
30	Rich Wareham, Jonathan Cameron, Joan Lasenby	Applications of Conformal Geometric Algebra in Computer Vision and Graphics.	IWMM/GIAE	2004	DBLP DOI BibTeX RDF
30	Clint J. van Alten	On Varieties of Biresiduation Algebras.	Stud Logica	2006	DBLP DOI BibTeX RDF	biresiduation algebra, residuated lattice, BCK-algebra
30	Klaus-Dieter Schewe, Bernhard Thalheim	Reasoning About Web Information Systems Using Story Algebras.	ADBIS	2004	DBLP DOI BibTeX RDF	navigation, process algebra, personalisation, Web information system, Kleene algebra
30	Gianpiero Cattaneo, Davide Ciucci	Heyting Wajsberg Algebras as an Abstract Environment Linking Fuzzy and Rough Sets.	Rough Sets and Current Trends in Computing	2002	DBLP DOI BibTeX RDF	Wajsberg algebra, rough approximation space, rough sets, fuzzy sets, Heyting algebra
30	Ludger Becker, Ralf Hartmut Güting	Rule-Based Optimization and Query Processing in an Extensible Geometric Database System.	ACM Trans. Database Syst.	1992	DBLP DOI BibTeX RDF	geometric query processing, many-sorted algebra, rule-based optimization, optimization, extensibility, relational algebra
30	Gunther Schmidt 0001	Relational Measures and Integration.	RelMiCS	2006	DBLP DOI BibTeX RDF	evidence and belief, necessity and possibility measures, relational measure, relation algebra, Choquet integral, plausibility, Sugeno integral
30	Hongbo Li 0012, Lina Cao, Nanbin Cao, Weikun Sun	Intrinsic Differential Geometry with Geometric Calculus.	IWMM/GIAE	2004	DBLP DOI BibTeX RDF	Intrinsic differential geometry, Mathematics mechanization, Symbolic geometric computing, Clifford algebra
30	Dexter Kozen	On Hoare logic and Kleene algebra with tests.	ACM Trans. Comput. Log.	2000	DBLP DOI BibTeX RDF	specification, dynamic logic, Hoare logic, Kleene algebra, Kleene algebra with tests
30	Rita V. Rodríguez	A relativistic temporal algebra for efficient design of distributed systems.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	Atomic relation, incomparable events, interval temporal model, relativistic space-time, temporal algebra, distributed system, relation algebra
30	Jan J. M. M. Rutten, Daniele Turi	Initial Algebra and Final Coalgebra Semantics for Concurrency.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	bisimulation, Algebra, algebra, induction, initiality, labelled transition system, congruence, coalgebra, coinduction, finality
30	Wei-Tek Tsai, Dmitry Volovik, Thomas F. Keefe	Automated Test Case Generation for Programs Specified by Relational Algebra Queries.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	black-box software testing, relational algebra queries, arbitrary specifications, relational algebra expressions, automated test case generation method, formal specification, relational databases, program testing, automatic programming
29	Yoshinao Isobe, Kazuhito Ohmaki	A process logic for distributed system synthesis .	APSEC	2000	DBLP DOI BibTeX RDF	process logic, distributed system synthesis, concurrent behavior, interleaving behavior, DS algebra, SP logic, computability, process algebra, process algebra, satisfiability, algebraic specification, concurrency theory
29	Boris A. Romov	Polynomial Completeness Criteria in Finite Boolean Algebras.	ISMVL	1996	DBLP DOI BibTeX RDF	completeness criteria, finite Boolean algebras, arity-calibrated product, two-valued logic algebras, maximal subalgebras, Sheffer criterion, Slupecki type criterion, multiple base relation, logic algebras, process algebra, polynomials, algebra, Boolean algebra
29	Roberto Manduchi, Pietro Perona	Pyramidal implementation of deformable kernels.	ICIP	1995	DBLP DOI BibTeX RDF	deformable kernels, pyramidal decomposition, multirate implementation, quadratic error criterion, hypermatrix algebra, multilinear problem, pseudo-SVD, quadratic approximation error minimisation, basis filters, steerable-scalable decomposition, computer vision, computer vision, image processing, image processing, global optimization, singular value decomposition, rendering, iterative methods, matrix algebra, aliasing, filtering theory, rendering (computer graphics), image filtering, Kronecker algebra, iterative procedure
27	George E. Andrews	Application of Scratchpad to Problems in Special Functions and Combinatorics.	Trends in Computer Algebra	1987	DBLP DOI BibTeX RDF
27	Richard D. Jenks, Robert S. Sutor, Stephen M. Watt	Scratchpad II: An Abstract Datatype System for Mathematical Computation.	Trends in Computer Algebra	1987	DBLP DOI BibTeX RDF
27	Hans Z. Munthe-Kaas, Will M. Wright	On the Hopf Algebraic Structure of Lie Group Integrators.	Found. Comput. Math.	2008	DBLP DOI BibTeX RDF
27	Xue-fang Wang, Peishun Liu	A Method for Constructing Lattice Implication Algebras on the Interval [0, 1].	FSKD (1)	2008	DBLP DOI BibTeX RDF
27	Floris Geerts, Jan Van den Bussche	Relational Completeness of Query Languages for Annotated Databases.	DBPL	2007	DBLP DOI BibTeX RDF
27	Rachid El Harti, Gábor Lukács	Bounded and Unitary Elements in Pro-C*-algebras.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 18A05, 46H05, 46J05, 46K05
27	Christoph Koch 0001	On the complexity of nonrecursive XQuery and functional query languages on complex values.	PODS	2005	DBLP DOI BibTeX RDF
27	Stelios Paparizos, Yuqing Wu, Laks V. S. Lakshmanan, H. V. Jagadish	Tree Logical Classes for Efficient Evaluation of XQuery.	SIGMOD Conference	2004	DBLP DOI BibTeX RDF
27	Issam Abbas, Omar Boucelma	A Framework for Algebraic Optimization of Object-Oriented Query Languages.	DEXA	1997	DBLP DOI BibTeX RDF
27	Alberto Belussi, Elisa Bertino, Barbara Catania	Manipulating Spatial Data in Constraint Databases.	SSD	1997	DBLP DOI BibTeX RDF
27	José Barros, Joseph A. Goguen	Semantics of Non-terminating Rewrite Systems Using Minimal Coverings.	CSL	1995	DBLP DOI BibTeX RDF
27	Hermann von Issendorff	A theory of organization.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF
27	Hermann von Issendorff	A theory of organization.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF
27	Van-Ly Le	Polly Two : A New Algebraic Polynomial-based Public-Key Scheme.	Appl. Algebra Eng. Commun. Comput.	2006	DBLP DOI BibTeX RDF	Combinatorially algebraic public-key cryptoschemes, Polly Cracker, EnRoot, Linear-Algebra attacks, System of algebraic equations, Elimination ideals, Sparse polynomials
26	Rance Cleaveland	Better Automata Through Process Algebra.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
26	Rosemary Carroll Farley	Student undergraduate research projects in linear algebra using a computer algebra system.	ACM Commun. Comput. Algebra	2015	DBLP DOI BibTeX RDF
26	Zoltán Kovács, Bernard Parisse	Giac and GeoGebra - Improved Gröbner Basis Computations.	Computer Algebra and Polynomials	2015	DBLP DOI BibTeX RDF
26	Willem A. de Graaf	Orbit Closures of Linear Algebraic Groups.	Computer Algebra and Polynomials	2015	DBLP DOI BibTeX RDF
26	Cristian-Silviu Radu	A Note on a Problem Proposed by Kim and Lisonek.	Computer Algebra and Polynomials	2015	DBLP DOI BibTeX RDF
26	Felix Breuer	An Invitation to Ehrhart Theory: Polyhedral Geometry and its Applications in Enumerative Combinatorics.	Computer Algebra and Polynomials	2015	DBLP DOI BibTeX RDF
26	Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson 0001	Ore Polynomials in Sage.	Computer Algebra and Polynomials	2015	DBLP DOI BibTeX RDF
26	Ragni Piene	Polar Varieties Revisited.	Computer Algebra and Polynomials	2015	DBLP DOI BibTeX RDF
26	Georg Grasegger, Franz Winkler 0001	Symbolic Solutions of First-Order Algebraic ODEs.	Computer Algebra and Polynomials	2015	DBLP DOI BibTeX RDF
26	Maria-Laura Torrente	Rational Normal Curves as Set-Theoretic Complete Intersections of Quadrics.	Computer Algebra and Polynomials	2015	DBLP DOI BibTeX RDF
26	Carsten Schneider	Fast Algorithms for Refined Parameterized Telescoping in Difference Fields.	Computer Algebra and Polynomials	2015	DBLP DOI BibTeX RDF
26	J. Rafael Sendra, David Sevilla, Carlos Villarino	Some Results on the Surjectivity of Surface Parametrizations.	Computer Algebra and Polynomials	2015	DBLP DOI BibTeX RDF
26	Joachim von zur Gathen, Konstantin Ziegler	Survey on Counting Special Types of Polynomials.	Computer Algebra and Polynomials	2015	DBLP DOI BibTeX RDF
26	Carlos D'Andrea	Moving Curve Ideals of Rational Plane Parametrizations.	Computer Algebra and Polynomials	2015	DBLP DOI BibTeX RDF
26	Hongbo Li 0012, Lixian Zhang	Line Geometry in Terms of the Null Geometric Algebra over ℝ3, 3, and Application to the Inverse Singularity Analysis of Generalized Stewart Platforms.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
26	Leo Dorst	Tutorial Appendix: Structure Preserving Representation of Euclidean Motions Through Conformal Geometric Algebra.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
26	Robert Valkenburg, Leo Dorst	Estimating Motors from a Variety of Geometric Data in 3D Conformal Geometric Algebra.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
26	Ron Goldman 0002	A Homogeneous Model for Three-Dimensional Computer Graphics Based on the Clifford Algebra for ℝ3.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
26	Anthony N. Lasenby, Robert Lasenby, Chris Doran	Rigid Body Dynamics and Conformal Geometric Algebra.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
26	Robert Valkenburg, Nawar Alwesh	Calibration of Target Positions Using Conformal Geometric Algebra.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
26	Anthony N. Lasenby	Rigid Body Dynamics in a Constant Curvature Space and the '1D-up' Approach to Conformal Geometric Algebra.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
26	Andreas Aristidou, Joan Lasenby	Inverse Kinematics Solutions Using Conformal Geometric Algebra.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
26	Hongbo Li 0012, Yuanhao Cao	On Geometric Theorem Proving with Null Geometric Algebra.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
26	Philippe Serré, Nabil Anwer, Jian-Xin Yang	On the Use of Conformal Geometric Algebra in Geometric Constraint Solving.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
26	Leo Dorst, Robert Valkenburg	Square Root and Logarithm of Rotors in 3D Conformal Geometric Algebra Using Polar Decomposition.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
26	Daniel M. Dunlavy, Tamara G. Kolda, W. Philip Kegelmeyer	Multilinear Algebra for Analyzing Data with Multiple Linkages.	Graph Algorithms in the Language of Linear Algebra	2011	DBLP DOI BibTeX RDF
26	Agnieszka Patyk	Geometric Algebra Model of Distributed Representations.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
26	Hongbo Li 0012	Parameterization of 3D Conformal Transformations in Conformal Geometric Algebra.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
26	Eckhard M. S. Hitzer, Christian Perwass, Daisuke Ichikawa	Interactive 3D Space Group Visualization with CLUCalc and Crystallographic Subperiodic Groups in Geometric Algebra.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
26	Alyn Rockwood, Dietmar Hildenbrand	Engineering Graphics in Geometric Algebra.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
26	Dietmar Hildenbrand, Joachim Pitt, Andreas Koch 0001	Gaalop - High Performance Parallel Computing Based on Conformal Geometric Algebra.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
26	Leo Dorst	Tutorial: Structure-Preserving Representation of Euclidean Motions Through Conformal Geometric Algebra.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
26	Thibaud Debaecker, Ryad Benosman, Sio-Hoi Ieng	Image Sensor Model Using Geometric Algebra: From Calibration to Motion Estimation.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
26	Minh Tuan Pham, Kanta Tachibana, Eckhard M. S. Hitzer, Tomohiro Yoshikawa, Takeshi Furuhashi	Classification and Clustering of Spatial Patterns with Geometric Algebra.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
26	Andreas Frommer, Michael W. Mahoney, Daniel B. Szyld	07071 Abstracts Collection -- Web Information Retrieval and Linear Algebra Algorithms.	Web Information Retrieval and Linear Algebra Algorithms	2007	DBLP BibTeX RDF
26	Andreas Frommer, Michael W. Mahoney, Daniel B. Szyld	07071 Report on Dagstuhl Seminar -- Web Information Retrieval and Linear Algebra Algorithms.	Web Information Retrieval and Linear Algebra Algorithms	2007	DBLP BibTeX RDF
26	Dirk Draheim, Winfried Neun, Dima Suliman	Employing Computer Algebra for Classifying Mathematical Web Content.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
26	Gema M. Diaz-Toca	Galois Theory, Splitting Fields, and Computer Algebra.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
26	Masayuki Noro	A Computer Algebra System: Risa/Asir.	Algebra, Geometry, and Software Systems	2003	DBLP BibTeX RDF
26	James H. Davenport	The Geometry of Cn is Important for the Algebra of Elementary Functions.	Algebra, Geometry, and Software Systems	2003	DBLP BibTeX RDF
26	Jos C. M. Baeten, Twan Basten	Partial-Order Process Algebra (and its Relation to Petri Nets).	Handbook of Process Algebra	2001	DBLP DOI BibTeX RDF
26	Rance Cleaveland, Gerald Lüttgen, V. Natarajan 0001	Priority in Process Algebra.	Handbook of Process Algebra	2001	DBLP DOI BibTeX RDF
26	Sjouke Mauw, Michel A. Reniers	A Process Algebra for Interworkings.	Handbook of Process Algebra	2001	DBLP DOI BibTeX RDF
26	Jan A. Bergstra, Wan J. Fokkink, Alban Ponse	Process Algebra with Recursive Operations.	Handbook of Process Algebra	2001	DBLP DOI BibTeX RDF
26	Jan A. Bergstra, Cornelis A. Middelburg, Yaroslav S. Usenko	Discrete Time Process Algebra and the Semantics of SDL.	Handbook of Process Algebra	2001	DBLP DOI BibTeX RDF
26	Jos C. M. Baeten, Cornelis A. Middelburg	Process Algebra with Timing: Real Time and Discrete Time.	Handbook of Process Algebra	2001	DBLP DOI BibTeX RDF
26	N. Joachim Lehmann	Computer Algebra and Practical Analysis.	European Conference on Computer Algebra (1)	1985	DBLP DOI BibTeX RDF
26	George E. Collins	The SAC-2 Computer Algebra System.	European Conference on Computer Algebra (2)	1985	DBLP DOI BibTeX RDF
26	Robert S. Sutor	The Scratchpad II Computer Algebra Language and System.	European Conference on Computer Algebra (2)	1985	DBLP DOI BibTeX RDF
26	Stephen M. Watt	A System for Parallel Computer Algebra Programs.	European Conference on Computer Algebra (2)	1985	DBLP DOI BibTeX RDF
26	J.-M. Drouffe	Computer Algebra as a Research Tool in Physics.	European Conference on Computer Algebra (1)	1985	DBLP DOI BibTeX RDF
26	John F. Ogilvie	Application of Computer Algebra to the Theory of the Vibration-Rotational Spectra of Diatomic Molecules.	European Conference on Computer Algebra (2)	1985	DBLP DOI BibTeX RDF
26	Arne Hornæs	Computer Algebra in Norway.	European Conference on Computer Algebra (2)	1985	DBLP DOI BibTeX RDF
26	Bob F. Caviness	Computer Algebra: Past and Future.	European Conference on Computer Algebra (1)	1985	DBLP DOI BibTeX RDF
26	Dennis S. Arnon	On Mechanical Quantifier Elimination for Elementary Algebra and Geometry: Solution of a Non-Trivial Problem.	European Conference on Computer Algebra (2)	1985	DBLP DOI BibTeX RDF
26	Dieter Armbruster	Bifurcation Theory and Computer Algebra: An Initial Approach.	European Conference on Computer Algebra (2)	1985	DBLP DOI BibTeX RDF
26	Terje Wahl	Infinite Dimensional Computer Lie Algebra?	European Conference on Computer Algebra (2)	1985	DBLP DOI BibTeX RDF
26	D. M. Klimov	Symbolic Algebra in Problems of Non-Linear Mechanics.	European Conference on Computer Algebra (2)	1985	DBLP DOI BibTeX RDF
26	José Manuel Casas, Manuel A. Insua, Manuel Ladra, Susana Ladra	Algorithm for Testing the Leibniz Algebra Structure.	EUROCAST	2009	DBLP DOI BibTeX RDF
26	Fengguang Song, Asim YarKhan, Jack J. Dongarra	Dynamic task scheduling for linear algebra algorithms on distributed-memory multicore systems.	SC	2009	DBLP DOI BibTeX RDF
26	Yousheng Tian, Yingxu Wang 0001	A Knowledge Representation Tool Based on Concept Algebra.	IEEE ICCI	2007	DBLP DOI BibTeX RDF
26	John Harding, Carol L. Walker, Elbert A. Walker	On Complete Sublattices of the Algebra of Truth Values of Type-2 Fuzzy Sets.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
26	Faxin Zhao, Zong Min Ma 0001, Li Yan 0001	A Vague Relational Model and Algebra.	FSKD (1)	2007	DBLP DOI BibTeX RDF
26	Cezary Kaliszyk, Freek Wiedijk	Certified Computer Algebra on Top of an Interactive Theorem Prover.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
26	Ninghui Li, Qihua Wang	Beyond separation of duty: an algebra for specifying high-level security policies.	CCS	2006	DBLP DOI BibTeX RDF	access control, category, separation of duty, policy design
26	Algimantas Cepulkauskas, Regina Kulvietiene, Genadijus Kulvietis	Computer Algebra for the Formation of Structural Matrices of Piezoceramic Finite Elements.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
26	Víctor Álvarez 0001, José Andrés Armario, María Dolores Frau, Pedro Real 0001	Comparison Maps for Relatively Free Resolutions.	CASC	2006	DBLP DOI BibTeX RDF
26	Antonio Gentile, Salvatore Segreto, Filippo Sorbello, Giorgio Vassallo, Salvatore Vitabile, Vincenzo Vullo	CliffoSor: A Parallel Embedded Architecture for Geometric Algebra and Computer Graphics.	CAMP	2005	DBLP DOI BibTeX RDF
26	Dirk Leinders, Jan Van den Bussche	On the complexity of division and set joins in the relational algebra.	PODS	2005	DBLP DOI BibTeX RDF
26	Jos C. M. Baeten, Mario Bravetti	A Ground-Complete Axiomatization of Finite State Processes in Process Algebra.	CONCUR	2005	DBLP DOI BibTeX RDF