Search results for "MV-algebra"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Holger Hermanns, Joost-Pieter Katoen	Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains.	CONCUR	2001	DBLP DOI BibTeX RDF
22	Suzana Andova	Time and Probability in Process Algebra.	AMAST	2000	DBLP DOI BibTeX RDF
22	Ola Angelsmark, Peter Jonsson	Some Observations on Durations, Scheduling and Allen's Algebra.	CP	2000	DBLP DOI BibTeX RDF
22	Mary F. Fernández, Jérôme Siméon, Philip Wadler	An Algebra for XML Query.	FSTTCS	2000	DBLP DOI BibTeX RDF
22	Rom Langerak, Ed Brinksma	A Complete Finite Prefix for Process Algebra.	CAV	1999	DBLP DOI BibTeX RDF
22	Venanzio Capretta	Universal Algebra in Type Theory.	TPHOLs	1999	DBLP DOI BibTeX RDF
22	Peter Baumann 0001	A Database Array Algebra for Spatio-Temporal Data and Beyond.	NGITS	1999	DBLP DOI BibTeX RDF
22	Rix Groenboom, Paul Dechering, Edwin D. de Jong, Jan Tijmen Udding	Formalization of a Software Architecture for Embedded Systems: A Process Algebra for SPLICE.	HICSS	1999	DBLP DOI BibTeX RDF
22	Mehmet A. Orgun	A Temporal Relational Algebra Based on Multiple Time-Lines.	TIME	1999	DBLP DOI BibTeX RDF	Temporal Algebras, Multiple Time-Lines, Temporal Databases
22	Silvana Badaloni, Massimiliano Giacomin	A Fuzzy Extension of Allen's Interval Algebra.	AI*IA	1999	DBLP DOI BibTeX RDF
22	Corina Cîrstea	Semantic Constructions for Hidden Algebra.	WADT	1998	DBLP DOI BibTeX RDF
22	Stefan Neis	Reducing Ideal Arithmetic to Linear Algebra Problems.	ANTS	1998	DBLP DOI BibTeX RDF
22	Martin Große-Rhode	Algebra Transformation Systems and their Composition.	FASE	1998	DBLP DOI BibTeX RDF
22	Francisco R. Feito, Juan Carlos Torres 0001	Boundary representation of polyhedral heterogeneous solids in the context of a graphic object algebra.	Vis. Comput.	1997	DBLP DOI BibTeX RDF	Theoretical computer graphics, Solid modelling, B-rep
22	Dexter Kozen	On the Complexity of Reasoning in Kleene Algebra.	LICS	1997	DBLP DOI BibTeX RDF
22	Paul G. Lucassen, Indra Polak, Jan Tijmen Udding	Normal Form in DI-Algebra with Recursion.	ASYNC	1997	DBLP DOI BibTeX RDF
22	Manuel Bronstein	SigmaIT - A Strongly-Typed Embeddable Computer Algebra Library.	DISCO	1996	DBLP DOI BibTeX RDF
22	Pavel Luksha	Modern Algebra Self-Taught Through APL.	APL	1993	DBLP DOI BibTeX RDF	APL
22	Kenneth A. Ross	Relations with Relation Names as Arguments: Algebra and Calculus.	PODS	1992	DBLP DOI BibTeX RDF
22	Felice Cardone	An Algebraic Approach to the Interpretation of Recursive Types.	CAAP	1992	DBLP DOI BibTeX RDF
22	Costas Courcoubetis, Susanne Graf, Joseph Sifakis	An Algebra of Boolean Processes.	CAV	1991	DBLP DOI BibTeX RDF
22	John W. Gray	Initial Algebra Semantics for Lambda Calculi.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
22	Les L. Miller, Ali R. Hurson	Supporting Amybe Algebra in the Associative Search Language Machine (ASLM).	SIGMOD Rec.	1987	DBLP DOI BibTeX RDF
22	Gultekin Özsoyoglu, Z. Meral Özsoyoglu, Victor Matos	Extending Relational Algebra and Relational Calculus with Set-Valued Attributes and Aggregate Functions.	ACM Trans. Database Syst.	1987	DBLP DOI BibTeX RDF
22	Victor Y. Pan, John H. Reif	Extension of the Parallel Nested Dissection Algorithm to Path Algebra Problems.	FSTTCS	1986	DBLP DOI BibTeX RDF
22	Witold Lipski Jr.	On Relational Algebra with Marked Nulls.	PODS	1984	DBLP DOI BibTeX RDF
22	Alain Pirotte 0001	A Precise Definition of Basic Relational Notions and of the Relational Algebra.	SIGMOD Rec.	1982	DBLP DOI BibTeX RDF
22	Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright	Initial Algebra Semantics and Continuous Algebras.	J. ACM	1977	DBLP DOI BibTeX RDF
22	Andreas Behrend	A magic approach to optimizing incremental relational expressions.	IDEAS	2009	DBLP DOI BibTeX RDF	deductive databases, relational algebra, update propagation, incremental evaluation
22	Anastasia Analyti, Yannis Tzitzikas, Nicolas Spyratos	Specifying Valid Compound Terms in Interrelated Faceted Taxonomies.	ER	2009	DBLP DOI BibTeX RDF	interrelated faceted taxonomies, valid compound terms, web search, algebra, dynamic taxonomies
22	Liesner Acevedo, Víctor M. García 0001, Antonio M. Vidal	Compatibility of Scalapack with the Discrete Wavelet Transform.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	Discrete Wavelet Transform, Scalapack, Parallel Linear Algebra
22	Catharine M. Wyss, Edward L. Robertson	Relational languages for metadata integration.	ACM Trans. Database Syst.	2005	DBLP DOI BibTeX RDF	federated data model, metadata querying, relational query algebra, transformational completeness, interoperability, Data integration, schema integration, multidatabases, federated databases, metadata integration
22	Paul Damian Wells	A universal intermediate representation for massively parallel software development.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	Device Oriented Programming (DOP), relational algebra, intermediate representation
22	Bodo Rosenhahn, Christian Perwass, Gerald Sommer	Pose Estimation of 3D Free-Form Contours.	Int. J. Comput. Vis.	2004	DBLP DOI BibTeX RDF	2D-3D pose estimation, free-form contours, conformal geometry, algebraic curves, geometric algebra
22	Bin Gao 0001, Tie-Yan Liu, QianSheng Cheng, Wei-Ying Ma	A Linear Approximation Based Method for Noise-Robust and Illumination-Invariant Image Change Detection.	PCM (3)	2004	DBLP DOI BibTeX RDF	linear algebra, change detection, Video surveillance
22	Marc Frappier, Régine Laleau	Proving Event Ordering Properties for Information Systems.	ZB	2003	DBLP DOI BibTeX RDF	E3, trace-based specifications, refinement, process algebra, B
22	T. H. Merrett	Attribute Metadata for Relational OLAP and Data Mining.	DBPL	2001	DBLP DOI BibTeX RDF	data mining, classification, metadata, decision trees, relational algebra, association, nested relations, datacube
22	Stefan Dieker, Ralf Hartmut Güting	Plug and Play with Query Algebras: SECONDO-A Generic DBMS Development Environment.	IDEAS	2000	DBLP DOI BibTeX RDF	plug-and-play, SECONDO, generic DBMS development environment, database systems implementation, second-order signature, query language definitions, algebra modules, type constructors, system frame, type registration, user commands, extensible system architecture, extensible query processing, database management systems, query languages, data models, extensibility, operators, query algebras, support functions, data definitions, system functionality
22	Maciej Koutny	A Compositional Model of Time Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF	Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, process algebras, time Petri nets
22	Mizuho Iwaihara	Supporting Dynamic Constraints for Commerce Negotiations.	WECWIS	2000	DBLP DOI BibTeX RDF	databases, e-commerce, query processing, negotiation, query language, query algebra
22	Martin Hesketh, Maciej Koutny	An Axiomatisation of Duplication Equivalence in the Petri Box Calculus.	ICATPN	1998	DBLP DOI BibTeX RDF	Net-based algebra, analysis of structure of nets, verification using nets, equivalence and axiomatisation
22	Helmut Thiele	On Isomorphisms between the Lattice of Tolerance Relations and Lattices of Clusterings.	ISMVL	1996	DBLP DOI BibTeX RDF	lattice of tolerance relations, lattices of clusterings, one-to-one correspondences, classical set theory, bijections, complete atomistic boolean algebra, strongly model-compact coverings, cluster analysis, set theory, multivalued logic, equivalence classes, isomorphisms, similarity relations, mathematical foundations, lattice isomorphisms
22	Raghu Karinthi, Dana S. Nau	An Algebraic Approach to Feature Interactions.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	geometric interactions, Protosolid solid modeling system, EFHA process planning system, solid modelling, algebra, spatial reasoning, spatial reasoning, feature interactions, CAD/CAM, CAD/CAM, geometric reasoning, algebraic approach, CAD systems
22	Allen Van Gelder, Rodney W. Topor	Safety and Translation of Relational Calculus Queries.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	allowed formulas, evaluable formulas, existential normal, relational algebra, query translation, relational calculus, domain independence
22	Sakti P. Ghosh	Numerical Operations on a Relational Database.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Codd, numerical operations, statistical analyses, bivariate frequency table, bivariate statistical operations, bivariate relational data structures, real-time automatic statistical quality control, category-numeric operations, relational database, relational databases, statistical analysis, database theory, relational algebra, manufacturing process, relational tables
22	Martin K. Solomon	Some properties of relational expressions.	ACM Southeast Regional Conference	1979	DBLP DOI BibTeX RDF	equi-join, predicate lock, Concurrency, query optimization, relational algebra, undecidability, relational calculus, predicate calculus, natural join
22	Mai Gehrke	Stone Duality and the Recognisable Languages over an Algebra.	CALCO	2009	DBLP DOI BibTeX RDF
22	Rudolf Berghammer, Bernd Braßel	Computing and Visualizing Closure Objects Using Relation Algebra and RelView.	CASC	2009	DBLP DOI BibTeX RDF
22	Clarita Saldarriaga Vargas	Mathematical Model for Dengue Epidemics with Differential Susceptibility and Asymptomatic Patients Using Computer Algebra.	CASC	2009	DBLP DOI BibTeX RDF	Dengue disease, SEIR model, DSEIR model, differential susceptibility, basic reproduction number, equilibrium states, stability analysis, epidemiology
22	Gunther Schmidt 0001, Rudolf Berghammer	Contact Relations with Applications.	RelMiCS	2009	DBLP DOI BibTeX RDF
22	Peter Höfner	Automated Reasoning for Hybrid Systems - Two Case Studies -.	RelMiCS	2008	DBLP DOI BibTeX RDF
22	Bernd Braßel, Jan Christiansen	A Relation Algebraic Semantics for a Lazy Functional Logic Language.	RelMiCS	2008	DBLP DOI BibTeX RDF
22	Bernhard Möller	Knowledge and Games in Modal Semirings.	RelMiCS	2008	DBLP DOI BibTeX RDF
22	Gunther Schmidt 0001	Rectangles, Fringes, and Inverses.	RelMiCS	2008	DBLP DOI BibTeX RDF
22	Mark Hopkins	The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy.	RelMiCS	2008	DBLP DOI BibTeX RDF	Kleene, Language, Regular Expression, Grammar, Rational, Semigroup, Monoid, Quantale, Dioid, Context-Free
22	Juan Ospina, Mario Vélez	Analytical Solution for Transient Flow of a Generalized Bingham Fluid with Memory in a Movable Tube Using Computer Algebra.	CASC	2007	DBLP DOI BibTeX RDF
22	V. P. Borunov, Yu. A. Ryabov, O. V. Surkov	Application of Computer Algebra for Construction of Quasi-periodic Solutions for Restricted Circular Planar Three Body Problem.	CASC	2006	DBLP DOI BibTeX RDF
22	Wojciech Dzik, Ewa Orlowska, Clint J. van Alten	Relational Representation Theorems for General Lattices with Negations.	RelMiCS	2006	DBLP DOI BibTeX RDF
22	Jirí Adámek	Algebra 'cap' Coalgebra = Presheaves.	CALCO	2005	DBLP DOI BibTeX RDF
22	David G. Richardson, Werner Krandick	Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library.	CASC	2005	DBLP DOI BibTeX RDF
22	Leonid Semin, Vasily P. Shapeev	Constructing the Numerical Method for Navier - Stokes Equations Using Computer Algebra System.	CASC	2005	DBLP DOI BibTeX RDF
22	Sven Buchholz 0001, Gerald Sommer	On Averaging in Clifford Groups.	IWMM/GIAE	2004	DBLP DOI BibTeX RDF
22	Gerald Sommer, Bodo Rosenhahn, Christian Perwass	Twists - An Operational Representation of Shape.	IWMM/GIAE	2004	DBLP DOI BibTeX RDF
22	Rudolf Berghammer, Alexander Fronk	Applying Relational Algebra in 3D Graphical Software Design.	RelMiCS	2003	DBLP DOI BibTeX RDF
22	Flavio Corradini, Marco Pistore	'Closed Interval Process Algebra' versus 'Interval Process Algebra'.	Acta Informatica	2001	DBLP DOI BibTeX RDF
22	Vladimir Sidorenko, Johannes Maucher, Martin Bossert	Rectangular Codes and Rectangular Algebra.	AAECC	1999	DBLP DOI BibTeX RDF
22	Guilherme Bittencourt	Integration of Graphical Tools in a Computer Algebra System.	AAECC	1986	DBLP DOI BibTeX RDF
22	Günter Hornung, Peter Raulefs	Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities.	CAAP	1981	DBLP DOI BibTeX RDF
21	Patrick Bosc, Olivier Pivert, Amine Mokhtari, Ludovic Liétard	Extending relational algebra to handle bipolarity.	SAC	2010	DBLP DOI BibTeX RDF	bipolarity, database fuzzy querying, relational algebra
21	Mirco Tribastone	Relating layered queueing networks and process algebra models.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	pepa, process algebra, queueing networks
21	Mingsheng Ying, Yuan Feng 0001, Runyao Duan, Zheng-Feng Ji	An algebra of quantum processes.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	super-operator, Quantum computation, process algebra, bisimulation, quantum communication
21	Yuqing Wu, Namrata Lele, Rashmi Aroskar, Sharanya Chinnusamy, Sofia Brenes	XQGen: an algebra-based XPath query generator for micro-benchmarking.	CIKM	2009	DBLP DOI BibTeX RDF	XPath algebra, workload, query generator, micro benchmark
21	António L. Furtado 0001, Marco A. Casanova, Karin Koogan Breitman, Simone Diniz Junqueira Barbosa	A Frame Manipulation Algebra for ER Logical Stage Modelling.	ER	2009	DBLP DOI BibTeX RDF	abstract data types, Frames, algebra, semi-structured data
21	Marcio K. Oikawa, João Eduardo Ferreira, Simon Malkowski, Calton Pu	Towards Algorithmic Generation of Business Processes: From Business Step Dependencies to Process Algebra Expressions.	BPM	2009	DBLP DOI BibTeX RDF	series-parallel reductions and process algebra, business process modeling, directed acyclic graphs
21	Jens Groth	Linear Algebra with Sub-linear Zero-Knowledge Arguments.	CRYPTO	2009	DBLP DOI BibTeX RDF	Sub-linear size zero-knowledge arguments, public-coin special honest verifier zero-knowledge, Pedersen commitments, linear algebra, circuit satisfiability
21	Jens Bachmann, Martin Riedl 0001, Johann Schuster, Markus Siegle	An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA.	SOFSEM	2009	DBLP DOI BibTeX RDF	MTBDD, elimination of immediate transitions, stochastic process algebra
21	Weixin Xie, Wenming Cao 0001, Shan Meng	Coverage analysis for sensor networks based on Clifford algebra.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	rotation operator, sensor network, distance measure, coverage analysis, Clifford algebra
21	Murdoch James Gabbay, Aad Mathijssen	Capture-avoiding substitution as a nominal algebra.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Nominal techniques, Nominal algebra, Capture-avoidance, Nominal rewriting, Omega-completeness, Binding, Substitution
21	Lamia Djoudi, Leïla Kloul	Assembly Code Analysis Using Stochastic Process Algebra.	EPEW	2008	DBLP DOI BibTeX RDF	Performance analysis, Stochastic process algebra, Assembly code, Data dependencies graph, Code optimisation
21	Benjamín Cruz, Ricardo Barrón, Juan Humberto Sossa Azuela	Pattern Classification Based on Conformal Geometric Algebra and Optimization Techniques.	MICAI	2008	DBLP DOI BibTeX RDF	Optimization, Pattern Classification, Conformal Geometric Algebra
21	Greg Bronevetsky, Bronis R. de Supinski	Soft error vulnerability of iterative linear algebra methods.	ICS	2008	DBLP DOI BibTeX RDF	fault tolerance, parallel, iterative methods, linear algebra, soft errors
21	Erwin Engeler	Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets.	AB	2008	DBLP DOI BibTeX RDF	combinatory algebra, functional structures, models of consciousness, Neural nets, emergent properties
21	Jeffrey R. Diamond, Behnam Robatmili, Stephen W. Keckler, Robert A. van de Geijn, Kazushige Goto, Doug Burger	High performance dense linear algebra on a spatially distributed processor.	PPoPP	2008	DBLP DOI BibTeX RDF	gotoblas, grid processors, hybrid dataflow, matrix multiply, tile based architecture, instruction level parallelism, on-chip networks, dense linear algebra
21	Sivaram Gopalakrishnan, Priyank Kalla	Optimization of polynomial datapaths using finite ring algebra.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	arithmetic datapaths, finite ring algebra, modulo arithmetic, polynomial datapaths, High-level synthesis
21	Leo Reyes, Gérard G. Medioni, Eduardo Bayro-Corrochano	Registration of 3D Points Using Geometric Algebra and Tensor Voting.	Int. J. Comput. Vis.	2007	DBLP DOI BibTeX RDF	computer vision, geometric algebra, tensor voting, 3D motion estimation
21	Eike Kiltz, Payman Mohassel, Enav Weinreb, Matthew K. Franklin	Secure Linear Algebra Using Linearly Recurrent Sequences.	TCC	2007	DBLP DOI BibTeX RDF	Secure Linear Algebra, Linearly Recurrent Sequences, Wiedemann’s Algorithm
21	Jiajun Lai, Shuwei Chen 0001, Yang Xu 0001, Keyun Qin, Li Chen	On Relationships of Filters in Lattice Implication Algebra.	ICFIE	2007	DBLP DOI BibTeX RDF	FL-filter, NF-filter, Lattice Implication Algebra
21	Giovanni Pilato, Agnese Augello, Giorgio Vassallo, Salvatore Gaglio	Geometric Algebra Rotors for Sub-symbolic Coding of Natural Language Sentences.	KES (1)	2007	DBLP DOI BibTeX RDF	Geometric Algebra Rotors, Latent Semantic Analysis
21	Jian Ruan, Zhiying Wang 0003, Kui Dai, Yong Li 0006	Latency Estimation of the Asynchronous Pipeline Using the Max-Plus Algebra.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF	Asynchronous Pipeline, Timed Event Graph, Evolution Equation, Latency Estimation, Max-Plus Algebra
21	Silena Herold-García, Jorge Rivera-Rovelo, Eduardo Bayro-Corrochano	Conformal Geometric Algebra for Endoscope-Traking System Calibration in Neurosurgery.	CIARP	2007	DBLP DOI BibTeX RDF	Hand-Eye Calibration, Endoscope Calibration, Geometric Algebra, Neurosurgery
21	Radu Mateescu 0001, Pascal Poizat, Gwen Salaün	Behavioral adaptation of component compositions based on process algebra encodings.	ASE	2007	DBLP DOI BibTeX RDF	behavioral interfaces, adaptation, components, composition, process algebra
21	Stéphane Jean, Yamine Aït Ameur, Guy Pierra	An Object-Oriented Based Algebra for Ontologies and Their Instances.	ADBIS	2007	DBLP DOI BibTeX RDF	PLIB, RDF-S, Ontology, Database, OWL, Query Algebra
21	Qiang Guo 0001, John Derrick	Verification of timed Erlang/OTP components using the process algebra mucrl.	Erlang Workshop	2007	DBLP DOI BibTeX RDF	OTP, process algebra ?CRL, timeout events, verification, erlang
21	Jianmin Jiang, Jinzhao Wu, Hongping Shu	Symmetry in Process Algebra.	TASE	2007	DBLP DOI BibTeX RDF	behavioral equivalences, Process algebra, symmetry, permutation groups
21	Victor F. Edneral	An Algorithm for Construction of Normal Forms.	CASC	2007	DBLP DOI BibTeX RDF	resonant normal form, nonlinear ordinary differential equations, computer algebra
21	Samir Hamaci, Jean-Louis Boimond, Sébastien Lahaye	Modeling and Control of Hybrid Timed Event Graphs with Multipliers Using (Min, +) Algebra.	Discret. Event Dyn. Syst.	2006	DBLP DOI BibTeX RDF	Hybrid timed event graph, (min, +) algebra, Just-in-time control
21	Heinz Kredel	On the design of a Java computer algebra system.	PPPJ	2006	DBLP DOI BibTeX RDF	computer algebra library, thread-safe, type-safe, multivariate polynomials
21	Joseph DeLuca, David A. Joiner	Incorporating computational science activities in high school algebra.	JCDL	2006	DBLP DOI BibTeX RDF	computational science education, algebra
21	Wenyuan Wu, Greg Reid	Application of numerical algebraic geometry and numerical linear algebra to PDE.	ISSAC	2006	DBLP DOI BibTeX RDF	involutive systems, jet spaces, numeric jet geometry, polynomial matrix, SVD, partial differential equations, numerical linear algebra, numerical algebraic geometry
21	Irina Perfilieva	Functions represented by BL-algebra formulas: characterization and approximate representation.	Soft Comput.	2005	DBLP DOI BibTeX RDF	Extensional function, Disjunctive and conjunctive normal forms, Lipschitz condition, BL-algebra