Search results for "distributive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Thomas H. Apperley	Citizenship and consumption: convergence culture, transmedia narratives and the digital divide.	IE	2007	DBLP BibTeX RDF	The Matrix, convergence culture, transmedia storytelling, uneven development, ethnography, digital divide, globalization, media literacy, creative industries
10	Dong Wei 0015, Shoubao Yang, Xiaoqian Liu	Artificial Immunology Based Anti-Pollution P2P File Sharing System.	GCC	2007	DBLP DOI BibTeX RDF
10	Sylvia B. Encheva, Sharil Tumin	Application of Stratified Lattice Structures in Assessment of Knowledge.	MUE	2007	DBLP DOI BibTeX RDF
10	Chiu-Man Yu, Kam-Wing Ng	A Heterogeneous Authorization Policy Management Mechanism for Grid Environments.	MUE	2007	DBLP DOI BibTeX RDF
10	Wolfgang Merkle, Frank Stephan 0001	On C-Degrees, H-Degrees and T-Degrees.	CCC	2007	DBLP DOI BibTeX RDF
10	Maria João Frade, Ando Saabas, Tarmo Uustalu	Foundational certification of data-flow analyses.	TASE	2007	DBLP DOI BibTeX RDF	data-flow analyses, certification of analyses and optimizations, applied vs. foundational, type systems, program optimizations, Hoare logics, natural semantics
10	Garth V. Crosby, Niki Pissinou	Evolution of Cooperation in Multi-Class Wireless Sensor Networks.	LCN	2007	DBLP DOI BibTeX RDF	muti-class, patient grim strategy, wireless sensor network, cooperation, evolutionary game theory
10	Sylvia B. Encheva, Sharil Tumin, Maryna Z. Solesvik	Federated Knowledge Spaces.	AICT	2007	DBLP DOI BibTeX RDF
10	Ying Cai, Kien A. Hua, Guohong Cao, Toby Xu	Real-Time Processing of Range-Monitoring Queries in Heterogeneous Mobile Databases.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	mobile database systems, location-based services, Wireless communications, range query, continuous query
10	G. Zeibig	Coherence for Product Monoids and their Actions.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	AMS 2000 Mathematics Subject Classification Primary 18D35, Secondary 18D15, 19D23, 18C15
10	Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook	Data structures for symbolic multi-valued model-checking.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Symbolic model-checking, Decision diagrams, Multi-valued logic
10	Anand Rajaram, Bing Lu, Jiang Hu, Rabi N. Mahapatra, Wei Guo	Analytical bound for unwanted clock skew due to wire width variation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
10	Clint J. van Alten	On Varieties of Biresiduation Algebras.	Stud Logica	2006	DBLP DOI BibTeX RDF	biresiduation algebra, residuated lattice, BCK-algebra
10	Yixin Chen 0001, Guozhu Dong, Jiawei Han 0001, Jian Pei, Benjamin W. Wah, Jianyong Wang 0001	Regression Cubes with Lossless Compression and Aggregation.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	compression, Aggregation, OLAP, data cubes
10	Jan Jakubik	Weak (m, n)-distributivity of lattice ordered groups and of generalized MV-algebras.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Generalized MV-algebra, Weak -distributivity, Radical class, Lattice ordered group
10	Józef Drewniak	Invariant fuzzy implications.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification 03B52, 03E72, 06F05
10	Wojciech Dzik, Ewa Orlowska, Clint J. van Alten	Relational Representation Theorems for General Lattices with Negations.	RelMiCS	2006	DBLP DOI BibTeX RDF
10	Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter 0001	Topological Representation of Contact Lattices.	RelMiCS	2006	DBLP DOI BibTeX RDF
10	Ivo Düntsch, Ewa Orlowska, Anna Maria Radzikowska	Lattice-Based Relation Algebras II.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF
10	Stephane Gaubert, Ricardo Katz	Max-Plus Convex Geometry.	RelMiCS	2006	DBLP DOI BibTeX RDF
10	Wojciech Dzik, Ewa Orlowska, Clint J. van Alten	Relational Representation Theorems for Lattices with Negations: A Survey.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF
10	Xiaoyan Sun 0002, Dun-Wei Gong, Guo-sheng Hao	Representative Selection for Cooperative Co-evolutionary Genetic Algorithms.	SEAL	2006	DBLP DOI BibTeX RDF
10	Umesh Bellur, Siddharth Bondre	xSpace: a tuple space for XML & its application in orchestration of web services.	SAC	2006	DBLP DOI BibTeX RDF	XML, enterprise application integration
10	Roland Meyer 0001, Johannes Faber, Andrey Rybalchenko	Model Checking Duration Calculus: A Practical Approach.	ICTAC	2006	DBLP DOI BibTeX RDF
10	Wooksun Shin, Jongseok Um, Doo Heon Song 0001, Chang-Hoon Lee	Moving Cast Shadow Elimination Algorithm Using Principal Component Analysis in Vehicle Surveillance Video.	ICHIT	2006	DBLP DOI BibTeX RDF	Shadow Elimination, Color Shadow Model, PCA, ITS
10	Bart Jacobs 0001	A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
10	Tibério S. Caetano, Terry Caelli	A Unified Formulation of Invariant Point Pattern Matching.	ICPR (3)	2006	DBLP DOI BibTeX RDF
10	Gregory J. Duck, Peter J. Stuckey, Sebastian Brand	ACD Term Rewriting.	ICLP	2006	DBLP DOI BibTeX RDF
10	Lin Wang 0006, Minghu Jiang, Yinghua Lu, Frank Noé, Jeremy C. Smith	Self-Organizing Map Clustering Analysis for Molecular Data.	ISNN (1)	2006	DBLP DOI BibTeX RDF
10	Olivier Bodini, Thomas Fernique	Planar Dimer Tilings.	CSR	2006	DBLP DOI BibTeX RDF
10	Jørgen Fischer Nilsson	Ontological Constitutions for Classes and Properties.	ICCS	2006	DBLP DOI BibTeX RDF
10	Christian Burgmann, Rudolf Wille	The Basic Theorem on Preconcept Lattices.	ICFCA	2006	DBLP DOI BibTeX RDF
10	Jianqing Ma, Shiyong Zhang, YiPing Zhong, Xiaowen Tong	SAID: A Self-Adaptive Intrusion Detection System in Wireless Sensor Networks.	WISA	2006	DBLP DOI BibTeX RDF
10	Jianhua Dai, Weidong Chen 0002, Yunhe Pan	Rough Sets and Brouwer-Zadeh Lattices.	RSKT	2006	DBLP DOI BibTeX RDF	Brouwer-Zadeh lattices, orthocomplementation, Rough sets
10	Heejun Park, Duke H. Jeong	Assessment of Effective Utilization of KM Technologies as a Function of Organizational Culture.	PAKM	2006	DBLP DOI BibTeX RDF	Organizational Culture Orientation, Knowledge Management Technology Taxonomy, Affective Unitization of Knowledge Management Technology
10	Ming Bao, Luyang Guan, Xiaodong Li 0002, Jing Tian, Jun Yang	Feature Extraction Using Histogram Entropies of Euclidean Distances for Vehicle Classification.	CIS	2006	DBLP DOI BibTeX RDF
10	Francis Pastijn	Varieties Generated by Ordered Bands II.	Order	2005	DBLP DOI BibTeX RDF	idempotent semirings, identity, order, variety, band
10	Iris Reinhartz-Berger, Dov Dori	OPM vs. UML - Experimenting with Comprehension and Construction of Web Application Models.	Empir. Softw. Eng.	2005	DBLP DOI BibTeX RDF	IS development methodologies, Unified Modeling Language, software development, Web applications, object-oriented design, Object-Process Methodology, functional design
10	A. W. Roscoe 0001	On the expressive power of CSP refinement.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Refinement, Topology, CSP, Full abstraction
10	Minos N. Garofalakis, Amit Kumar 0001	Wavelet synopses for general error metrics.	ACM Trans. Database Syst.	2005	DBLP DOI BibTeX RDF	approximate query processing, Haar wavelets, Data synopses
10	Ivo Düntsch, Michael Winter 0001	Weak Contact Structures.	RelMiCS	2005	DBLP DOI BibTeX RDF
10	Jouni Järvinen, Ewa Orlowska	Relational Correspondences for Lattices with Operators.	RelMiCS	2005	DBLP DOI BibTeX RDF
10	Xiaohong Sheng, Yu Hen Hu, Parmesh Ramanathan	Distributed particle filter with GMM approximation for multiple targets localization and tracking in wireless sensor network.	IPSN	2005	DBLP DOI BibTeX RDF
10	Wolfram Krause, Rudolf Sollacher, Martin Greiner	Self-* Topology Control in Wireless Multihop Ad Hoc Communication Networks.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
10	François Lamarche, Lutz Straßburger	Constructing Free Boolean Categories.	LICS	2005	DBLP DOI BibTeX RDF
10	Tarmo Uustalu, Varmo Vene	The Essence of Dataflow Programming.	APLAS	2005	DBLP DOI BibTeX RDF
10	João Ramires, Pedro Antunes 0001, Ana Respício	Software Requirements Negotiation Using the Software Quality Function Deployment.	CRIWG	2005	DBLP DOI BibTeX RDF
10	Anirban Mondal, Masaru Kitsuregawa	Effective Dynamic Replication in Wide-Area Network Environments: A Perspective.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
10	Michel Serfati	A Note on Triangulation of PostAlgebras and "Leibnizian" Lattices.	ISMVL	2005	DBLP DOI BibTeX RDF
10	Tarmo Uustalu, Varmo Vene	The Essence of Dataflow Programming.	CEFP	2005	DBLP DOI BibTeX RDF
10	Souren Paul, Priya Seetharaman, Imad Samarah, Peter Mykytyn	Understanding Conflict in Virtual Teams: An Experimental Investigation using Content Analysis.	HICSS	2005	DBLP DOI BibTeX RDF
10	Raymond Y. K. Lau	Towards Genetically Optimised Multi-Agent Multi-Issue Negotiations.	HICSS	2005	DBLP DOI BibTeX RDF	Decision Making Model, Genetic Algorithm, Autonomous Agents, Automated Negotiations
10	Ying-Hong Wang, Huan-Chao Keh, Tsang-Ching Hu, Cheng-Horng Liao	A Hierarchical Dynamic Monitoring Mechanism for Mobile Agent Location.	AINA	2005	DBLP DOI BibTeX RDF
10	John Power	Discrete Lawvere Theories.	CALCO	2005	DBLP DOI BibTeX RDF
10	Jianli Ding, Wansheng Tang, Yufu Ning	Model and Convergence for the Combination of Genetic Algorithm and Ant Algorithm.	CIS (1)	2005	DBLP DOI BibTeX RDF
10	Florian Lang 0002, Constantin Brunn	Pareto-Efficiency without Giving-In: A Two-Phased Protocol for Multiple-Attribute Negotiations.	CEC	2005	DBLP DOI BibTeX RDF
10	Jorge E. Castro, Sergio A. Celani	Quasi-Modal Lattices.	Order	2004	DBLP DOI BibTeX RDF
10	Marcel Erné	Intervals in Lattices of alpha-Meet-Closed Subsets.	Order	2004	DBLP DOI BibTeX RDF	(weakly) atomic, (strongly) coatomic, extremally detachable, meet-closed, interval, prime, semilattice, complete lattice, irreducible
10	Ramin Nasiri, Ali Moeini, Ahmad Abdollahzadeh	A New Approach Towards Procurement of Software Models Via Distributed Business Models.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	distributed system, software engineering, UML, fuzzy logic, object oriented, information system, temporal logic, business modeling, unified process
10	Ji Li 0010, Karen R. Sollins, Dah-Yoh Lim	Implementing aggregation and broadcast over Distributed Hash Tables.	Comput. Commun. Rev.	2004	DBLP DOI BibTeX RDF	peer-to-peer, broadcast, aggregation, tree, distributed hash table
10	Annika M. Wille	The Variety of Lattice-Ordered Monoids Generated by the Natural Numbers.	Stud Logica	2004	DBLP DOI BibTeX RDF	Lattice-ordered monoid, cancellative monoid, ultraproduct, variety
10	Brian A. Davey, Miroslav Haviar	Applications of Priestley duality in transferring optimal dualities.	Stud Logica	2004	DBLP DOI BibTeX RDF	Natural duality, optimal duality, Priestley duality, endodualisability, endoprimality, retraction, entailment
10	Nikolaos Galatos, James G. Raftery	Adding Involution to Residuated Structures.	Stud Logica	2004	DBLP DOI BibTeX RDF	mingle, RW, contraction, negation, residuated lattice, Residuation, expansion, involution
10	Katarzyna Matczak, Anna B. Romanowska	Quasivarieties of cancellative commutative binary modes.	Stud Logica	2004	DBLP DOI BibTeX RDF	subreducts, affine spaces, commutative quasigroup modes, commutative binary modes, modes, quasivarieties
10	Miklós Maróti, Ralph McKenzie	Finite basis problems and results for quasivarieties.	Stud Logica	2004	DBLP DOI BibTeX RDF	finite axiomatizability, pseudo-complemented congruence lattices, Willard terms, quasivarieties
10	Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch	Unification Modulo ACUI Plus Distributivity Axioms.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	equational unification, counter machines, complexity, decidability, rewriting, set constraints, Post correspondence problem
10	Keunyoung Kim, Hoon Kim, Youngnam Han	Subcarrier and power allocation in OFDMA systems.	VTC Fall (2)	2004	DBLP DOI BibTeX RDF
10	Joseph M. Morris	Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy.	MPC	2004	DBLP DOI BibTeX RDF
10	Sonja Zillner, Utz Westermann, Werner Winiwarter	EMMA - Towards a Query Algebra for Enhanced Multimedia Meta Objects.	CIT	2004	DBLP DOI BibTeX RDF
10	Varun S. Malhotra	On the Stability of Multiple Partner Stable Marriages with Ties.	ESA	2004	DBLP DOI BibTeX RDF
10	Glenn Bruns, Patrice Godefroid	Model Checking with Multi-valued Logics.	ICALP	2004	DBLP DOI BibTeX RDF
10	Sylvia B. Encheva, Sharil Tumin	Collaborative Role Management for Sharing Protected Web Resources.	CDVE	2004	DBLP DOI BibTeX RDF
10	Ankur Gupta, Nitin Gupta 0002, R. K. Ghosh, M. M. Gore	Team Transaction: A New Transaction Model for Mobile Ad Hoc Networks.	ICDCIT	2004	DBLP DOI BibTeX RDF
10	Cuiping Li 0001, Gao Cong, Anthony K. H. Tung, Shan Wang 0001	Incremental maintenance of quotient cube for median.	KDD	2004	DBLP DOI BibTeX RDF	holistic aggregation, data cube
10	Ying Cai, Kien A. Hua, Guohong Cao	Processing Range-Monitoring Queries on Heterogeneous Mobile Objects.	Mobile Data Management	2004	DBLP DOI BibTeX RDF
10	Jie Wang 0006, James O. Leckie, Kincho H. Law, Gio Wiederhold	Distributed Information Organization and Management Framework for Regulation Compliance.	HICSS	2004	DBLP DOI BibTeX RDF
10	Hassan Reza, Emanuel S. Grant	A Formal Approach to Software Architecture of Agent-Base Systems.	ITCC (1)	2004	DBLP DOI BibTeX RDF	Software Architecture, Formal Specifications, Software Agent, Architectural Description Languages (ADLs), High-level Petri Nets
10	Yuxi Fu, Xiaoju Dong	Formalizing the Environment View of Process Equivalence.	CIS	2004	DBLP DOI BibTeX RDF
10	Georg Struth	Automated Element-Wise Reasoning with Sets.	SEFM	2004	DBLP DOI BibTeX RDF
10	Roger Mailler, Victor R. Lesser	Using Cooperative Mediation to Solve Distributed Constraint Satisfaction Problems.	AAMAS	2004	DBLP DOI BibTeX RDF
10	Ralph Freese, Jennifer Hyndman, James B. Nation	Whaley's Theorem for Finite Lattices.	Order	2003	DBLP DOI BibTeX RDF	sublattice, maximal sublattice, lattice, ordered set
10	Marcel Erné, Branimir Seselja, Andreja Tepavcevic	Posets Generated by Irreducible Elements.	Order	2003	DBLP DOI BibTeX RDF	(completely) irreducible, join-dense, completion, poset, complete lattice
10	Beloslav Riecan	An entropy construction inspired by fuzzy sets.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Entropy, fuzzy sets, dynamical systems
10	Kumar Neeraj Verma	On Closure under Complementation of Equational Tree Automata for Theories Extending AC.	LPAR	2003	DBLP DOI BibTeX RDF
10	Maged El-Sayed, Katica Dimitrova, Elke A. Rundensteiner	Efficiently supporting order in XML query processing.	WIDM	2003	DBLP DOI BibTeX RDF	XML data management systems, order in XML, query, XQuery, algebra, XML query
10	Georg Struth	A Calculus for Set-Based Program Development.	ICFEM	2003	DBLP DOI BibTeX RDF
10	Zhijie Guan, Hasan M. Jamil	Streamlining Biological Data Analysis Using BioFlow.	BIBE	2003	DBLP DOI BibTeX RDF
10	Rajagopal Rajugan, Elizabeth Chang 0001, Tharam S. Dillon, Ling Feng	XML Views: Part 1.	DEXA	2003	DBLP DOI BibTeX RDF
10	Yoav Zibin, Joseph Gil, Jeffrey Considine	Efficient algorithms for isomorphisms of simple types.	POPL	2003	DBLP DOI BibTeX RDF	first order isomorphism, linear isomorphism, non-recursive types, simple types, type signature
10	Katica Dimitrova, Maged El-Sayed, Elke A. Rundensteiner	Order-Sensitive View Maintenance of Materialized XQuery Views.	ER	2003	DBLP DOI BibTeX RDF
10	Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch	ACID-Unification Is NEXPTIME-Decidable.	MFCS	2003	DBLP DOI BibTeX RDF	E-Unification, Dag automata, Complexity, Tree automata, Set constraints
10	Huanglin Zeng, Yao Yi	Image Recognition Using Adaptive Fuzzy Neural Network and Wavelet Transform.	RSFDGrC	2003	DBLP DOI BibTeX RDF
10	Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch	Unification Modulo ACU I Plus Homomorphisms/Distributivity.	CADE	2003	DBLP DOI BibTeX RDF	E-Unification, Rewrite reachability, Minskymachine, Complexity, Set constraints, Post correspondence problem
10	Anand Rajaram, Bing Lu, Wei Guo, Rabi N. Mahapatra, Jiang Hu	Analytical Bound for Unwanted Clock Skew due to Wire Width Variation.	ICCAD	2003	DBLP DOI BibTeX RDF
10	Tomoko Ninomiya, Masao Mukaidono	Complete and Independent Sets of Axioms of Boolean Algebra.	ISMVL	2003	DBLP DOI BibTeX RDF
10	Mirek Riedewald, Divyakant Agrawal, Amr El Abbadi, Flip Korn	Accessing Scientifgic Data: Simpler is Better.	SSTD	2003	DBLP DOI BibTeX RDF
10	Alexej P. Pynko	Extensions of Halkowska-Zajac's three-valued paraconsistent logic.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
10	Yongge Wang	The algebraic structure of the isomorphic types of tally, polynomial time computable sets.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
10	Mahmoud Tchikou, Eric Gouardères	Multi-agent Model to Control Production System: A Reactive and Emergent Approach by Cooperation and Competition between Agents.	Agent Technologies, Infrastructures, Tools, and Applications for E-Services	2002	DBLP DOI BibTeX RDF
10	Ying Cai, Kien A. Hua	Managing continuous range queries in mobile databases.	MWCN	2002	DBLP DOI BibTeX RDF