Search results for "BL-algebra"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Jung Hee Kim, Michael Glass	Evaluating Dialogue Schemata with the Wizard of Oz Computer-Assisted Algebra Tutor.	Intelligent Tutoring Systems	2004	DBLP DOI BibTeX RDF
26	Ramutis Bansevicius, Algimantas Cepulkauskas, Regina Kulvietiene, Genadijus Kulvietis	Computer Algebra for Real-Time Dynamics of Robots with Large Numbers of Joints.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
26	Wan-Jui Lee, Shie-Jue Lee	Fuzzy Calendar Algebra and Its Applications to Data Mining.	TIME	2004	DBLP DOI BibTeX RDF
26	Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón	A Relational Algebra for Functional Logic Deductive Databases.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
26	Javier Cuenca 0001, Domingo Giménez, José González 0002, Jack J. Dongarra, Kenneth Roche	Automatic Optimisation of Parallel Linear Algebra Routines in Systems with Variable Load.	PDP	2003	DBLP DOI BibTeX RDF
26	Jan A. Bergstra, Inge Bethke	Polarized Process Algebra and Program Equivalence.	ICALP	2003	DBLP DOI BibTeX RDF
26	Algimantas Cepulkauskas, Regina Kulvietiene, Genadijus Kulvietis	Computer Algebra for Analyzing the Vibrations of Nonlinear Structures.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
26	Yannis Tzitzikas, Anastasia Analyti, Nicolas Spyratos	The Semantics of the Compound Term Composition Algebra.	OTM	2003	DBLP DOI BibTeX RDF	Faceted Taxonomies, Semantics, Description Logics
26	Sandeep Tata, Jignesh M. Patel	PiQA: An Algebra for Querying Protein Data Sets.	SSDBM	2003	DBLP DOI BibTeX RDF
26	Jan Carlson, Björn Lisper	An Interval-Based Algebra for Restricted Event Detection.	FORMATS	2003	DBLP DOI BibTeX RDF
26	John G. Stell	A Framework for Order-Sorted Algebra.	AMAST	2002	DBLP DOI BibTeX RDF
26	Michael Beeson, Freek Wiedijk	The Meaning of Infinity in Calculus and Computer Algebra Systems.	AISC	2002	DBLP DOI BibTeX RDF
26	Arend Rensink, Heike Wehrheim	Process algebra with action dependencies.	Acta Informatica	2001	DBLP DOI BibTeX RDF
26	Alex Dekhtyar, Robert B. Ross, V. S. Subrahmanian	Probabilistic temporal databases, I: algebra.	ACM Trans. Database Syst.	2001	DBLP DOI BibTeX RDF
26	Jörg Desel, Gabriel Juhás, Robert Lorenz 0001	Petri Nets over Partial Algebra.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
26	Bjarne Stig Andersen, Fred G. Gustavson, Alexander Karaivanov, Minka Marinova, Jerzy Wasniewski, Plamen Y. Yalamov	LAWRA: Linear Algebra with Recursive Algorithms.	PARA	2000	DBLP DOI BibTeX RDF
26	Tomoko Ninomiya, Masao Mukaidono	Fundamental Properties on Axioms of Kleene Algebra.	ISMIS	2000	DBLP DOI BibTeX RDF
26	Ed Brinksma, Holger Hermanns	Process Algebra and Markov Chains.	European Educational Forum: School on Formal Methods and Performance Analysis	2000	DBLP DOI BibTeX RDF
26	Joost-Pieter Katoen, Pedro R. D'Argenio	General Distributions in Process Algebra.	European Educational Forum: School on Formal Methods and Performance Analysis	2000	DBLP DOI BibTeX RDF
26	Francisco Durán 0001	The Extensibility of Maude's Module Algebra.	AMAST	2000	DBLP DOI BibTeX RDF
26	Thomas Eiter, Thomas Lukasiewicz, Michael Walter 0008	Extension of the Relational Algebra to Probabilistic Complex Values.	FoIKS	2000	DBLP DOI BibTeX RDF
26	Jörg Kahl, Lothar Hotz, Heiko Milde, Stephanie Wessel	Improving Reasoning Efficiency for Subclasses of Allen's Algebra with Instantiation Intervals.	KI	1999	DBLP DOI BibTeX RDF
26	Ankur Lahoti, Rohit Singh 0001, Amitabha Mukerjee	Multi-Dimensional Interval Algebra with Symmetry for Describing Block Layouts.	GREC	1999	DBLP DOI BibTeX RDF
26	Manfred Kerber, Michael Kohlhase, Volker Sorge	Integrating Computer Algebra with Proof Planning.	DISCO	1996	DBLP DOI BibTeX RDF
26	Dexter Kozen, Frederick Smith	Kleene Algebra with Tests: Completeness and Decidability.	CSL	1996	DBLP DOI BibTeX RDF
26	Rajiv Bagai, Mehmet A. Orgun	A temporal paraconsistent relational algebra for incomplete and inconsistent information.	ACM Southeast Regional Conference	1995	DBLP DOI BibTeX RDF
26	Frank Drewes	A Lower Bound on the Growth of Functions Computed by Tree Transductions.	CAAP	1994	DBLP DOI BibTeX RDF
26	Jan Van den Bussche, Dirk Van Gucht, Gottfried Vossen	Reflective Programming in the Relational Algebra.	PODS	1993	DBLP DOI BibTeX RDF
26	Gian-Luigi Ferrari 0002, Ugo Montanari	The Observation Algebra of Spatial Pomsets.	CONCUR	1991	DBLP DOI BibTeX RDF
26	Ryohei Nakano	Translation with Optimization from Relational Calculus to Relational Algebra Having Aggregate Functions.	ACM Trans. Database Syst.	1990	DBLP DOI BibTeX RDF
26	Mike Adler	An Algebra for Data Flow Diagram Process Decomposition.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	data flow diagram process decomposition, De Marco representation scheme, input/output connectivity matrix, software engineering, software engineering, program verification, directed graphs, directed acyclic graph, grammar, programming theory, top-down method
26	Ralf Hartmut Güting	Geo-Relational Algebra: A Model and Query Language for Geometric Database Systems.	EDBT	1988	DBLP DOI BibTeX RDF
26	Tatiana Gateva-Ivanova	Global Dimension of Associative Algebras.	AAECC	1988	DBLP DOI BibTeX RDF
26	Umeshwar Dayal, Nathan Goodman, Randy H. Katz	An Extended Relational Algebra with Control over Duplicate Elimination.	PODS	1982	DBLP DOI BibTeX RDF
26	Noriyuki Kamibayashi, Kazuo Seo	Spirit-III: an advanced relational database machine introducing a novel data-staging architecture with Tuple Stream Filters to preprocess relational algebra.	AFIPS National Computer Conference	1982	DBLP DOI BibTeX RDF
26	Raymond T. Yeh	Generalized Pair Algebra With Applications to Automata Theory.	J. ACM	1968	DBLP DOI BibTeX RDF
26	Yongjian Xie, Yongming Li 0001	Riesz ideals in generalized pseudo effect algebras and in their unitizations.	Soft Comput.	2010	DBLP DOI BibTeX RDF	Generalized pseudoeffect algebra, Normal Riesz ideal, Congruence
26	Patricia Johann, Neil Ghani	Foundations for structured programming with GADTs.	POPL	2008	DBLP DOI BibTeX RDF	program fusion, GADTs, initial algebra semantics
26	Lawrence Peter Belluce, Antonio Di Nola	Frames and MV-algebras.	Stud Logica	2005	DBLP DOI BibTeX RDF	Frame, MV-algebra
26	Michael Soltys	Feasible Proofs of Matrix Properties with Csanky's Algorithm.	CSL	2005	DBLP DOI BibTeX RDF	Csanky’s algorithm, matrix algebra, Proof complexity
26	Joachim Biskup, Sandra Wortmann	Towards a credential-based implementation of compound access control policies.	SACMAT	2004	DBLP DOI BibTeX RDF	certificate chain discovery, policy algebra, access control, public key infrastructure, credential, spki/sdsi
26	Zhi-Qiang Liu, Jian Ying Zhang	Interrogating the structure of fuzzy cognitive maps.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Dynamic causal algebra, Causal knowledge, Decision making systems, Inference, Fuzzy cognitive maps
26	Alexandre V. Zamulin	Formal Semantics of the ODMG 3.0 Object Query Language.	ADBIS	2003	DBLP DOI BibTeX RDF	query language, object-oriented database, formal semantics, OQL, object algebra
26	Klaus-Dieter Schewe	Querying Web Information Systems.	ER	2001	DBLP DOI BibTeX RDF	web-based system, query algebra, media object
26	Twan Basten, Marc Voorhoeve	An Algebraic Semantics for Hierarchical P/T Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Place/Transition nets, hierarchical Petri nets, verification, abstraction, process algebra, top-down design
26	Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter 0001	Topological Representation of Contact Lattices.	RelMiCS	2006	DBLP DOI BibTeX RDF
26	Claude Bolduc, Josée Desharnais	Static Analysis of Programs Using Omega Algebra with Tests.	RelMiCS	2005	DBLP DOI BibTeX RDF
26	Vincent Mathieu, Jules Desharnais	Verification of Pushdown Systems Using Omega Algebra with Domain.	RelMiCS	2005	DBLP DOI BibTeX RDF
26	Rudolf Berghammer, Frank Neumann 0001	RelView - An OBDD-Based Computer Algebra System for Relations.	CASC	2005	DBLP DOI BibTeX RDF
26	Joakim von Wright	From Kleene Algebra to Refinement Algebra.	MPC	2002	DBLP DOI BibTeX RDF
26	Graham Clark, William H. Sanders	Implementing a Stochastic Process Algebra within the Möbius Modeling Framework.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF
26	Bengt Jonsson 0001, Kim Guldstrand Larsen	On the Complexity of Equation Solving in Process Algebra.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
26	Fritz Henglein	Optimizing relational algebra operations using generic equivalence discriminators and lazy products.	PEPM	2010	DBLP DOI BibTeX RDF	cross-product, disriminator, optimization, optimize, optimizing, evaluation, generic, query, product, algebra, formal, relational, equivalence, join, discrimination, symbolic, lazy
26	Chris McCaig, Rachel Norman, Carron Shankland	From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology.	Math. Comput. Sci.	2009	DBLP DOI BibTeX RDF	mean field equations, Process algebra, symbolic computation, epidemiology, population dynamics
26	Mauricio Chui Rodrigues, Simon Malkowski, João Eduardo Ferreira	Implementing rigorous web services with process algebra: navigation plan for web services.	SAC	2009	DBLP DOI BibTeX RDF	web services, workflow, implementation, software, process algebra, BPEL
26	Xiaohong Zhang 0001	Topological Residuated Lattice: A Unifying Algebra Representation of Some Rough Set Models.	RSKT	2009	DBLP DOI BibTeX RDF	Topological residuated lattice, Intuitionistic fuzzy rough set, Triangle algebra, Rough set
26	Katsuya Masuda, Jun'ichi Tsujii	Nested region algebra extended with variables for tag-annotated text search.	CIKM	2008	DBLP DOI BibTeX RDF	region algebra, tag-annotated document search
26	Kelly Rosa Braghetto, João Eduardo Ferreira, Calton Pu	Using process algebra to control the execution of business processes.	SAC	2008	DBLP DOI BibTeX RDF	workflows, process algebra, business process management
26	Christian Mathis	Extending a tuple-based XPath algebra to enhance evaluation flexibility.	Inform. Forsch. Entwickl.	2007	DBLP DOI BibTeX RDF	Schlagworte XML-Anfrageverarbeitung, XPath-Algebra, XPath-Entschachtelung
26	Thuy Duong Vu, Chris R. Jesshope	Formalizing SANE Virtual Processor in Thread Algebra.	ICFEM	2007	DBLP DOI BibTeX RDF	SANE Virtual Processor, microthreading, thread algebra
26	Jiajun Lai, Xu Yang, Jun Ma	On Extension of LI-Ideal in Lattice Implication Algebra.	IFSA (2)	2007	DBLP DOI BibTeX RDF	Lattice implication algebra, LI-ideals, WLI-ideals, maximal WLI-ideals, Lattice ideals
26	Ander Murua	The Hopf Algebra of Rooted Trees, Free Lie Algebras, and Lie Series.	Found. Comput. Math.	2006	DBLP DOI BibTeX RDF	Free Lie algebra, Continous BCH function, Hopf algbra of rooted trees, Hall rooted trees, Lie series, Dual PBW basis, Rewritting algorithm, Logarithm of Chenn-Fliess series, Series of vector fields, Rooted tree
26	Anthony M. Bloch, Arieh Iserles	On an Isospectral Lie-Poisson System and Its Lie Algebra.	Found. Comput. Math.	2006	DBLP DOI BibTeX RDF	Isospectral flows, Poisson system, Faithful representations, Lie algebra
26	Makoto Hamana	An initial algebra approach to term rewriting systems with variable binders.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Abstract syntax with variable binding, Term rewriting systems, Higher-order abstract syntax, Initial algebra semantics
26	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo	Analysis of the SET e-commerce protocol using a true concurrency process algebra.	SAC	2006	DBLP DOI BibTeX RDF	SET protocol, heterogeneous shared resources, performance evaluation, formal specification, process algebra
26	Yilan Zhao, Robert J. Valkenburg, Reinhard Klette, Bodo Rosenhahn	Target Calibration and Tracking Using Conformal Geometric Algebra.	PSIVT	2006	DBLP DOI BibTeX RDF	pose estimation, conformal geometric algebra
26	Paolo Bientinesi, John A. Gunnels, Margaret E. Myers, Enrique S. Quintana-Ortí, Robert A. van de Geijn	The science of deriving dense linear algebra algorithms.	ACM Trans. Math. Softw.	2005	DBLP DOI BibTeX RDF	high-performance computing, libraries, linear algebra, Formal derivation
26	Eugenio Roanes-Lozano, R. García, Eugenio Roanes-Macías, Alfredo Aparicio Yagüe, Luis M. Laita	Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies.	CASC	2005	DBLP DOI BibTeX RDF	Metamorphic Petrology, Expert Systems, Computer Algebra Systems
26	Yuan Liu, Baowen Xu	Process algebra model of Ada protected objects.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	model checking, process algebra, atomic action, protected object
26	Flavius Frasincar, Geert-Jan Houben, Richard Vdovjak, Peter Barna	RAL: An Algebra for Querying RDF.	World Wide Web	2004	DBLP DOI BibTeX RDF	RDF(S) query language, RDF(S) algebra, RDF(S)
26	Tom Lada	Linfinity Algebra Representations.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	L algebra, L module
26	Andrea Ferrara	Web services: a process algebra approach.	ICSOC	2004	DBLP DOI BibTeX RDF	web services, formal methods, process algebra, BPEL4WS
26	Philippe Jorrand, Marie Lalire	Toward a quantum process algebra.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	probabilistic process algebra, semantics of quantum measurement, quantum computing
26	Churn-Jung Liau	Belief Reasoning, Revision and Fusion by Matrix Algebra.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF	Belief states, belief reasoning, belief fusion, multi-agent systems, matrix algebra, belief revision
26	Fengguang Song, Felix Wolf 0001, Nikhil Bhatia, Jack J. Dongarra, Shirley Moore	An Algebra for Cross-Experiment Performance Analysis.	ICPP	2004	DBLP DOI BibTeX RDF	multiexperiment analysis, performance algebra, visualization, performance tool, tool interoperability
26	Serge Mechveliani	From a Computer Algebra Library to a System with an Equational Prover.	AISC	2004	DBLP DOI BibTeX RDF	equational prover, term rewriting, computer algebra
26	Oleg Bessonov, Dominique Fougère, Bernard Roux	Analysis of Architecture and Design of Linear Algebra Kernels for Superscalar Processors.	PaCT	2003	DBLP DOI BibTeX RDF	linear algebra kernels, LINPACK benchmark, performance measurements, instruction level parallelism, cache memories, microarchitecture, out-of-order processors
26	João L. Sobrinho	Algebra and algorithms for QoS path computation and hop-by-hop routing in the internet.	IEEE/ACM Trans. Netw.	2002	DBLP DOI BibTeX RDF	quality of service, internet, Internet, routing, algebra
26	Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau	An Algebra of Non-safe Petri Boxes.	AMAST	2002	DBLP DOI BibTeX RDF	Petri nets, process algebra, operational semantics
26	Benhard Sitohang	Parallel Execution of Relational Algebra Operator under Distributed Database Systems.	ITCC	2002	DBLP DOI BibTeX RDF	Relational Algebra Operator (Relational Operator) / (Operator), Parallel processing, Query, Distributed Database Systems, Relational Database Model
26	Mikel Luján, T. L. Freeman, John R. Gurd	OoLALA: an object oriented analysis and design of numerical linear algebra.	OOPSLA	2000	DBLP DOI BibTeX RDF	Java, Java, object orientation, numerical linear algebra
26	Tomoko Ninomiya, Masao Mukaidono	Independence of the Axioms of Boolean Algebra in Multiple-Valued Logic.	ISMVL	2000	DBLP DOI BibTeX RDF	the Method of Indeterminate Coefficients, Independency of axioms, complete set of axioms, Boolean algebra
26	David von Oheimb, Thomas F. Gritzner	RALL: Machine-Supported Proofs for Relation Algebra.	CADE	1997	DBLP DOI BibTeX RDF	interactive and automatic theorem proving, atom structure, Relation algebra, Isabelle
26	Ron Weiss, Andrzej Duda, David K. Gifford	Composition and Search with a Video Algebra.	IEEE Multim.	1995	DBLP DOI BibTeX RDF	algebraic video, video algebra, video indexing and searching, content-based retrieval, video databases
26	Bernhard Nebel, Hans-Jürgen Bürckert	Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra.	J. ACM	1995	DBLP DOI BibTeX RDF	constraint satisfaction, temporal reasoning, qualitative reasoning, interval algebra
26	Eike Best, Maciej Koutny	A Refined View of the Box Algebra.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Petri nets, Refinement, Process algebra
26	Ralf Hartmut Güting, Thomas de Ridder, Markus Schneider 0001	Implementation of the ROSE Algebra: Efficient Algorithms for Realm-Based Spatial Data Types.	SSD	1995	DBLP DOI BibTeX RDF	Spatial data types, realm, finite resolution, numerical robustness, ROSE, algebra, efficient algorithms, plane sweep
26	Norbert Kajler	Building a Computer Algebra Environment by Composition of Collaborative Tools.	DISCO	1992	DBLP DOI BibTeX RDF	User Interface, Computer Algebra, Tool Integration, Software Bus
26	Jos C. M. Baeten, Jan A. Bergstra	The State Operator in Real Time Process Algebra.	REX Workshop	1991	DBLP DOI BibTeX RDF	state operator, real time, locations, & Phrases process algebra
26	Jos C. M. Baeten, Jan A. Bergstra	Real Space Process Algebra.	CONCUR	1991	DBLP DOI BibTeX RDF	real space-time, Galilei transformation, Lorentz transformation, real time, interleaving, true concurrency, & Phrases process algebra
26	Rolf Socher-Ambrosius	Boolean Algebra Admits No Convergent Term Rewriting System.	RTA	1991	DBLP DOI BibTeX RDF	Term Rewriting, Boolean Algebra, Automated Theorem Proving
26	Andrew J. S. Hamilton	The Supergeometric Algebra: The Square Root of the Geometric Algebra.	ENGAGE	2022	DBLP DOI BibTeX RDF
26	Walter Guttmann	General Correctness Algebra.	RelMiCS	2009	DBLP DOI BibTeX RDF
26	Rudolf Berghammer, Britta Kehden	Relation Algebra and RelViewin Practical Use: Construction of Special University Timetables.	RelMiCS	2008	DBLP DOI BibTeX RDF
26	Rudolf Berghammer	Computing and Visualizing Lattices of Subgroups Using Relation Algebra and \sc RelView.	RelMiCS	2006	DBLP DOI BibTeX RDF
26	Eckhard M. S. Hitzer	Conic Sections and Meet Intersections in Geometric Algebra.	IWMM/GIAE	2004	DBLP DOI BibTeX RDF
26	Jan Van den Bussche	Simulation of the nested relational algebra by the flat relational algebra, with an application to the complexity of evaluating powerset algebra expressions.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
26	Aristide Mégrelis	Partial Algebra + Order-Sorted Algebra = Galactic Algebra.	LFCS	1992	DBLP DOI BibTeX RDF
26	Thomas Beth	Introduction: Applicable algebra, error-correcting codes, combinatorics and computer algebra.	AAECC	1986	DBLP DOI BibTeX RDF
26	Bruce W. Char, Keith O. Geddes, W. Morven Gentleman, Gaston H. Gonnet	The design of maple: A compact, portable and powerful computer algebra system.	EUROCAL	1983	DBLP DOI BibTeX RDF