Search results for "BL-algebra"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
35	Jules Desharnais	Kleene Algebra with Relations.	RelMiCS	2003	DBLP DOI BibTeX RDF
35	Bernard Mourrain	Some Algebra with Formal Matrices.	AAECC	1990	DBLP DOI BibTeX RDF
35	Marc Gyssens, Dirk Van Gucht	The Powerset Algebra as a Result of Adding Programming Constructs to the Nested Relational Algebra.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
35	Kuo-pao Yang, Wendy Zhang, Frederick E. Petry	Building content dictionaries for geometric algebra in OMDoc format.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	OMDoc, content dictionaries, documentation semantics, XML, XHTML, geometric algebra
35	Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet	Dense Linear Algebra over Word-Size Prime Fields: the FFLAS and FFPACK Packages.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	BLAS level 1-2-3, Winograd’s symbolic matrix multiplication, Word size prime fields, linear algebra package, determinant, inverse, matrix factorization
35	Oleg Lobachev, Rita Loogen	Towards an Implementation of a Computer Algebra System in a Functional Language.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF	language and system design, computer algebra, software technology
35	Frederik Eaton	Statically typed linear algebra in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF	higher-rank polymorphism, template Haskell, linear algebra, staging, existential types
35	Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz, Jan Van den Bussche	The Semijoin Algebra and the Guarded Fragment.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	guarded logic, databases, relational algebra, semijoin
35	Marat Fayzullin, V. S. Subrahmanian	An Algebra for PowerPoint Sources.	Multim. Tools Appl.	2004	DBLP DOI BibTeX RDF	multimedia, databases, algebra, presentation, powerpoint
35	Yuequan Luo, Guangda Su	A Fast Method of Lighting Estimate Using Multi-linear Algebra.	SINOBIOMETRICS	2004	DBLP DOI BibTeX RDF	Lighting estimate, multi-linear algebra
35	Qiujian Sheng, Zhongzhi Shi	A Knowledge-Based Data Model and Query Algebra for the Next-Generation Web.	APWeb	2004	DBLP DOI BibTeX RDF	Semantic web, query language, data model, algebra, heterogeneous resources
35	Duminda Wijesekera, Sushil Jajodia	A propositional policy algebra for access control.	ACM Trans. Inf. Syst. Secur.	2003	DBLP DOI BibTeX RDF	policy algebra, Access control, security policy, policy composition
35	Piero A. Bonatti, Sabrina De Capitani di Vimercati, Pierangela Samarati	An algebra for composing access control policies.	ACM Trans. Inf. Syst. Secur.	2002	DBLP DOI BibTeX RDF	Access control, logic programs, algebra, policy composition
35	Alexandre V. Zamulin	An Object Algebra for the ODMG Standard.	ADBIS	2002	DBLP DOI BibTeX RDF	implicit state, object-oriented database, dynamic system, Object modeling, object algebra
35	Sandra de F. Mendes Sampaio, Norman W. Paton, Paul Watson 0001, Jim Smith 0001	A Parallel Algebra for Object Databases.	DEXA Workshops	1999	DBLP DOI BibTeX RDF	inter-operator parallelism, intra-operator parallelism, parallel algebra, Object Databases, parallel optimization
35	Dell Zhang, Yisheng Dong	A Data Model and Algebra for the Web.	DEXA Workshops	1999	DBLP DOI BibTeX RDF	XML, data model, Web data, object algebra
35	Dell Zhang, Yisheng Dong	An Object Oriented Data Model for Web and Its Algebra.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	XML, object oriented, Web, data model, algebra
35	Daniel J. Buehrer, Chee-Hwa Lee	Class Algebra for Ontology Reasoning.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Class algebra, ontology, classification, object-oriented, probability, reasoning, ISA
35	Sue Fitzgerald, Jerry Place	Teaching elementary queueing theory with a computer algebra system.	SIGCSE	1995	DBLP DOI BibTeX RDF	elementary queueing theory, teaching techniques, Maple, Maple, computer algebra, CAS, MACSYMA, Birth-Death process
35	Ivo Düntsch, Michael Winter 0001	The Lattice of Contact Relations on a Boolean Algebra.	RelMiCS	2008	DBLP DOI BibTeX RDF
35	James Worthington	Automatic Proof Generation in Kleene Algebra.	RelMiCS	2008	DBLP DOI BibTeX RDF
35	Kamal Aboul-Hosn, Dexter Kozen	Local Variable Scoping and Kleene Algebra with Tests.	RelMiCS	2006	DBLP DOI BibTeX RDF
35	Gerald Sommer	Applications of Geometric Algebra in Robot Vision.	IWMM/GIAE	2004	DBLP DOI BibTeX RDF
35	Lucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort	Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF
34	Hongbo Li 0012	A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization.	ISSAC	2007	DBLP DOI BibTeX RDF	null bracket algebra, symbolic geometric computing, geometric invariance, geometric theorem proving, conformal geometric algebra
34	Antonio Ledda, Martinvaldo Konig, Francesco Paoli, Roberto Giuntini	MV-Algebras and Quantum Computation.	Stud Logica	2006	DBLP DOI BibTeX RDF	quasi-MV algebra, residuated structures, fuzzy logic, quantum computation, MV algebra, quantum logic
34	Bernhard Burgeth, Joachim Weickert	An Explanation for the Logarithmic Connection between Linear and Morphological System Theory.	Int. J. Comput. Vis.	2005	DBLP DOI BibTeX RDF	linear system theory, min-plus algebra, slope transform, Cramer transform, morphology, convex analysis, max-plus algebra
34	Hongbo Li 0012	Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF	Cayley algebra, bracket algebra, affine geometry, automated theorem proving, projective geometry, conics
34	Peter McBrien	Principles of Implementing Historical Databases in RDBMS.	BNCOD	1993	DBLP DOI BibTeX RDF	Temporal Relational Algebra, US Logic, Query Processing, Relational Algebra, RDBMS, Historical Databases
34	Gerald B. Folland, Jeffrey L. Stuart	Linear Algebra by John B. Fraleigh; Raymond A. Beauregard; Linear Algebra and its Applications by David Lay; Linear Algebra: A Geometric Approach by Theodore Shifrin; Malcolm R. Adams; Introduction to Linear Algebra by Gilbert Strang.	Am. Math. Mon.	2005	DBLP BibTeX RDF
34	Daniel Lazard	Commutative Algebra and Computer Algebra.	EUROCAM	1982	DBLP DOI BibTeX RDF
34	François Boulier, François Lemaire	Differential Algebra and System Modeling in Cellular Biology.	AB	2008	DBLP DOI BibTeX RDF	cellular biology, system modeling, Computer algebra, differential algebra
34	Murray R. Bremner, Michael J. Hancock, Yunfeng Piao	Nonassociative structures on polynomial algebras arising from bio-operations on formal languages: an application of computer algebra to nonassociative systems.	ISSAC	2007	DBLP DOI BibTeX RDF	bio-operations, nonassociative algebra, polynomial identities, finite fields, formal languages, DNA computing, computer algebra, linear systems
34	Stephen Mann, Leo Dorst	Geometric Algebra: A Computational Framework for Geometrical Applications (Part 2).	IEEE Computer Graphics and Applications	2002	DBLP DOI BibTeX RDF	rotation reprensentation, Plucker coordinates, geometric differentiation, computational geometry, join, quaternions, meet, geometric algebra, Clifford algebra, homogeneous coordinates, dualization
34	Mark W. Hopkins, Dexter Kozen	Parikh's Theorem in Commutative Kleene Algebra.	LICS	1999	DBLP DOI BibTeX RDF	formal methods, Kleene algebra, universal algebra, logics of programs
34	Neil L. White	Grassmann - Cayley algebra and robotics.	J. Intell. Robotic Syst.	1994	DBLP DOI BibTeX RDF	Plücker coordinates, Grassmann-Cayley algebra, motion space, series-parallel, infinitesimal rigiditly, Cayley factorization, bracket algebra, robot, spline, projective geometry, mechanism
34	Anatolij Dvurecenskij	Cyclic elements and subalgebras of GMV-algebras.	Soft Comput.	2010	DBLP DOI BibTeX RDF	GMV-algebra, Unital ?-group, Cyclic element, Perfect GMV-algebra, n-Perfect GMV-algebra, Free product, Representation
34	Lawrence Peter Belluce, Revaz Grigolia, Ada Lettieri	Representations of monadic MV -algebras.	Stud Logica	2005	DBLP DOI BibTeX RDF	Monadic algebra, Projective algebra, MV -algebra
34	Thomas Vetterlein	BL-algebras and effect algebras.	Soft Comput.	2005	DBLP DOI BibTeX RDF	Weak effect algebra, D-poset, Weak D-poset, Effect algebra, BL-algebra
33	Antonio Di Nola, Mirko Navara	MV-Algebras with the Cantor-Bernstein Property.	IFSA (2)	2007	DBLP DOI BibTeX RDF	Cantor-Bernstein theorem, boolean element of an MV-algebra, partition of unity, direct product decomposition, ?-complete MV-algebra, multiplicative MV-algebra, MV-algebra
33	Dumitru Daniel Dragulici	Conservative extension of polyadic MV-algebras to polyadic pavelka algebras.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Pavelka algebra, Polyadic MV-algebra, Polyadic Pavelka algebra, MV-algebra
32	Alin Bostan, Bruno Salvy, Éric Schost	Fast Algorithms for Zero-Dimensional Polynomial Systems using Duality.	Appl. Algebra Eng. Commun. Comput.	2003	DBLP DOI BibTeX RDF	Linear recurrent sequences, Duality, Polynomial system solving
31	Hitoshi Furusawa	A Free Construction of Kleene Algebras with Tests.	MPC	2004	DBLP DOI BibTeX RDF
31	Alexander Moshe Rabinovich	Logic of Trace Languages (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF
31	Jacques Calmet	Intelligent Computer Algebra System: Myth, Fancy or Reality?	Trends in Computer Algebra	1987	DBLP DOI BibTeX RDF
31	Qun Ni, Elisa Bertino, Jorge Lobo 0001	D-algebra for composing access control policy decisions.	AsiaCCS	2009	DBLP DOI BibTeX RDF	many-valued logic, MV-algebras, decision, policy composition
31	Prathima Rao, Dan Lin 0001, Elisa Bertino, Ninghui Li, Jorge Lobo 0001	An algebra for fine-grained integration of XACML policies.	SACMAT	2009	DBLP DOI BibTeX RDF	policy integration, access control, XACML
31	Mikolaj Bojanczyk	Algebra for Tree Languages.	CSL	2009	DBLP DOI BibTeX RDF
31	Josep Soler 0001, Imma Boada, Ferran Prados, Jordi Poch, Ramón Fabregat	An Automatic Correction Tool for Relational Algebra Queries.	ICCSA (2)	2007	DBLP DOI BibTeX RDF
31	Uta Priss, L. John Old	An Application of Relation Algebra to Lexical Databases.	ICCS	2006	DBLP DOI BibTeX RDF
31	Uta Priss	An FCA Interpretation of Relation Algebra.	ICFCA	2006	DBLP DOI BibTeX RDF
31	S. Durga Bhavani, Arun K. Pujari	EvIA - Evidential Interval Algebra and Heuristic Backtrack-Free Algorithm.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	temporal CSP, heuristics, consistency checking, evidential reasoning
31	Tomoko Ninomiya, Masao Mukaidono	Independence of Each Axiom in a Set of Axioms and Complete Sets of Axioms of Boolean Algebra.	ISMVL	2002	DBLP DOI BibTeX RDF
31	Robin N. Banerjee, Andrés Bujosa	Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings.	FoIKS	2002	DBLP DOI BibTeX RDF
31	H. V. Jagadish, Laks V. S. Lakshmanan, Divesh Srivastava, Keith Thompson	TAX: A Tree Algebra for XML.	DBPL	2001	DBLP DOI BibTeX RDF
31	Burghard von Karger	Temporal Algebra.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
31	Sibel Adali, Maria Luisa Sapino, V. S. Subrahmanian	A Multimedia Presentation Algebra.	SIGMOD Conference	1999	DBLP DOI BibTeX RDF
31	Sibel Adali, Piero A. Bonatti, Maria Luisa Sapino, V. S. Subrahmanian	A Multi-Similarity Algebra.	SIGMOD Conference	1998	DBLP DOI BibTeX RDF
31	Zhaojun Bai, David Day, James Demmel, Jack J. Dongarra, Ming Gu 0002, Axel Ruhe, Henk A. van der Vorst	Templates for Linear Algebra Problems.	Computer Science Today	1995	DBLP DOI BibTeX RDF
31	S. V. Kolyada	Systems for Symbolic Computations in Boolean Algebra.	ISSAC	1990	DBLP DOI BibTeX RDF
31	H. B. M. Jonkers	Description Algebra.	Algebraic Methods	1987	DBLP DOI BibTeX RDF
31	Günter Hornung, Peter Raulefs	Terminal Algebra Semantics and Retractions for Abstract Data Types.	ICALP	1980	DBLP DOI BibTeX RDF
31	João L. Sobrinho	Network routing with path vector protocols: theory and applications.	SIGCOMM	2003	DBLP DOI BibTeX RDF	path vector protocols, BGP, border gateway protocol, algebra
30	Akira Suzuki	Computing Gröbner Bases within Linear Algebra.	CASC	2009	DBLP DOI BibTeX RDF
30	Kim Solin	A While Program Normal Form Theorem in Total Correctness.	RelMiCS	2009	DBLP DOI BibTeX RDF
30	Roland Glück, Bernhard Möller, Michel Sintzoff	A Semiring Approach to Equivalences, Bisimulations and Control.	RelMiCS	2009	DBLP DOI BibTeX RDF
30	Jean-Lou De Carufel, Jules Desharnais	On the Structure of Demonic Refinement Algebras with Enabledness and Termination.	RelMiCS	2008	DBLP DOI BibTeX RDF
30	Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa	A Non-probabilistic Relational Model of Probabilistic Kleene Algebras.	RelMiCS	2008	DBLP DOI BibTeX RDF
30	Rudolf Berghammer	Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView.	CASC	2006	DBLP DOI BibTeX RDF
30	Hitoshi Furusawa	A Framework for Kleene Algebra with an Embedded Structure.	RelMiCS	2005	DBLP DOI BibTeX RDF
30	Christophe Claramunt	Extending Ladkin's algebra on non-convex intervals towards an algebra on union-of regions.	ACM-GIS	2000	DBLP DOI BibTeX RDF	spatio-temporal relationships, union-of regions
30	James H. Davenport, Barry M. Trager	Scratchpad's View of Algebra I: Basic Commutative Algebra.	DISCO	1990	DBLP DOI BibTeX RDF
30	Rahul Breh, Vivek Kumar	Making mathematical problem solving exploratory and social-synergizing computer algebra systems with semantic and web-2.0 technology.	Bangalore Compute Conf.	2010	DBLP DOI BibTeX RDF	web 2.0, semantic web technology, Sage, computer algebra systems
30	João Pedro Cerveira Cordeiro, Gilberto Câmara, Ubirajara Moura de Freitas, Felipe Almeida	Yet Another Map Algebra.	GeoInformatica	2009	DBLP DOI BibTeX RDF	map algebra, cartographic modeling, automata, formal languages, dynamic modeling, spatial analysis
30	Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota	Encoding a process algebra using the Event B method.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Event B method, User tasks validation, Human-computer interaction, Refinements, Process algebra
30	Yuqing Wu, Sofia Brenes, Tejas Totade, Shijin Joshua, Dhaval Damani, Michel Salim	ASIC: algebra-based structural index comparison.	CIKM	2009	DBLP DOI BibTeX RDF	XPath algebra, structural index
30	Florian Wörsdörfer, Florian Stock, Eduardo Bayro-Corrochano, Dietmar Hildenbrand	Optimizations and Performance of a Robotics Grasping Algorithm Described in Geometric Algebra.	CIARP	2009	DBLP DOI BibTeX RDF	Robot Grasping, Runtime Performance, CUDA, Conformal Geometric Algebra
30	Luciano Vieira de Araújo, Ester C. Sabino, João Eduardo Ferreira	HIV drug resistance analysis tool based on process algebra.	SAC	2008	DBLP DOI BibTeX RDF	NPDL, drug resistance, genotypic drug resistance testing, process algebra, mutation analysis, HIV
30	Hrachya V. Astsatryan, Vladimir Sahakyan, Yuri Shoukouryan, Michel J. Daydé, Aurélie Hurault, Marc Pantel, Eddy Caron	A Grid-Aware Web Portal with Advanced Service Trading for Linear Algebra Calculations.	VECPAR	2008	DBLP DOI BibTeX RDF	Service Trading, Grid Computing, Scientific Computing, Linear Algebra, Web Portal
30	Alessandra Palmigiano, Yde Venema	Nabla Algebras and Chu Spaces.	CALCO	2007	DBLP DOI BibTeX RDF	relation lifting, Vietoris hyperspace, Chu space, coalgebra, modal algebra
30	Ainhoa Berciano, María José Jiménez 0001, Pedro Real 0001	On the Computation of Ainfinity-Maps.	CASC	2007	DBLP DOI BibTeX RDF	A ???-algebra, Basic Perturbation Lemma, computation, contraction, transference
30	Jules Desharnais, Bernhard Möller, Georg Struth	Kleene algebra with domain.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Idempotent semiring, codomain, image and preimage operation, program development and analysis, domain, Kleene algebra, equational reasoning, state transition systems
30	Hennie Poulisse	Computational communicative algebra.	ISSAC	2006	DBLP DOI BibTeX RDF	approximate commutative algebra
30	Harold W. Thimbleby	User interface design with matrix algebra.	ACM Trans. Comput. Hum. Interact.	2004	DBLP DOI BibTeX RDF	user interface design, Matrix algebra, feature interaction, usability analysis
30	Guoyin Wang 0001, Jun Zhao, Jiu-Jiang An, Yu Wu 0001	Theoretical Study on Attribute Reduction of Rough Set Theory: Comparison of Algebra and Information Views.	IEEE ICCI	2004	DBLP DOI BibTeX RDF	attribute significance, attribute core, algebra view, information view, Rough set theory, attribute reduction
30	Jan Carlson, Björn Lisper	An event detection algebra for reactive systems.	EMSOFT	2004	DBLP DOI BibTeX RDF	event algebra, reactive systems, event detection, resource-efficiency
30	Dorel Lucanu, Gabriel Ciobanu	Model Checking for Object Specifications in Hidden Algebra.	VMCAI	2004	DBLP DOI BibTeX RDF	hidden algebra, object specification, behavioral bisimulation, CTL models, model checking, labeled transition systems, SMV
30	Xin Zhang 0002, Bradford Pielech, Elke A. Rundensteiner	Honey, I shrunk the XQuery!: an XML algebra optimization approach.	WIDM	2002	DBLP DOI BibTeX RDF	optimization, XML, XQuery, algebra, relational, operator
30	John A. Gunnels, Fred G. Gustavson, Greg Henry, Robert A. van de Geijn	FLAME: Formal Linear Algebra Methods Environment.	ACM Trans. Math. Softw.	2001	DBLP DOI BibTeX RDF	performance, libraries, linear algebra, Formal derivation
30	Georg Struth	Calculating Church-Rosser Proofs in Kleene Algebra.	RelMiCS	2001	DBLP DOI BibTeX RDF	$lambda$-calculus, Church-Rosser theorem, rewriting, Kleene algebra, formal mathematics
30	Neven Jurkovic	Diagnosing and correcting student's misconceptions in an educational computer algebra system.	ISSAC	2001	DBLP DOI BibTeX RDF	mal-rules, intelligent tutoring systems (ITS), student modeling, computer algebra systems (CAS)
30	Ioannis Z. Emiris, Bernard Mourrain	Computer Algebra Methods for Studying and Computing Molecular Conformations.	Algorithmica	1999	DBLP DOI BibTeX RDF	Structure-based design, Geometric and kinematic constraints, Equation solving, Computer algebra, Molecular conformations
30	Eike Best, Raymond R. Devillers, Maciej Koutny	The Box Algebra - A Model of Nets and Process Expressions.	ICATPN	1999	DBLP DOI BibTeX RDF	Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, refinement, process algebras, recursion
30	Tomoko Ninomiya, Masao Mukaidono	Clarifying the Axioms of Kleene Algebra based on the Method of Indeterminate Coefficients.	ISMVL	1999	DBLP DOI BibTeX RDF	the Method of Indeteminate Coefficients, Independency of axiom, Complete axioms, Kleene Algebra
30	Dexter Kozen	Kleene Algebra with Tests.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	specification, dynamic logic, Kleene algebra
30	Debabrata Dey, Sumit Sarkar	A Probabilistic Relational Model and Algebra.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	data incompleteness, probabilistic relation, probability calculus, relational algebra, relational model, data uncertainty
30	Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska	Computational Social Choice Using Relation Algebra and RelView.	RelMiCS	2009	DBLP DOI BibTeX RDF
30	Larissa Meinicke, Kim Solin	Reactive Probabilistic Programs and Refinement Algebra.	RelMiCS	2008	DBLP DOI BibTeX RDF
30	Annabelle McIver, E. Cohen, Carroll Morgan	Using Probabilistic Kleene Algebra for Protocol Verification.	RelMiCS	2006	DBLP DOI BibTeX RDF
30	Kamal Aboul-Hosn	An Axiomatization of Arrays for Kleene Algebra with Tests.	RelMiCS	2006	DBLP DOI BibTeX RDF