Search results for "contraction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
130	Ping Hou	Some Representation Theorems for Recovering Contraction Relations.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	contraction inference relation, belief contraction, epistemic state, representation theorem
80	Neil Tennant	Contracting Intuitionistic Theories.	Stud Logica	2005	DBLP DOI BibTeX RDF	partial meet contraction, safe contraction, contraction, intuitionistic logic, revision, classical logic
76	Raghav Ramachandran, Abhaya C. Nayak, Mehmet A. Orgun	Two Approaches to Iterated Belief Contraction.	KSEM	2009	DBLP DOI BibTeX RDF
76	Yukako Nakayama, Koichi Kawahara, Mitsuru Yoneyama	Rhythmic contraction and intercellular synchronization of intracellular Ca2+ oscillation in spontaneously beating cultured cardiac myocytes: experimental and modeling studies.	WSTST	2005	DBLP DOI BibTeX RDF	Ca2+ oscillation, rhythmic contraction, intercellular synchronization, BVP oscillator
67	Hans L. Bodlaender, Arie M. C. A. Koster, Thomas Wolle	Contraction and Treewidth Lower Bounds.	ESA	2004	DBLP DOI BibTeX RDF
66	Horacio L. Arló-Costa, Isaac Levi	Contraction: On the Decision-Theoretical Origins of Minimal Change and Entrenchment.	Synth.	2006	DBLP DOI BibTeX RDF	entrenchment, withdrawal, contraction, decision theory, belief revision
66	Alain Darte, Guillaume Huard	New Complexity Results on Array Contraction and Related Problems.	J. VLSI Signal Process.	2005	DBLP DOI BibTeX RDF	array contraction, NP-completeness, integer linear programming, code optimization, memory reduction
66	Yonghong Song, Rong Xu, Cheng Wang 0019, Zhiyuan Li 0001	Improving Data Locality by Array Contraction.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	array contraction, loop shifting, optimization, performance, Compiler, memory, optimizing compilers, data locality
66	H. Martin Bücker, Arno Rasch	Efficient derivative computations in neutron scattering via interface contraction.	SAC	2002	DBLP DOI BibTeX RDF	adifor, interface contraction, local preaccumulation, automatic differentiation, forward mode
58	Albert Hartono, Qingda Lu, Xiaoyang Gao, Sriram Krishnamoorthy, Marcel Nooijen, Gerald Baumgartner, David E. Bernholdt, Venkatesh Choppella, Russell M. Pitzer, J. Ramanujam, Atanas Rountev, P. Sadayappan	Identifying Cost-Effective Common Subexpressions to Reduce Operation Count in Tensor Contraction Evaluations.	International Conference on Computational Science (1)	2006	DBLP DOI BibTeX RDF
58	Natasha Alechina, Mark Jago, Brian Logan 0001	Resource-Bounded Belief Revision and Contraction.	DALT	2005	DBLP DOI BibTeX RDF
58	Hiroyasu Kamo	Effective Contraction Theorem and Its Application.	CCA	2000	DBLP DOI BibTeX RDF
58	Maria Paola Bonacina, Jieh Hsiang	On Semantic Resolution with Lemmaizing and Contraction.	PRICAI	1996	DBLP DOI BibTeX RDF
58	John H. Reif, Stephen R. Tate	Dynamic Parallel Tree Contraction (Extended Abstract).	SPAA	1994	DBLP DOI BibTeX RDF
57	Abhaya C. Nayak, Randy Goebel, Mehmet A. Orgun, Tam Pham	Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction.	KSEM	2006	DBLP DOI BibTeX RDF	Information State Change, Iterated Belief Contraction, Belief Change
57	Allard M. Tamminga	Expansion and Contraction of Finite States.	Stud Logica	2004	DBLP DOI BibTeX RDF	belief contraction, first degree entailment, paraconsistent logic, belief change
57	H. Martin Bücker, Arno Rasch	Modeling the performance of interface contraction.	ACM Trans. Math. Softw.	2003	DBLP DOI BibTeX RDF	interface contraction, local preaccumulation, performance modeling, Automatic differentiation, forward mode
57	Guillaume Damiand, Pascal Lienhardt	Removal and Contraction for n-Dimensional Generalized Maps.	DGCI	2003	DBLP DOI BibTeX RDF	Removal, contraction, generalized maps, irregular pyramids
55	Natasha Alechina, Mark Jago, Brian Logan 0001	Preference-based belief revision for rule-based agents.	Synth.	2008	DBLP DOI BibTeX RDF	Reason maintenance systems, Rule-based agents, Preferences, Belief revision
55	Keo-Sik Kim, Yang Soo An, Jeong-Hwan Seo, Chul-Gyu Song	Ambulatory Urodynamics Monitoring System Using Personal Digital Assistance.	MUE	2008	DBLP DOI BibTeX RDF	ambulatory urodynamics monitoring, abdominal pressure, bio-impedance, PDA
54	Peng Guo, Guangxi Zhu, Liang Fang	An Adaptive Coverage Algorithm for Large-Scale Mobile Sensor Networks.	UIC	2006	DBLP DOI BibTeX RDF	adaptive coverage, boundary contraction, random disturbance, mobile sensor networks
54	Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi	Towards automatic parallelization of tree reductions in dynamic programming.	SPAA	2006	DBLP DOI BibTeX RDF	commutative semiring, parallel tree contraction, parallel programming, dynamic programming, code generator, tree
49	Erik D. Demaine, Mohammad Taghi Hajiaghayi, Bojan Mohar	Approximation algorithms via contraction decomposition.	SODA	2007	DBLP BibTeX RDF
49	Kiyoshi Ando, Atsushi Kaneko, Ken-ichi Kawarabayashi	Vertices of Degree 5 in a Contraction Critically 5-connected Graph.	Graphs Comb.	2005	DBLP DOI BibTeX RDF	AMS Subject Classification, 05C40
49	Albert Hartono, Alexander Sibiryakov, Marcel Nooijen, Gerald Baumgartner, David E. Bernholdt, So Hirata, Chi-Chung Lam, Russell M. Pitzer, J. Ramanujam, P. Sadayappan	Automated Operation Minimization of Tensor Contraction Expressions in Electronic Structure Calculations.	International Conference on Computational Science (1)	2005	DBLP DOI BibTeX RDF
49	Jingqi Yan, Pengfei Shi, David Zhang 0001	Mesh Simplification with Hierarchical Shape Analysis and Iterative Edge Contraction.	IEEE Trans. Vis. Comput. Graph.	2004	DBLP DOI BibTeX RDF	level of detail, Mesh simplification, shape approximation, object hierarchies
49	Yonghong Song, Cheng Wang 0019, Zhiyuan Li 0001	Locality Enhancement by Array Contraction.	LCPC	2001	DBLP DOI BibTeX RDF
48	Oscar Kin-Chung Au, Chiew-Lan Tai, Hung-Kuo Chu, Daniel Cohen-Or, Tong-Yee Lee	Skeleton extraction by mesh contraction.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	mesh contraction, segmentation, skeleton, smoothing, skinning, Laplacian
48	Zhenyu Chen 0001, Baowen Xu, Xiaofang Zhang, Changhai Nie	A novel approach for test suite reduction based on requirement relation contraction.	SAC	2008	DBLP DOI BibTeX RDF	graph contraction, test case reduction, testing requirement optimization
48	David A. Bader, Sukanya Sreshta, Nina R. Weisse-Bernstein	Evaluating Arithmetic Expressions Using Tree Contraction: A Fast and Scalable Parallel Implementation for Symmetric Multiprocessors (SMPs) (Extended Abstract).	HiPC	2002	DBLP DOI BibTeX RDF	High-Performance Algorithm Engineering, Shared Memory, Parallel Graph Algorithms, Expression Evaluation, Tree Contraction
45	Laura Igual, Santi Seguí, Jordi Vitrià, Fernando Azpiroz, Petia Radeva	Eigenmotion-Based Detection of Intestinal Contractions.	CAIP	2007	DBLP DOI BibTeX RDF
45	Yll Haxhimusa, Roland Glantz, Walter G. Kropatsch	Constructing Stochastic Pyramids by MIDES - Maximal Independent Directed Edge Set.	GbRPR	2003	DBLP DOI BibTeX RDF	irregular graph pyramids, maximal independent directed edge set, topology preserving contraction, maximal independent set
40	Erik D. Demaine, MohammadTaghi Hajiaghayi, Ken-ichi Kawarabayashi	Algorithmic Graph Minor Theory: Improved Grid Minor Bounds and Wagner's Contraction.	Algorithmica	2009	DBLP DOI BibTeX RDF	Bidimensionality, Wagner’s conjecture, Graph algorithms, Treewidth, Graph minors, Grid graphs
40	Yewguan Soo, Masataka Nishino, Masao Sugi, Hiroshi Yokoi, Tamio Arai, Ryu Kato, Tatsuhiro Nakamura, Jun Ota 0001	Evaluation of frequency band technique in estimating muscle fatigue during dynamic contraction task.	ICRA	2009	DBLP DOI BibTeX RDF
40	Antônio Padilha Lanari Bó, Philippe Poignet, Dingguo Zhang, Wei Tech Ang	FES-controlled co-contraction strategies for pathological tremor compensation.	IROS	2009	DBLP DOI BibTeX RDF
40	Erik D. Demaine, Mohammad Taghi Hajiaghayi, Ken-ichi Kawarabayashi	Algorithmic Graph Minor Theory: Improved Grid Minor Bounds and Wagner's Contraction.	ISAAC	2006	DBLP DOI BibTeX RDF
40	Tomohiro Yoneda, Chris J. Myers	Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis.	ATVA	2006	DBLP DOI BibTeX RDF
40	Chris H. Q. Ding, Richard F. Meraz, Xiaofeng He, Stephen R. Holbrook	Contraction Graphs for Representation and Analysis of RNA Secondary Structure.	CSB	2004	DBLP DOI BibTeX RDF
40	Jin Akiyama, Kiyoshi Ando, Yoshimi Egawa	Graphs G for which both G and G- are Contraction Critically k-Connected.	Graphs Comb.	2002	DBLP DOI BibTeX RDF
40	Alain Darte, Guillaume Huard	New Results on Array Contraction.	ASAP	2002	DBLP DOI BibTeX RDF
40	Amy W. Lim, Shih-Wei Liao, Monica S. Lam	Blocking and array contraction across arbitrarily nested loops using affine partitioning.	PPoPP	2001	DBLP DOI BibTeX RDF
40	Nashat Mansour, Ravi Ponnusamy, Alok N. Choudhary, Geoffrey C. Fox	Graph Contraction for Physical Optimization Methods: A Quality-Cost Tradeoff for Mapping Data on Parallel Computers.	International Conference on Supercomputing	1993	DBLP DOI BibTeX RDF
40	Shoichiro Yamada, Hirokai Okude, Tamotsu Kasai	A hierarchical algorithm for one-dimensional gate assignment based on contraction of nets.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
39	Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Marina Mongiello, Francesco M. Donini	Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace.	ICEC	2004	DBLP DOI BibTeX RDF	concept abduction, concept contraction, negotiable constraints, semantic web, e-commerce, description logics, matchmaking
36	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
36	Yong Wu, Yuanjun He, Hongming Cai	QEM-based mesh simplification with global geometry features preserved.	GRAPHITE	2004	DBLP DOI BibTeX RDF	edge contraction, global geometry features, mesh simplification, quadric error metric
31	Hans Meine	Annotated Contraction Kernels for Interactive Image Segmentation.	GbRPR	2009	DBLP DOI BibTeX RDF
31	Fedor V. Fomin, Petr A. Golovach, Dimitrios M. Thilikos	Contraction Bidimensionality: The Accurate Picture.	ESA	2009	DBLP DOI BibTeX RDF
31	Robert Geisberger, Peter Sanders 0001, Dominik Schultes, Daniel Delling	Contraction Hierarchies: Faster and Simpler Hierarchical Routing in Road Networks.	WEA	2008	DBLP DOI BibTeX RDF
31	Jin-Myung Won, Fakhreddine Karray	A Genetic Algorithm with cycle representation and contraction digraph model for Guideway Network design of Personal Rapid Transit.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
31	Hai Vu, Tomio Echigo, Ryusuke Sagawa, Keiko Yagi, Masatsugu Shiba, Kazuhide Higuchi, Tetsuo Arakawa, Yasushi Yagi	Contraction Detection in Small Bowel from an Image Sequence of Wireless Capsule Endoscopy.	MICCAI (1)	2007	DBLP DOI BibTeX RDF
31	Nazha Selmaoui	Algorithm for Crest Detection Based on Graph Contraction.	IbPRIA (2)	2005	DBLP DOI BibTeX RDF
31	Mohua Banerjee, Pankaj Singh	Rough Contraction Through Partial Meets.	PReMI	2005	DBLP DOI BibTeX RDF
31	Seonju Ahn, Shinji Ozawa	Generating facial expressions based on estimation of muscular contraction parameters from facial feature points.	SMC (1)	2004	DBLP DOI BibTeX RDF
31	Avan Suinesiaputra, Mehmet Üzümcü, Alejandro F. Frangi, T. A. M. Kaandorp, Johan H. C. Reiber, Boudewijn P. F. Lelieveldt	Detecting Regional Abnormal Cardiac Contraction in Short-Axis MR Images Using Independent Component Analysis.	MICCAI (1)	2004	DBLP DOI BibTeX RDF
31	Lee Flax	An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment.	JELIA	2004	DBLP DOI BibTeX RDF
31	John Ng, Dattatraya Kulkarni, Wei Li 0015, Robert Cox, Scott Bobholz	Inter-Procedural Loop Fusion, Array Contraction and Rotation.	IEEE PACT	2003	DBLP DOI BibTeX RDF
31	Geoff Pike, Paul N. Hilfinger	Better tiling and array contraction for compiling scientific programs.	SC	2002	DBLP DOI BibTeX RDF
31	Roman Englert, Walter G. Kropatsch	Image Structure from Monotonic Dual Graph Contraction.	AGTIVE	1999	DBLP DOI BibTeX RDF
31	E. Christopher Lewis, Calvin Lin, Lawrence Snyder	The Implementation and Evaluation of Fusion and Contraction in Array Languages.	PLDI	1998	DBLP DOI BibTeX RDF	Concurrent C
31	Maria Paola Bonacina	Analysis of Distributed-Search Contraction-Based Strategies.	JELIA	1998	DBLP DOI BibTeX RDF
31	Roderic A. Girle	Tableaux for Expansion and Contraction.	PRICAI	1996	DBLP DOI BibTeX RDF	belief revision, tableaux, paraconsistency
31	Tse-Sun Chow, Harold Willis Milnes	Boundary Contraction Solution of Laplace's Differential Equation II.	J. ACM	1960	DBLP DOI BibTeX RDF
30	Kemal Aydin, Rustu Murat Demirer, Coskun Bayrak	Use of Hilbert Huang Transform in Uterine Contraction Analysis.	BIBE	2010	DBLP DOI BibTeX RDF	HHT, MMG, Uterine Contraction, EMD
30	Junjie Cao 0001, Andrea Tagliasacchi, Matt Olson, Hao Zhang 0002, Zhixun Su	Point Cloud Skeletons via Laplacian Based Contraction.	Shape Modeling International	2010	DBLP DOI BibTeX RDF	topology repair, surface reconstruction, contraction, point cloud, laplacian, curve skeleton
30	C. T. Kelley	Contraction-Mapping.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Contraction mapping, Iterative method, Linear equations, Integral equations, Nonlinear equations
30	István Juhos, Jano I. van Hemert	Contraction-Based Heuristics to Improve the Efficiency of Algorithms Solving the Graph Colouring Problem.	Recent Advances in Evolutionary Computation for Combinatorial Optimization	2008	DBLP DOI BibTeX RDF	Graph Contraction, Evolutionary Computation, Heuristics, Graph Colouring, Graph Representation, Graph Homomorphisms
30	Nathan T. Folwell, Scott A. Mitchell	Reliable Whisker Weaving via Curve Contraction.	Eng. Comput.	1999	DBLP DOI BibTeX RDF	Curve contraction, Topology, Mesh generation, Hexahedra, Advancing front
27	Mitsuhiro Hayashibe, David Guiraud, Philippe Poignet	EMG-to-force estimation with full-scale physiology based muscle model.	IROS	2009	DBLP DOI BibTeX RDF
27	Nico H. L. Kuijpers, Huub M. M. ten Eikelder, Sander Verheule	Atrial Anatomy Influences Onset and Termination of Atrial Fibrillation: A Computer Model Study.	FIMH	2009	DBLP DOI BibTeX RDF	Atrial anatomy, mechanoelectric feedback, stretch-activated channels, atrial fibrillation
27	Tobias Siebert, Christian Rode, Walter Herzog, Olaf Till, Reinhard Blickhan	Nonlinearities make a difference: comparison of two common Hill-type models with real muscle.	Biol. Cybern.	2008	DBLP DOI BibTeX RDF
27	Zhengbing Bian, Qian-Ping Gu	Computing Branch Decomposition of Large Planar Graphs.	WEA	2008	DBLP DOI BibTeX RDF	computational study, Graph algorithms, planar graphs, algorithm engineering, branch-decomposition
27	Cecilia Laschi, Barbara Mazzolai, Virgilio Mattoli, Matteo Cianchetti, Paolo Dario	Design and Development of a Soft Actuator for a Robot Inspired by the Octopus Arm.	ISER	2008	DBLP DOI BibTeX RDF
27	Hongfeng Xiao, Guanzheng Tan	Two Dimensions Simplex Evolution Algorithm.	CSSE (1)	2008	DBLP DOI BibTeX RDF
27	Michael Günther 0001, Syn Schmitt, Veit Wank	High-frequency oscillations as a consequence of neglected serial damping in Hill-type muscle models.	Biol. Cybern.	2007	DBLP DOI BibTeX RDF
27	Mattias Andersson 0002, Joachim Gudmundsson, Christos Levcopoulos	Restricted Mesh Simplification Using Edge Contractions.	COCOON	2006	DBLP DOI BibTeX RDF
27	Maurice Pagnucco	Knowledge Compilation for Belief Change.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	belief revision and update, common-sense reasoning, knowledge representation and reasoning
27	Jianji Su, Xudong Yuan	Contractible Edges in 7-Connected Graphs.	Graphs Comb.	2005	DBLP DOI BibTeX RDF
27	Qinghua Liu, Malgorzata Marek-Sadowska	Pre-layout Physical Connectivity Prediction with Application in Clustering-Based Placement.	ICCD	2005	DBLP DOI BibTeX RDF
27	Xiaoyang Gao, Sriram Krishnamoorthy, Swarup Kumar Sahoo, Chi-Chung Lam, Gerald Baumgartner, J. Ramanujam, P. Sadayappan	Efficient Search-Space Pruning for Integrated Fusion and Tiling Transformations.	LCPC	2005	DBLP DOI BibTeX RDF
27	Lee Flax	Algebraic Modelling of Some Cognitive Neuropsychology of Schizophrenia.	IEEE ICCI	2004	DBLP DOI BibTeX RDF
27	Mats Blomquist	Braille Contractions in WinBraille.	ICCHP	2002	DBLP DOI BibTeX RDF
27	Mats Blomquist, Per Burman	The WinBraille Approach to Producing Braille Quickly and Effectively.	ICCHP	2002	DBLP DOI BibTeX RDF
27	Roland Glantz, Walter G. Kropatsch	Plane Embedding of Dually Contracted Graphs.	DGCI	2000	DBLP DOI BibTeX RDF
27	Helmut Kofler, Ernst J. Haunschmid, Wilfried N. Gansterer, Christoph W. Ueberhuber	The Locality Property in Topological Irregular Graph Hierarchies.	ACPC	1999	DBLP DOI BibTeX RDF
27	Timothy J. Hickey, Maarten H. van Emden, Huan Wu	A Unified Framework for Interval Constraints and Interval Arithmetic.	CP	1998	DBLP DOI BibTeX RDF
27	Maria Paola Bonacina, Jieh Hsiang	Distributed Deduction by Clause-Diffusion: The Aquarius Prover.	DISCO	1993	DBLP DOI BibTeX RDF
27	Maria Paola Bonacina, Jieh Hsiang	On Fairness of Completion-Based Theorem Proving Strategies.	RTA	1991	DBLP DOI BibTeX RDF
27	Hai H. Nguyen	Belief Revision in a Fact-Rule Agent's Belief Base.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	Rule contraction, Rule-based agents, Belief revision
27	Libor Behounek, Petr Cintula	Features of Mathematical Theories in Formal Fuzzy Logic.	IFSA (1)	2007	DBLP DOI BibTeX RDF	Formal fuzzy logic, axiomatic theories, the law of contraction, graded properties, fuzzy mathematics
27	J. Abdullah, David J. Parish	Node connectivity index as mobility metric for GA based QoS routing in MANET.	Mobility Conference	2007	DBLP DOI BibTeX RDF	contraction and expansion models, node connectivity index, genetic algorithm, performance evaluations, MANET, mobility models, QoS routing
27	Fred J. Vermolen, John A. Adam	A Finite Element Model for Epidermal Wound Healing.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	wound contraction, neo-vascularization, finite elements
27	Christian Herrmann	Erratum: On the Contractions of Vectorial Lattice Representations.	Order	2005	DBLP DOI BibTeX RDF	vectorial lattice representation, complemented lattices, contraction, modular lattices
27	Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone	Knowledge elicitation for query refinement in a semantic-enabled e-marketplace.	ICEC	2005	DBLP DOI BibTeX RDF	concept abduction, concept contraction, semantic web, knowledge management, e-commerce, description logics, matchmaking
27	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
27	Yosi Ben-Asher, Gadi Haber	Parallel Solutions of Simple Indexed Recurrence Equations.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	Ordinary recurrence equations, indexed recurrence equations, pointer jumping, parallel prefix sums, Livermore Loops benchmark, parallelizing compilers, list ranking, tree contraction, Euler tour
27	Yonghong Song, Rong Xu, Cheng Wang 0019, Zhiyuan Li 0001	Data locality enhancement by memory reduction.	ICS	2001	DBLP DOI BibTeX RDF	array contraction, loop shifting, data locality, loop fusion
27	Hiroyuki Honda, Miki Haseyama, Hideo Kitajima, S. Matsumoto	Extension of the Collage Theorem.	ICIP (2)	1997	DBLP DOI BibTeX RDF	collage theorem, fractal image compression, extended collage theorem, IFS algorithm, contraction mappings, data compression, quality, errors, iteration, iterative function system, reconstructed image
27	Ingemar J. Cox, Sébastien Roy 0001, Sunita L. Hingorani	Dynamic histogram warping of image pairs for constant image brightness.	ICIP	1995	DBLP DOI BibTeX RDF	constant image brightness, image pairs, dynamic histogram warping, stereo database revealed, additive/multiplicative models, nonlinear monotonically increasing relationship, expansion matching, contraction matching, histogram specification, image histograms, computer vision, computer vision, image sequences, optical flow, stereo image processing, artifacts, brightness, biases
27	John Esch	Contexts and Concepts, Abstraction Duals.	ICCS	1994	DBLP DOI BibTeX RDF	White Box, Relation Instances, Contexts, Aggregations, Contraction, Concepts, Conceptual Graphs, Expansion, Black Box, Individuals