Search results for "F-compactness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
94	Miin-Shen Yang, Hsu-Shen Tsai	An Alternative Fuzzy Compactness and Separation Clustering Algorithm.	ACIVS	2005	DBLP DOI BibTeX RDF	Fuzzy clustering algorithms, Fuzzy compactness & separation (FCS), Alternative fuzzy compactness & separation (AFCS), Exponential-type distance, Robust, Noise, Fuzzy c-means (FCM)
93	Shi-Zhong Bai, Lei Fan, Wan-Liang Wang	LaTeX Strong-I Nß-Compactness in L-Topological Spaces.	FSKD (1)	2008	DBLP DOI BibTeX RDF
76	Rastislav Kralovic, Branislav Rovan, Peter Ruzicka, Daniel Stefankovic	Efficient Deadlock-Free Multi-dimensional Interval Routing in Interconnection Networks.	DISC	1998	DBLP DOI BibTeX RDF
73	A. Gerlo	Approach Theory in a Category: A Study of Compactness and Hausdorff Separation.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 54B30, 54D10, 54D30, 18B99, 54A05
65	Petr Cintula	Two notions of compactness in Gödel logics.	Stud Logica	2005	DBLP DOI BibTeX RDF	Gödel logic, Logic, Satisfiability, Compactness, Entailment
65	Heinrich Herre	Compactness Properties of Nonmonotonic Inference Operations.	JELIA	1994	DBLP DOI BibTeX RDF	nonmonotonic inference, compactness, model theory
64	G. R. Kishor, Dinesh P. Mital, Wee Leng Goh	Rotation invariant perimeter and invariant compactness for texture elements.	Electronic Technology Directions	1995	DBLP DOI BibTeX RDF
55	Gabriele Castellini, Eraldo Giuli	U-Closure Operators and Compactness.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	faithful functor, compactness, separation, closure operator, factorization structure
54	Jin Uemura, Masako Sato	Compactness and Learning of Classes of Unions of Erasing Regular Pattern Languages.	ALT	2002	DBLP DOI BibTeX RDF
48	Miguel Angel Gutiérrez-Ándrade, Eric Alfredo Rincón García	Redistricting by Square Cells.	MICAI	2009	DBLP DOI BibTeX RDF	Redistricting, Gerrymandering, GIS, Simulated Annealing, Compactness
48	Helmut Thiele	On the Uniqueness of Interpretations for Fuzzy IF-THEN Rule Bases.	Fuzzy Days	2001	DBLP DOI BibTeX RDF	IF-THEN rule bases, uniqueness of interpretations, versions of compactness
46	Nikolay G. Zagoruiko	Measure of Similarity and Compactness in Competitive Space.	IDA	2009	DBLP DOI BibTeX RDF	pattern recognition, similarity measure, informativeness, compactness
46	Alex Hagen-Zanker, Harry J. P. Timmermans	A Metric of Compactness of Urban Change Illustrated to 22 European Countries.	AGILE Conf.	2008	DBLP DOI BibTeX RDF	urban change, CORINE, metric of compactness, spatial patterns, spatial planning
45	Snehashis Roy, Harsh K. Agarwal, Aaron Carass, Ying Bai, Dzung L. Pham, Jerry L. Prince	Fuzzy c-means with variable compactness.	ISBI	2008	DBLP DOI BibTeX RDF
45	Arthur W. Apter	Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03E35, 03E55
45	Masako Sato, Yasuhito Mukouchi, Dao Zheng	Characteristic Sets for Unions of Regular Pattern Languages and Compactness.	ALT	1998	DBLP DOI BibTeX RDF
39	Josef Slapal	F-Net Convergence with Respect to a Closure Operator.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	convergence structure, compactness, separation, net, closure operator, neighborhood
39	Veronica Biazzo, Angelo Gilio	Some Theoretical Properties of Conditional Probability Assessments.	ECSQARU	2005	DBLP DOI BibTeX RDF	Conditional events, theorem of extension, connection, coherence, compactness
38	Qingfeng Huang, Chenyang Lu 0001, Gruia-Catalin Roman	Spatiotemporal multicast in sensor networks.	SenSys	2003	DBLP DOI BibTeX RDF	mobicast, network geometry, spatiotemporal multicast, protocols, wireless ad hoc networks
36	Yi Zhang, Jun Zhang, XingZu Shu, Lei Guo, Yong Shi, XinBo Liu	Optimization of Intelligent Compactness Control Rule of Vibratory Roller Based on Genetic Algorithm Method.	NCM	2009	DBLP DOI BibTeX RDF	intelligent roller, fuzzy control, compactness, GA, CAN bus
36	Bo Chen	F-Compactness in L-closure Spaces.	FSKD (6)	2009	DBLP DOI BibTeX RDF	L-closure space, remote neighborhood family, F-compactness, a-net, r-cover
36	Hua-Peng Zhang, Jin-Xuan Fang	Local N-compactness of Induced I(L)-topological Groups.	FSKD (6)	2009	DBLP DOI BibTeX RDF	L-fuzzy set, L-topological group, N-compactness, L-fuzzy unit interval
35	Victor W. Marek, Jeffrey B. Remmel	Compactness Properties for Stable Semantics of Logic Programs.	LFCS	2007	DBLP DOI BibTeX RDF
35	Nizar Marcus	E-Compactness in Pointfree Topology.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	nearness frames, relatively spatial reflections, E-complete frames, E-compact frames, Cauchy completeness, frames
35	Mojgan Mahmoudi, M. Mehdi Ebrahimi	Purity and Equational Compactness of Projection Algebras.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	projection algebra, pure, equationally compact, s-pure, s-compact, s-injective, pure-essential, equational compact hull, injective hull, complete, sequence
35	José L. Balcázar	The Consistency Dimension, Compactness, and Query Learning.	CSL	1999	DBLP DOI BibTeX RDF
35	John-Jules Ch. Meyer, Erik P. de Vink	Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract).	TAPSOFT, Vol.1	1987	DBLP DOI BibTeX RDF
29	Dongsheng Duan, Yuhua Li 0003, Yanan Jin, Zhengding Lu	Community mining on dynamic weighted directed graphs.	CIKM-CNIKM	2009	DBLP DOI BibTeX RDF	change-point detection, dynamic weighted directed graph, modularity, compactness, community discovery
29	Jialu Zhang 0001, Guojun Wang, Mingdi Hu	Topology on the set of R 0 semantics for R 0 algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	R 0 algebra, R 0 fuzzy topological space, Cut topology, R 0 logic, Compactness property, category, category
29	Iris Loeb	Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem.	CiE	2008	DBLP DOI BibTeX RDF	Intuitionistic Mathematics, Continuity Principle, Compactness Principle, Constructive Mathematics, Reverse Mathematics
29	Laurent Gillard, Laurianne Sitbon, Eric Blaudez, Patrice Bellot, Marc El-Bèze	Relevance Measures for Question Answering, The LIA at QA@CLEF-2006.	CLEF	2006	DBLP DOI BibTeX RDF	Questions beyond factoids, Definition questions, Key Terms density metrics, Multilingual question answering, Question answering, Compactness
29	Arthur W. Apter	Diamond, square, and level by level equivalence.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Supercompact cardinal, Strongly compact cardinal, Strong cardinal, Diamond, Level by level equivalence between strong compactness and supercompactness, Square
29	Sameer Singh 0002	PRISM-A novel framework for pattern recognition.	Pattern Anal. Appl.	2003	DBLP DOI BibTeX RDF	Classification complexity, Hypercuboids, Feature selection, Cells, PRISM, Data compactness
29	Ralph Kopperman	Topological Digital Topology.	DGCI	2003	DBLP DOI BibTeX RDF	general topology, T 0-space, specialization (order), connected ordered topological space (COTS), Alexandroff space, Khalimsky line, digital n-space, metric and polyhedral analogs, chaining maps, calming maps, inverse limit, Hausdorff reflection, skew (=stable) compactness, (graph) path and arc connectedness and components, (topological) adjacency, Jordan curve, robust scene, Digital topology, normalizing maps, cartoon
29	Josef Slapal	Convergence Structures for Categories.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	closure operator for a category, net with respect to a functor, convergence and limit structures for a category, separation and compactness with respect to a convergence structure
29	Eva Lowen-Colebunders, Günther Richter	An Elementary Approach to Exponential Spaces.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	exponential object, quasi local compactness, function spaces
29	Hajime Machida	Finitary Approximations and Metric Structure of the Space of Clones.	ISMVL	1995	DBLP DOI BibTeX RDF	finitary approximations, metric structure, space of clones, multivariable functions, finitary approximation, clone space, metric function, totally boundedness, isolated point, completeness, set theory, compactness, formal logic
29	Toshihide Ibaraki, Tiko Kameda	A Theory of Coteries: Mutual Exclusion in Distributed Systems.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	Boolean variable, Booleanfunction, self-dual functions, three-majority function, binary decomposition, classical Ashenhurst decomposition, distributed systems, distributed processing, Boolean functions, mutual exclusion, compactness, Boolean algebra, binary tree, quorums, tree data structures, coteries
29	Per Lindgren, Rolf Drechsler, Bernd Becker 0001	Minimization of Ordered Pseudo Kronecker Decision Diagrams.	ICCD	2000	DBLP DOI BibTeX RDF
26	Qiang Niu, Shixiong Xia, Lei Zhang 0029	Association Classification Based on Compactness of Rules.	WKDD	2009	DBLP DOI BibTeX RDF
26	Jakub Gismatullin, Ludomir Newelski	G-compactness and groups.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03C60, 22C05, 20F28, 03H05
26	Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic	How to Restore Compactness into Probabilistic Logics?.	JELIA	2008	DBLP DOI BibTeX RDF
26	Miklós Ajtai	Generalizations of the Compactness Theorem and Gödel's Completeness Theorem for Nonstandard Finite Structures.	TAMC	2007	DBLP DOI BibTeX RDF
26	Anneliese Schauerte	Notions of Local Compactness and Smallest Compactifications of Biframes.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06D22 - 06B35 - 06D50 - 54D45 - 54E55 - (03E25, 06E15, 18A40, 54B30, 54D15, 54D30)
26	Mohamed G. Gouda, Alex X. Liu	Firewall Design: Consistency, Completeness, and Compactness.	ICDCS	2004	DBLP DOI BibTeX RDF
26	Mehmet Baran	Compactness, Perfectness, Separation, Minimality and Closedness with Respect to Closure Operators.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	topological category, convergence spaces, limit spaces, compact objects, perfect morphism, closure operator
26	Arthur W. Apter	Aspects of strong compactness, measurability, and indestructibility.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
26	R. N. Bhaumik	On Some Weaker Forms of Fuzzy Compactness.	AFSS	2002	DBLP DOI BibTeX RDF
26	Douglas S. Bridges, Hajime Ishihara, Peter Schuster 0001	Compactness and Continuity, Constructively Revisited.	CSL	2002	DBLP DOI BibTeX RDF
26	Bruce L. Bauslaugh	List-Compactness of Infinite Directed Graphs.	Graphs Comb.	2001	DBLP DOI BibTeX RDF
26	Catherine Achard, Jean Devars, Lionel Lacassagne	Object Image Retrieval with Image Compactness Vectors.	ICPR	2000	DBLP DOI BibTeX RDF
26	Tero Harju, Juhani Karhumäki, Wojciech Plandowski	Compactness of Systems of Equations in Semigroups.	ICALP	1995	DBLP DOI BibTeX RDF
20	John C. Owen, Steve C. Power	Infinite bar-joint frameworks.	SAC	2009	DBLP DOI BibTeX RDF	Kempe linkage, bar-joint framework, infinite equation sets, materials analysis, rigidity matrix, rigidity operator, compactness, geometric constraints
20	Yaxuan Liu, Xiaolei Zhang, Jun Lei, Lei Zhu	Spatial-Temporal Characteristics of Urban Morphology in Xinjiang, China.	ESIAT (2)	2009	DBLP DOI BibTeX RDF	morphological characteristics, growth speed, growth intensity, compactness index, Xinjiang, fractal dimension
20	Carlos Martinez-Ortiz, Jovisa D. Zunic	Measuring Cubeness of 3D Shapes.	CIARP	2009	DBLP DOI BibTeX RDF	compactness measure, image processing, 3D shape
20	Bin Chen	L-fuzzy Generalized Compact Sets.	FSKD (6)	2009	DBLP DOI BibTeX RDF	L-fuzzy topology, generalized fuzzy open sets, fg-compactness, good extension, fuzzy lattice
20	Swapan K. Pandit	On the Use of Compact Streamfunction-Velocity Formulation of Steady Navier-Stokes Equations on Geometries beyond Rectangular.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Incompressible viscous flows, Streamfunction-velocity formulation, Compactness, Navier-Stokes equations, Biharmonic equation
20	Jacek Gwizdka, Ian Spence	Predicting outcomes of web navigation.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	lostness, stratum, compactness, web navigation, path similarity
20	Jacek Gwizdka, Ian Spence	Indirect assessment of web navigation success.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	stratum, compactness, web navigation, path similarity
20	Günther Richter	An Elementary Approach to Exponentiable Maps.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	fibrewise quasi local compactness, fibrewise function spaces, exponentiable maps
20	Martín Hötzel Escardó	Joins in the Frame of Nuclei.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	nuclei, common fixed point, Hofmann-Mislove Theorem, locale, frame, compactness, closure operator
20	P. Morales, F. García Mazarío, Pedro Jiménez Guerra	First Alexandroff Decomposition Theorem for Topological Lattice Group Valued Measures.	Order	2000	DBLP DOI BibTeX RDF	paving, topological lattice group, K-inner regular measure, Alexandroff space, A-compactness, Wallman extension, F-mooth measure, Boolean algebra
20	Miklós Ajtai, Yuri Gurevich	Datalog vs. First-Order Logic	FOCS	1989	DBLP DOI BibTeX RDF	finite structure, first-order languages, first-order expressible datalog query, compactness theorem, first-order logic, bounded
20	James Leslie Keedy	An Instruction Set for Evaluating Expressions.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	stack-based instruction sets, instruction set optimization, memory-to-memory instruction sets, Code compactness, expression evaluation, instruction set design
19	Deepti Joshi, Ashok Samal, Leen-Kiat Soh	Density-based clustering of polygons.	CIDM	2009	DBLP DOI BibTeX RDF
19	Michalis A. Savelonas, Dimitris Maroulis, Dimitrios K. Iakovidis, Nikos Dimitropoulos	Computer-Aided Malignancy Risk Assessment of Nodules in Thyroid US Images Utilizing Boundary Descriptors.	Panhellenic Conference on Informatics	2008	DBLP DOI BibTeX RDF
19	Asli Celikyilmaz, I. Burhan Türksen	New Cluster Validity Index with Fuzzy Functions.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF	improved fuzzy clustering, Cluster validity
19	Yoon-Kwon Hwang, Jungwon Yoon, Jeha Ryu	The Optimum Design of a 6-DOF Parallel Manipulator with Large Orientation Workspace.	ICRA	2007	DBLP DOI BibTeX RDF
19	Peng Li 0001, Lawrence T. Pileggi	Compact reduced-order modeling of weakly nonlinear analog and RF circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
19	Saharon Shelah, Jouko A. Väänänen	A note on extensions of infinitary logic.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF
19	Bernard Zenko, Saso Dzeroski, Jan Struyf	Learning Predictive Clustering Rules.	KDID	2005	DBLP DOI BibTeX RDF
19	Pangfeng Liu, Chun-Chen Hsu, Jan-Jan Wu	I/O Processor Allocation for Mesh Cluster Computers.	ICPADS (1)	2005	DBLP DOI BibTeX RDF
19	Shuicheng Yan, Dong Xu 0001, Benyu Zhang, HongJiang Zhang	Graph Embedding: A General Framework for Dimensionality Reduction.	CVPR (2)	2005	DBLP DOI BibTeX RDF
19	Xavier Caicedo	Definability and automorphisms in abstract logics.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF
19	Qingfeng Huang, Chenyang Lu 0001, Gruia-Catalin Roman	Design and Analysis of Spatiotemporal Multicast Protocols for Wireless Sensor Networks.	Telecommun. Syst.	2004	DBLP DOI BibTeX RDF	mobicast, spatiotemporal multicast, sensor networks, protocol, specification, wireless ad hoc networks
19	Eric Martin 0002, Arun Sharma 0001, Frank Stephan 0001	Learning, Logic, and Topology in a Common Framework.	ALT	2002	DBLP DOI BibTeX RDF
19	Olena Kravchuk, Wayne J. Pullan, John Thornton 0001, Abdul Sattar 0001	An Investigation of Variable Relationships in 3-SAT Problems.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF	Search, Constraints
19	Fernando Jiménez, Antonio Fernandez Gómez-Skarmeta, Johannes A. Roubos, Robert Babuska	Accurate, Transparent, and Compact Fuzzy Models for Function Approximation and Dynamic Modeling through Multi-objective Evolutionary Optimization.	EMO	2001	DBLP DOI BibTeX RDF	Takagi-Sugeno fuzzy model, Pareto optimality, multi-objective evolutionary algorithm
19	Bernd Fischer 0003, Thomas Zöller, Joachim M. Buhmann	Path Based Pairwise Data Clustering with Application to Texture Segmentation.	EMMCVPR	2001	DBLP DOI BibTeX RDF
19	Rami P. Grossberg, Olivier Lessmann	Local order property in nonelementary classes.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
19	Ulrich Kohlenbach	On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems.	CCA	2000	DBLP DOI BibTeX RDF
19	Akihiko Uchibori, Keiichi Miyajima, Yasunari Shidama, Hiroo Yamaura	Optimizing fuzzy logic with genetic algorithm.	KES (2)	1998	DBLP DOI BibTeX RDF
19	Rodrigo A. Botafogo, Ehud Rivlin, Ben Shneiderman	Structural Analysis of Hypertexts: Identifying Hierarchies and Useful Metrics.	ACM Trans. Inf. Syst.	1992	DBLP DOI BibTeX RDF	graph theory, metrics, hypertext, hierarchies, structural analysis
19	Refik Molva, Gene Tsudik, Els Van Herreweghen, Stefano Zatti	KryptoKnight Authentication and Key Distribution System.	ESORICS	1992	DBLP DOI BibTeX RDF
19	Reinhold Heckmann	An Upper Power Domain Construction in Terms of Strongly Compact Sets.	MFPS	1991	DBLP DOI BibTeX RDF
19	Volker Weispfenning	Diamond Formulas in the Dynamic Logic of Recursively Enumerable Programs.	CADE	1986	DBLP DOI BibTeX RDF
16	Yiyan Ma, Guo-Yu Ma, Bo Ai 0001, Ning Wang 0004, Zhangdui Zhong	Orthogonal Time Frequency Code Space Modulation Enabled Multiple Access Under Compactness-Reduced Channel Spreading Function.	IEEE Trans. Wirel. Commun.	2024	DBLP DOI BibTeX RDF
16	Lin Jiang, Jigang Wu, Shuping Zhao, Jiaxing Li, Siyuan Ma	Joint Category Compactness and Disturbance Reduction for Cross-Domain Classification.	IEEE Trans. Instrum. Meas.	2024	DBLP DOI BibTeX RDF
16	Stevo Stevic	Metrical Boundedness and Compactness of a New Operator between Some Spaces of Analytic Functions.	Axioms	2024	DBLP DOI BibTeX RDF
16	Renghao Liang, Qifeng Zhang, Bo He 0001, Lili Li	Visual Representation of the Compactness of a Stephenson-II Six-Bar Linkage Exoskeleton Using Solution Region Synthesis Theory.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
16	Quanquan Yao, Peiyong Zhu	Weak Sensitive Compactness for Linear Operators.	Int. J. Bifurc. Chaos	2024	DBLP DOI BibTeX RDF
16	Sai Yang, Fan Liu 0003, Shaoqiu Zheng, Ying Tan 0002	JLCSR: Joint Learning of Compactness and Separability Representations for Few-Shot Classification.	IEEE Trans. Cogn. Dev. Syst.	2024	DBLP DOI BibTeX RDF
16	Alberto Santini, Enrico Malaguti	The min-Knapsack problem with compactness constraints and applications in statistics.	Eur. J. Oper. Res.	2024	DBLP DOI BibTeX RDF
16	Radek Honzik, Chris Lambie-Hanson, Sárka Stejskalová	Indestructibility of some compactness principles over models of PFA.	Ann. Pure Appl. Log.	2024	DBLP DOI BibTeX RDF
16	Adam Gronowski, William Paul, Fady Alajaji, Bahman Gharesifard, Philippe Burlina	Classification Utility, Fairness, and Compactness via Tunable Information Bottleneck and Rényi Measures.	IEEE Trans. Inf. Forensics Secur.	2024	DBLP DOI BibTeX RDF
16	Marius Durea, Elena-Andreea Florea	Cone-Compactness of a Set and Applications to Set-Equilibrium Problems.	J. Optim. Theory Appl.	2024	DBLP DOI BibTeX RDF
16	Mengdi Zhang, Hao Yang, Qianqi Niu, Xuye Zhang, Jiaan Yang, Jiangbei Lai, Changjiang Fan, Mengwei Li, Chenguang Xin	Combined Displacement and Angle Sensor with Ultra-High Compactness Based on Self-Imaging Effect of Optical Microgratings.	Sensors	2024	DBLP DOI BibTeX RDF
16	Shuai Feng, Pengsheng Jin, Chongjun Wang	CASE: Exploiting Intra-class Compactness and Inter-class Separability of Feature Embeddings for Out-of-Distribution Detection.	AAAI	2024	DBLP DOI BibTeX RDF
16	Jinsong Mao, Hailun Ding, Juan Zhai, Shiqing Ma	Merlin: Multi-tier Optimization of eBPF Code for Performance and Compactness.	ASPLOS (3)	2024	DBLP DOI BibTeX RDF
16	Abner J. Salgado, Ignacio Tomas	Diagonally implicit Runge-Kutta schemes: Discrete energy-balance laws and compactness properties.	J. Num. Math.	2023	DBLP DOI BibTeX RDF