Search results for "Inclusion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Ljiljana D. Petkovic, Miodrag S. Petkovic, Dusan M. Milosevic	Weierstrass-like Methods with Corrections for the Inclusion of Polynomial Zeros.	Computing	2005	DBLP DOI BibTeX RDF	Zeros of polynomials, simultaneous methods, circular arithmetic, convergence rate
17	Philip Bille, Inge Li Gørtz	The Tree Inclusion Problem: In Optimal Space and Faster.	ICALP	2005	DBLP DOI BibTeX RDF
17	Jin Han Park, Jong Seo Park, Young Chel Kwun	On Fuzzy Inclusion in the Interval-Valued Sense.	FSKD (1)	2005	DBLP DOI BibTeX RDF
17	Brendan Riordan, John Traxler	The Use of Targeted Bulk SMS Texting to Enhance Student Support, Inclusion and Retention.	WMTE	2005	DBLP DOI BibTeX RDF
17	Lili Wu, Yongli Li, He Lin	Generalized rough equivalence and generalized rough inclusion based on equivalence operator of pansystems of rough sets.	GrC	2005	DBLP DOI BibTeX RDF
17	Paluri S. V. Nataraj, Ketan Kotecha	Global Optimization with Higher Order Inclusion Function Forms Part 1: A Combined Taylor-Bernstein Form.	Reliab. Comput.	2004	DBLP DOI BibTeX RDF
17	Miodrag S. Petkovic, Dusan M. Milosevic	Ostrowski-Like Method with Corrections for the Inclusion of Polynomial Zeros.	Reliab. Comput.	2004	DBLP DOI BibTeX RDF
17	Fabien De Marchi, Frédéric Flouvat, Jean-Marc Petit	Adaptive Strategies for Mining the Positive Border of Interesting Patterns: Application to Inclusion Dependencies in Databases.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
17	Christian Ferran Bennström, Josep R. Casas	Binary-Partition-Tree Creation using a Quasi-Inclusion Criterion.	IV	2004	DBLP DOI BibTeX RDF
17	Andreas Koeller, Elke A. Rundensteiner	Heuristic Strategies for Inclusion Dependency Discovery.	CoopIS/DOA/ODBASE (2)	2004	DBLP DOI BibTeX RDF
17	Domenico Bruno, Mario Capitelli, Savino Longo, P. Minelli	Direct Simulation Monte Carlo Modeling of Non Equilibrium Reacting Flows. Issues for the Inclusion into a ab initio Molecular Processes Simulator.	ICCSA (2)	2004	DBLP DOI BibTeX RDF
17	Deok-Soo Kim, Byunghoon Lee, Cheol-Hyung Cho, Kokichi Sugihara	Plane-Sweep Algorithm of O(nlogn) for the Inclusion Hierarchy among Circles.	ICCSA (3)	2004	DBLP DOI BibTeX RDF
17	Paluri S. V. Nataraj, Ketan Kotecha	Higher Order Convergence for Multidimensional Functions with a New Taylor-Bernstein Form as Inclusion Function.	Reliab. Comput.	2003	DBLP DOI BibTeX RDF
17	Fabien De Marchi, Jean-Marc Petit	Zigzag: a new algorithm for mining large inclusion dependencies in database.	ICDM	2003	DBLP DOI BibTeX RDF
17	Joël Ouaknine, James Worrell 0001	Universality and Language Inclusion for Open and Closed Timed Automata.	HSCC	2003	DBLP DOI BibTeX RDF
17	Chris Cornelis, Etienne E. Kerre	Inclusion Measures in Intuitionistic Fuzzy Set Theory.	ECSQARU	2003	DBLP DOI BibTeX RDF
17	Jerome L. Lewis	A reliable test for inclusion of a point in a polygon.	ACM SIGCSE Bull.	2002	DBLP DOI BibTeX RDF
17	John Whaley, Monica S. Lam	An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages.	SAS	2002	DBLP DOI BibTeX RDF
17	Lech Polkowski	On Asymptotic Properties of Rough-Set-Theoretic Approximations. Fractal Dimension, Exact Sets, and Rough Inclusion in Potentially Infinite Information Systems.	Rough Sets and Current Trends in Computing	2002	DBLP DOI BibTeX RDF	the Minkowski dimension, $mathcal{A}$-dimension, rough sets, information systems, Fractals
17	Fabien De Marchi, Stéphane Lopes, Jean-Marc Petit	Efficient Algorithms for Mining Inclusion Dependencies.	EDBT	2002	DBLP DOI BibTeX RDF
17	Laurent Alonso, René Schott	On the tree inclusion problem.	Acta Informatica	2001	DBLP DOI BibTeX RDF
17	Klaus Dohmen	A Note on Narushima's Principle of Inclusion-Exclusion on Partition Lattices.	Graphs Comb.	2001	DBLP DOI BibTeX RDF
17	Juhani Karhumäki, Leonid P. Lisovik	A Simple Undecidable Problem: The Inclusion Problem for Finite Substitutions on ab*c.	STACS	2001	DBLP DOI BibTeX RDF
17	Pedro de Almeida	Direct Domain Knowledge Inclusion in the PA3 Rule Induction Algorithm.	PAKDD	2001	DBLP DOI BibTeX RDF
17	Zhendong Su 0001, Manuel Fähndrich, Alexander Aiken	Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs.	POPL	2000	DBLP DOI BibTeX RDF
17	Miodrag S. Petkovic	Halley-Like Method with Corrections for the Inclusion of Polynomial Zeros.	Computing	1999	DBLP DOI BibTeX RDF	AMS Subject Classification: 65H05
17	Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su 0001, Alexander Aiken	Partial Online Cycle Elimination in Inclusion Constraint Graphs.	PLDI	1998	DBLP DOI BibTeX RDF
17	Jamie D. Weber, Thomas J. Overbye, Christopher L. DeMarco	Inclusion of Price Dependent Load Models in the Optimal Power Flow.	HICSS (3)	1998	DBLP DOI BibTeX RDF
17	Ljiljana D. Petkovic, Slobodan Trickovic, Miodrag S. Petkovic	Slope Methods of Higher Order for the Inclusion of Complex Roots of Polynomials.	Reliab. Comput.	1997	DBLP DOI BibTeX RDF
17	Benedito Melo Acióly, Benjamín René Callejas Bedregal	A Quasi-Metric Topology Compatible with Inclusion Monotonicity on Interval Space.	Reliab. Comput.	1997	DBLP DOI BibTeX RDF
17	Siegfried M. Rump	Inclusion of Zeros of Nowhere Differentiable n-Dimensional Functions.	Reliab. Comput.	1997	DBLP DOI BibTeX RDF
17	Herbert Edelsbrunner, Edgar A. Ramos	Inclusion - Exclusion Complexes for Pseudodisk Collections.	Discret. Comput. Geom.	1997	DBLP DOI BibTeX RDF
17	Kenneth A. Reek	Teaching inheritance versus inclusion to first year computer science students.	SIGCSE	1996	DBLP DOI BibTeX RDF
17	Laurent Alonso, René Schott	On the Tree Inclusion Problem.	MFCS	1993	DBLP DOI BibTeX RDF
17	Stavros S. Cosmadakis, Paris C. Kanellakis	Functional and Inclusion Dependencies: A Graph Theoretic Approach.	PODS	1984	DBLP DOI BibTeX RDF
17	David S. Johnson, Anthony C. Klug	Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies.	PODS	1982	DBLP DOI BibTeX RDF
14	Björn Niehaves, Ralf Plattfaut, Peter H. Vages	Aging and the information society: a comparative study of Austria and Switzerland.	DG.O	2010	DBLP BibTeX RDF	demographic change, digital divide, comparative study, e-Inclusion
14	Till Halbach	Towards Cognitively Accessible Web Pages.	ACHI	2010	DBLP DOI BibTeX RDF	intellectual deficits, deficiencies, accessibility, universal design, web pages, Cognitive disabilities, e-inclusion, impairement
14	Musa A. Mammadov	Turnpike Theory: Stability of Optimal Trajectories.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Turnpike property, Differential inclusion, Convex sets, Asymptotical stability, Stationary points
14	Jorge Barrios, Alain Piétrus, Aymée Marrero, Héctor de Arazoza	HIV Model Described by Differential Inclusions.	IWANN (1)	2009	DBLP DOI BibTeX RDF	Differential Inclusion, Contact Tracing, HIV, AIDS, Reachable Sets
14	C. Osvaldo Rodriguez	Affordable Wireless Connectivity Linking Poor Latin American Communities Binding Their Schools by Sharing ICT Training for "Maestros" of Primary Schools.	HCI (14)	2009	DBLP DOI BibTeX RDF	ICT Teachers Education, Wireless Mesh Networking, Digital Inclusion
14	Kristin Skeide Fuglerud	ICT Services for Every Citizen: The Challenge of Gaps in User Knowledge.	HCI (5)	2009	DBLP DOI BibTeX RDF	gaps in user knowledge, user diversity, accessibility, visually impaired, elderly, universal design, universal usability, e-Inclusion
14	Indrani Medhi, Aishwarya Ratan, Kentaro Toyama	Mobile-Banking Adoption and Usage by Low-Literate, Low-Income Users in the Developing World.	HCI (14)	2009	DBLP DOI BibTeX RDF	m-banking, mobile UX, financial inclusion, economic development
14	Fernando Magno Quintão Pereira, Daniel Berlin	Wave Propagation and Deep Propagation for Pointer Analysis.	CGO	2009	DBLP DOI BibTeX RDF	Inclusion based, Context insensitive, Pointer analysis, Cycle detection
14	Edward B. Allen, Maheshwar Chandrasekar, Karolina A. Sarnowska	C preprocessor use in numerical tools: an empirical analysis.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	C preprocessor, file inclusion, macro substitution, C++, empirical study, C, macro, conditional compilation, cpp
14	Annalu Waller, Vicki L. Hanson, David Sloan	Including accessibility within and beyond undergraduate computing courses.	ASSETS	2009	DBLP DOI BibTeX RDF	accessibility, disability, older adults, higher education, inclusion
14	Paula Forbes, Lorna Gibson, Vicki L. Hanson, Peter Gregor, Alan F. Newell	Dundee user centre: a space where older people and technology meet.	ASSETS	2009	DBLP DOI BibTeX RDF	computing, technology, older people, digital inclusion
14	Edith Ackermann, Françoise Decortis, Juan Pablo Hourcade, Heidi Schelhowe	Cultural coding and de-coding as ways of participation: digital media for marginalized young people.	IDC	2009	DBLP DOI BibTeX RDF	Paulo Freire, marginalized young people, digital divide, participation, inclusion, empowerment
14	Susan Horwitz, Susan H. Rodger, Maureen Biggers, David W. Binkley, C. Kolin Frantz, Dawn Gundermann, Susanne E. Hambrusch, Steven Huss-Lederman, Ethan V. Munson, Barbara G. Ryder, Monica Sweat	Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science.	SIGCSE	2009	DBLP DOI BibTeX RDF	esp, introductory computer science course, peer-led team learning, pltl, inclusion, women in computer science, under-represented groups
14	Lam Quoc Anh, Phan Quoc Khanh	Various kinds of semicontinuity and the solution sets of parametric multivalued symmetric vector quasiequilibrium problems.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	U-lower (or upper)-level closednesss, U-Hausdorff-lower (or upper)- level closedness, U-lower (or upper)-semicontinuity, U-Hausdorff-lower (or upper)-semicontinuity, (Hausdorff) lower or upper semicontinuity, U-inclusion property, Symmetric quasiequilibrium problems, Lower and upper bounded quasiequilibrium problems, Solution sets
14	Lech Polkowski, Piotr Artiemjew	A Study in Granular Computing: On Classifiers Induced from Granular Reflections of Data.	Trans. Rough Sets	2008	DBLP DOI BibTeX RDF	granular decision systems, data classification, rough inclusion, mereology, granulation of knowledge
14	Andrea Falletto, Paolo Prinetto, Gabriele Tiotto	An Avatar-Based Italian Sign Language Visualization System.	eHealth	2008	DBLP DOI BibTeX RDF	Virtual Reality, Computer Graphics, Sign Languages, E-Inclusion
14	Eileen M. Trauth, Jeria L. Quesenberry, Haiyan Huang, Stephen McKnight	Linking economic development and workforce diversity through action research.	CPR	2008	DBLP DOI BibTeX RDF	information economy, diversity, gender, action research, IT workforce, IT skills, minorities, race, social inclusion, economic development, ethnicity, under represented groups, human capital
14	Stephanie Ludi, Thomas Reichlmayr	Developing inclusive outreach activities for students with visual impairments.	SIGCSE	2008	DBLP DOI BibTeX RDF	accessibility, inclusion, outreach
14	Germano Vallesi, Anna Montesanto, Aldo Franco Dragoni	Conflict Detection and Bayesian Conditioning for Estimating the Reliability of Each LVQ Network in a Group Engaged at Iris Biometric Identification.	HIS	2008	DBLP DOI BibTeX RDF	Bayesian Conditioning, LVQ Networks, Inclusion Based, Neural Networks, Iris Recognition
14	Simon Ball, Alistair McNaught	Round Peg, Square Hole: Supporting Via the Web Staff and Learners Who Do Not Fit into Traditional Learner-Teacher-Institution Scenarios.	ICCHP	2008	DBLP DOI BibTeX RDF	e-learning, accessibility, online learning, support, inclusion
14	Marco Arrigo, Gaspare Novara, Giovanni Ciprì	M-Learning Accessibility Design: A Case Study.	ICCHP	2008	DBLP DOI BibTeX RDF	accessibility, multimodal interface, mobile learning, ubiquitous learning, design for all, inclusion
14	Simon Ball, Julian Tenney	Xerte - A User-Friendly Tool for Creating Accessible Learning Objects.	ICCHP	2008	DBLP DOI BibTeX RDF	accessibility, learning objects, template, inclusion, user-friendly
14	Jaroslaw Stepaniuk	Approximation Spaces in Multi Relational Knowledge Discovery.	Trans. Rough Sets	2007	DBLP DOI BibTeX RDF	uncertainty function, rough sets, approximation spaces, rough inclusion, multi-relational data mining
14	Jo-Anne Bichard, Roger Coleman, Patrick Langdon	Does My Stigma Look Big in This? Considering Acceptability and Desirability in the Inclusive Design of Technology Products.	HCI (5)	2007	DBLP DOI BibTeX RDF	stigma, aesthetic design, Inclusive Design, social inclusion
14	Kristina Pitula, Thiruvengadam Radhakrishnan	A Conceptual Model of Inclusive Technology for Information Access by the Rural Sector.	HCI (5)	2007	DBLP DOI BibTeX RDF	inclusive technology, information and communication technology, social inclusion
14	Katherine Deibel	Studying our inclusive practices: course experiences of students with disabilities.	ITiCSE	2007	DBLP DOI BibTeX RDF	accessibility, disability, grounded theory, inclusion, accommodation, semi-structured interview
14	Qing Liu 0011, Hui Sun, Ying Wang	Granulations Based on Semantics of Rough Logical Formulas and Its Reasoning.	RSFDGrC	2007	DBLP DOI BibTeX RDF	Semantics of rough logical formula, ?-inclusion, ?-closeness, granular reasoning, granulation
14	Darren James Thomson, Marius Gylseth, Robert McGarry, Carmen Valero Garcia	The VVIP system: encouraging the use of public transport in Edinburgh.	CHI Extended Abstracts	2007	DBLP DOI BibTeX RDF	disability discrimination act, location based information system, tourists, GPS, visually impaired, public transport, social inclusion
14	John Kodumal, Alex Aiken	Regularly annotated set constraints.	PLDI	2007	DBLP DOI BibTeX RDF	annotated inclusion constraints, pushdown model checking, flow analysis, set constraints, context-free language reachability
14	Liya Fan, Tianyuan Xiao	An Automatic Method for Ontology Mapping.	KES (3)	2007	DBLP DOI BibTeX RDF	relation measure, inclusion measure, similarity measure, ontology mapping
14	Adamantios Koumpis, Marios Chatzidimitriou, Vasiliki Moumtzi, Vassilios Peristeras	Empowering user and development communities involvement for collaborative e-gov networks.	ICEGOV	2007	DBLP DOI BibTeX RDF	citizen organizational initiatives, government collaboration patterns research, society inclusion initiatives, policies, processes, practices, people, capacity building, community building
14	Changbo Chen, François Lemaire, Marc Moreno Maza, Wei Pan 0001, Yuzhen Xie	Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	RegularChains, quasi-component, inclusion test, irredundant triangular decomposition
14	Ying Liu, Annita Cornish, June Clegg	ICT and Special Educational Needs: Using Meta-synthesis for Bridging the Multifaceted Divide.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF	Complex problem-solving, Special educational needs, Education, Digital divide, e-Inclusion, Meta-synthesis
14	Lech Polkowski, Piotr Artiemjew	On Granular Rough Computing: Factoring Classifiers Through Granulated Decision Systems.	RSEISP	2007	DBLP DOI BibTeX RDF	granular systems and classifiers, similarity, rough inclusion, granulation of knowledge
14	Bruno von Niman, Alejandro Rodríguez-Ascaso, Torbjørn Sund, Steve J. Brown	User experience design guidelines for telecare services.	Mobile HCI	2006	DBLP DOI BibTeX RDF	usability, UI, user experience, interface, guidelines, health, e-health, design for all, e-inclusion, telecare, UX, MMI, intelligent homes
14	Joseph Gil, Yoav Zibin	Efficient subtyping tests with PQ-encoding.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	PQ, PQE, type inclusion, encoding, hierarchy, inheritance, subtyping, partially ordered sets, Casting
14	Brigitte Verdonk, J. Vervloet, Annie A. M. Cuyt	Blending Set and Interval Arithmetic for Maximal Reliability.	Computing	2005	DBLP DOI BibTeX RDF	inclusion property, Interval arithmetic
14	Rami Saarinen, Janne Järvi, Roope Raisamo, Jouni Salo	Agent-based architecture for implementing multimodal learning environments for visually impaired children.	ICMI	2005	DBLP DOI BibTeX RDF	multimodal software architectures, navigation, haptics, inclusion, auditory feedback, teaching programs, visually impaired children
14	Bruno von Niman, Martin Böcker, Matthias Schneider-Hufschmidt, Margareta Flygt, Pascale Parodi, Pekka Ketola, David Williams, Michael Tate	Enabling and improving the use of mobile e-services.	Mobile HCI	2005	DBLP DOI BibTeX RDF	out-of-box-readiness, user interface, mobile, user experience, human factors, services, terminals, guidelines, e-inclusion, MMI
14	Phia Damsma, John Norgaard, Rob Jones	Best practices in an online community for blind, partly sighted and fully sighted children.	OZCHI	2005	DBLP BibTeX RDF	OZCHI 2005, usability, e-learning, accessibility, children, visual impairment, e-inclusion
14	Ivar Jacobson	Use cases - Yesterday, today, and tomorrow.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Use case driven development, History of use cases, Extension use cases, Inclusion use cases, Roles of use cases, Use cases are early aspects, Use case fragments, Use case
14	Francesco Garibaldo	Information and Communication Technologies, Organisations and Skills: Convergence and Persistence.	AI Soc.	2002	DBLP DOI BibTeX RDF	Citizenship, Cultural institutions, Policy networks, Cooperation, Convergence, Hybrid systems, Inclusion, Knowledge worker, Vocational training
14	Michael D. Ernst, Greg J. Badros, David Notkin	An Empirical Analysis of C Preprocessor Use.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	C preprocessor, macro substitution, file inclusion, C++, empirical study, C, program understanding, macro, conditional compilation, Cpp
14	Ivo G. Rosenberg, Dan A. Simovici, Szymon Jaroszewicz	On Functions Defined on Free Boolean Algebras.	ISMVL	2002	DBLP DOI BibTeX RDF	Free Boolean Algebras, Post Algebras, inclusion-exclusion, query-size estimation, measure
14	Helena Abecasis, Jorge Fernandes	The national initiative for people with special needs in the information society: the elderly, people with disabilities and long-term bed-ridden.	Workshop on Universal Accessibility of Ubiquitous Computing	2001	DBLP DOI BibTeX RDF	accessibility kits, info-inclusion, internet posts for all, telematic networks, assistive technologies, web accessibility, disabled, elderly, universal design
14	Rida T. Farouki, Hwan Pyo Moon, Bahram Ravani	Algorithms for Minkowski products and implicitly-defined complex sets.	Adv. Comput. Math.	2000	DBLP DOI BibTeX RDF	Minkowski geometric algebra, Minkowski sums and products, logarithmic Gauss map, logarithmic curvature, implicitly-defined complex sets, families of curves, set inclusion, boundary evaluation algorithms, envelopes
14	Miodrag S. Petkovic	On Initial Conditions for the Convergence of Simultaneous Root Finding Methods.	Computing	1996	DBLP DOI BibTeX RDF	simultaneous method, inclusion methods, convergence theorems, initial conditions for convergence, Polynomial roots
14	Rabin A. Sugumar, Santosh G. Abraham	Set-Associative Cache Simulation Using Generalized Binomial Trees	ACM Trans. Comput. Syst.	1995	DBLP DOI BibTeX RDF	all-associativity simulation, binomial tree, inclusion properties, single-pass simulation, trace-driven simulation, cache modeling, set-associative caches
14	Eitetsu Oomoto, Katsumi Tanaka	OVID: Design and Implementation of a Video-Object Database System.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	OVID, video-object database system, descriptional data, interval-inclusion based inheritance, browsing/inspection tool, VideoChart, adhoc query facility, VideoSQL, video-object definition tool, design, object-oriented programming, implementation, visual databases
14	Yehoshua Sagiv, Oded Shmueli	Solving Queries by Tree Projections.	ACM Trans. Database Syst.	1993	DBLP DOI BibTeX RDF	monotone join expression, qual graph, semijoin reduction, tree projection, tree schema, relational database, projection, hypergraph, join, chase, database schema, acyclicity, semijoin, tableau, inclusion dependency
14	John M. Snyder, Adam R. Woodbury, Kurt W. Fleischer, Bena L. Currin, Alan H. Barr	Interval methods for multi-point collisions between time-dependent curved surfaces.	SIGGRAPH	1993	DBLP DOI BibTeX RDF	inclusion function, interval Newton method, interval linear equation
14	John M. Snyder	Interval analysis for computer graphics.	SIGGRAPH	1992	DBLP DOI BibTeX RDF	constraint solution, inclusion function, approximation, interval analysis, implicit curve, constrained minimization
14	Oded Goldreich 0001, Erez Petrank	Quantifying Knowledge Complexity	FOCS	1991	DBLP DOI BibTeX RDF	constant round AM proofs, knowledge complexity, inclusion results, separation results, Hint sense, computational complexity, languages, proof system
14	J. Christopher Westland	Scaling Up Output Capacity and Performance Results from Information Systems Prototypes.	ACM Trans. Database Syst.	1990	DBLP DOI BibTeX RDF	inclusion-exclusion principle
14	David Haussler, Nick Littlestone, Manfred K. Warmuth	Predicting {0,1}-Functions on Randomly Drawn Points (Extended Abstract)	FOCS	1988	DBLP DOI BibTeX RDF	axis-parallel rectangles, randomly drawn points, learnability model, target functions, prediction strategies, 1-inclusion graph structure, geometric range queries, indicator functions, probability
14	Mark H. Overmars, Chee-Keng Yap	New upper bounds in Klee's measure problem (extended abstract)	FOCS	1988	DBLP DOI BibTeX RDF	Klee measure problem, time-space upper bound, Euclidean d-space, inclusion/exclusion principle, trellises, partition, streaming, upper bounds, dimensions
14	Robert Brian Cutler, Saburo Muroga	Derivation of Minimal Sums for Completely Specified Functions.	IEEE Trans. Computers	1987	DBLP DOI BibTeX RDF	Tison Method, Abridged minterm base, inclusion function, minimum sum, Petrick function, presence function, Quine- McCluskey method, programmable logic array, switching theory, branch-and-bound method
14	Siegfried M. Rump, Harald Böhm	Least significant bit evaluation of arithmetic expressions in single-precision.	Computing	1983	DBLP DOI BibTeX RDF	automatic verification of correctness, roundig error, error estimation, Inclusion, high accuracy
14	Chat-Yu Lam, Stuart E. Madnick	Properties of Storage Hierarchy Systems with Multiple Page Sizes and Redundant Data.	ACM Trans. Database Syst.	1979	DBLP DOI BibTeX RDF	data storage hierarchy, database computer, inclusion properties, perform and reliability analysis, storage management algorithms, modeling, very large databases
14	Chao-Chih Yang	On the Equivalence of Two Algorithms for Finding All Maximal Compatibles.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	edge-inclusion table, incompatibility graph, maximal compatible, Boolean algebra
12	Frederik Hogenboom, Flavius Frasincar, Uzay Kaymak	A review of approaches for representing RCC8 in OWL.	SAC	2010	DBLP DOI BibTeX RDF	RCC8, spatial knowledge representation, OWL
12	Vicki H. Allan, Valerie Barr, Dennis Brylow, Susanne E. Hambrusch	Computational thinking in high school courses.	SIGCSE	2010	DBLP DOI BibTeX RDF	education, computational thinking
12	David Zook, Emir Pasalic, Beata Sarna-Starosta	Typed Datalog.	PADL	2009	DBLP DOI BibTeX RDF	Meta-compilation, Type System, Datalog, Deductive Databases
12	Sorin Mihai Grigorescu, Danijela Ristic-Durrant, Axel Gräser	ROVIS: Robust machine vision for service robotic system FRIEND.	IROS	2009	DBLP DOI BibTeX RDF