Search results for "uniqueness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
60	Shin Aida, Marcel Crâsmaru, Kenneth W. Regan, Osamu Watanabe 0001	Games with Uniqueness Properties.	Theory Comput. Syst.	2004	DBLP DOI BibTeX RDF
60	Shin Aida, Marcel Crâsmaru, Kenneth W. Regan, Osamu Watanabe 0001	Games with a Uniqueness Property.	STACS	2002	DBLP DOI BibTeX RDF
56	Sigmund Cherem, Radu Rugina	Uniqueness inference for compile-time object deallocation.	ISMM	2007	DBLP DOI BibTeX RDF	compile-time memory management, individual object deallocation, object destructors, uniqueness inference, program transformations
56	Youngchan Han, Choonwoo Ryu, Jihyun Moon, Hakil Kim, H. Choi	A Study on Evaluating the Uniqueness of Fingerprints Using Statistical Analysis.	ICISC	2004	DBLP DOI BibTeX RDF	Twin, Fingerprint, Family, Uniqueness, Contingency Table, Personal authentication
55	Kin-Keung Ma, Jeffrey S. Foster	Inferring aliasing and encapsulation properties for java.	OOPSLA	2007	DBLP DOI BibTeX RDF	lending, ownership inference, uniqueness inference, uno, java, aliasing, encapsulation, ownership, uniqueness
55	Haixing Zhao, Xueliang Li 0001, Ruying Liu, Chengfu Ye	The Chromaticity of Certain Complete Multipartite Graphs.	Graphs Comb.	2004	DBLP DOI BibTeX RDF	Chromatic uniqueness, Adjoint polynomial, Adjoint uniqueness
52	King-Chu Hung	The generalized uniqueness wavelet descriptor for planar closed curves.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
48	John Cagnol, Catherine Lebiedzik, Richard J. Marchand	A Uniqueness Theorem for a Classical Nonlinear Shallow Shell Model.	Systems, Control, Modeling and Optimization	2006	DBLP DOI BibTeX RDF	Nonlinear shells, weak solutions, uniqueness
48	John Tang Boyland, William Retert	Connecting effects and uniqueness with adoption.	POPL	2005	DBLP DOI BibTeX RDF	adoption, ownership, uniqueness, permissions
48	Vitaliy L. Khizder, Grant E. Weddell	Reasoning about Uniqueness Constraints in Object Relational Databases.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	uniqueness constraints, subsumption algorithms, description logics, Complex objects, object relational databases, semantic query optimization
44	Erik Barendsen, Sjaak Smetsers	Uniqueness Type Inference	PLILP	1995	DBLP DOI BibTeX RDF
40	Pamela J. Ludford, Dan Cosley, Dan Frankowski, Loren G. Terveen	Think different: increasing online community participation using uniqueness and group dissimilarity.	CHI	2004	DBLP DOI BibTeX RDF	recommender systems, similarity, online communities, uniqueness, social psychology
40	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
40	Juyang Weng, Thomas S. Huang, Narendra Ahuja	Motion and Structure from Line Correspondences; Closed-Form Solution, Uniqueness, and Optimization.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	rigid scene, structure parameters, optimization, pattern recognition, pattern recognition, picture processing, picture processing, optimisation, parameter estimation, parameter estimation, sufficient conditions, uniqueness, closed-form solution, motion parameters, necessary conditions, line correspondences
40	Gem-Sun Jason Young, Rama Chellappa	3-D Motion Estimation Using a Sequence of Noisy Stereo Images: Models, Estimation, and Uniqueness Results.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	nondegenerate motion, 3-D motion estimation, noisy stereo images, kinematic model-based approach, constant acceleration translational motion, constant precession rotational motion, bilinear state-space model, 3-D feature points, Cramer-Rao performance bounds, degenerate motions, computer vision, computer vision, parameter estimates, parameter estimation, nonlinear filters, kinematics, uniqueness
40	Dragan Milicev	On the Semantics of Associations and Association Ends in UML.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	association end, Unified Modeling Language (UML), conceptual modeling, model-driven development, Object-oriented modeling, formal semantics, association
40	Hank Chien, William L. Steiger	Some Geometric Lower Bounds.	ISAAC	1995	DBLP DOI BibTeX RDF
36	Jia-Rui Zhang, Shih-Yu Chiu, Leu-Shing Lan	Non-uniqueness of solutions of 1-norm support vector classification in dual form.	IJCNN	2008	DBLP DOI BibTeX RDF
36	Shigeru Furuichi	On uniqueness Theorems for Tsallis entropy and Tsallis relative entropy.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
36	Manami Matsumoto, Masashi Emoto, Masao Mukaidono	Clustering using similarity based on uniqueness measure and its properties.	SMC (1)	2004	DBLP DOI BibTeX RDF
36	Manami Matsumoto, Masashi Emoto, Masao Mukaidono	Similarity based on uniqueness measure in fuzzy information system and its clustering.	SMC (1)	2004	DBLP DOI BibTeX RDF
36	Dave Clarke 0001, Tobias Wrigstad	External Uniqueness Is Unique Enough.	ECOOP	2003	DBLP DOI BibTeX RDF
36	Michael A. Wolfe	A Note on a Uniqueness Theorem for the Second-Derivative Test of Qi.	Reliab. Comput.	2001	DBLP DOI BibTeX RDF
36	K. Nagatou	A Numerical Method to Verify the Elliptic Eigenvalue Problems Including a Uniqueness Property.	Computing	1999	DBLP DOI BibTeX RDF	AMS Subject Classifications: 35P15, 65N25
36	Ed Brinksma	On the Uniqueness of Fixpoints Modulo Observation Congruence.	CONCUR	1992	DBLP DOI BibTeX RDF
35	Jurriaan Hage, Stefan Holdermans, Arie Middelkoop	A generic usage analysis with subeffect qualifiers.	ICFP	2007	DBLP DOI BibTeX RDF	uniqueness typing, type and effect systems, qualified types, sharing analysis
35	Emmanuel Prados, Olivier D. Faugeras, Elisabeth Rouy	Shape from Shading and Viscosity Solutions.	ECCV (2)	2002	DBLP DOI BibTeX RDF	existence and uniqueness of a solution, dynamic programming principle, approximation and numerical schemes, Shape from Shading, viscosity solutions, Hamilton-Jacobi equations
35	Hongchuan Yu, Dejun Wang, Zesheng Tang	Level Set Methods and Image Segmentation.	MIAR	2001	DBLP DOI BibTeX RDF	Existence and uniqueness, Image segmentation, Level set methods, Distance function
35	Viggo Stoltenberg-Hansen, John V. Tucker	Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms.	REX Workshop	1992	DBLP DOI BibTeX RDF	Inverse limits of algebras, ultrametric algebras, infinite systems of equations, existence and uniqueness theorems, synchronous concurrent algorithms, infinitely parallel deterministic systems, streams, domains
32	Yanliang Zhang, Huijuan Jia, Hui Guo	Uniqueness Condition for Nonunitary Joint Diagonalization.	MVHI	2010	DBLP DOI BibTeX RDF	Joint Diagonalization, Uniqueness Condition, Essential Equal, Signal processing, Blind Source Separation(BSS)
32	Hiroaki Kikuchi, Noboru Takagi, Shohachiro Nakanishi, Masao Mukaidono	Uniqueness of Partially Specified Multiple-Valued Kleenean Function.	ISMVL	1995	DBLP DOI BibTeX RDF	partially specified multiple-valued Kleenean function, logic formula, logical connectives, identification problem, fuzzy logic, multivalued logic, uniqueness, necessary and sufficient condition
32	Akitoshi Kawamura, Jirí Matousek 0001, Takeshi Tokuyama	Zone diagrams in Euclidean spaces and in other normed spaces.	SCG	2010	DBLP DOI BibTeX RDF	knaster-tarski fixed point theorem, zone diagrams
28	Venkatesh Ramaiyan, Anurag Kumar 0001, Eitan Altman	Fixed point analysis of single cell IEEE 802.11e WLANs: uniqueness and multistability.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	performance of wireless LANs, saturation throughput analysis of EDCA, short term unfairness
28	Hongbo Zhou, Zhiming Zheng 0001	Generalized criteria for uniqueness of Gibbs measures.	ICPR	2008	DBLP DOI BibTeX RDF
28	Yiannis S. Boutalis, Theodore L. Kottas, Manolis A. Christodoulou	On the existence and uniqueness of solutions for the concept values in Fuzzy Cognitive Maps.	CDC	2008	DBLP DOI BibTeX RDF
28	Giang P. Nguyen, Hans Jørgen Andersen	Uniqueness Filtering for Local Feature Descriptors in Urban Building Recognition.	ICISP	2008	DBLP DOI BibTeX RDF
28	Volker Roth 0001, Bernd Fischer 0003	The Group-Lasso for generalized linear models: uniqueness of solutions and efficient algorithms.	ICML	2008	DBLP DOI BibTeX RDF
28	Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson	Uniqueness Typing Simplified.	IFL	2007	DBLP DOI BibTeX RDF
28	Tetsuo Asano, Jirí Matousek 0001, Takeshi Tokuyama	Zone diagrams: existence, uniqueness and algorithmic challenge.	SODA	2007	DBLP BibTeX RDF
28	Nahum Shimkin	A Survey of Uniqueness Results for Selfish Routing.	NET-COOP	2007	DBLP DOI BibTeX RDF
28	Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson	Uniqueness Typing Redefined.	IFL	2006	DBLP DOI BibTeX RDF
28	Xenophon Zabulis, Georgios Kordelas	Efficient, Precise, and Accurate Utilization of the Uniqueness Constraint in Multi-View Stereo.	3DPVT	2006	DBLP DOI BibTeX RDF
28	Shmuel Onn	Entry Uniqueness in Margined Tables.	Privacy in Statistical Databases	2006	DBLP DOI BibTeX RDF
28	Ian A. Hiskens	Non-uniqueness in Reverse Time of Hybrid System Trajectories.	HSCC	2005	DBLP DOI BibTeX RDF
28	Aditya Abhyankar, Stephanie A. C. Schuckers	Characterization, Similarity Score and Uniqueness Associated with Perspiration Pattern.	AVBPA	2005	DBLP DOI BibTeX RDF
28	Venkatesh Ramaiyan, Anurag Kumar 0001, Eitan Altman	Fixed point analysis of single cell IEEE 802.11e WLANs: uniqueness, multistability and throughput differentiation.	SIGMETRICS	2005	DBLP DOI BibTeX RDF	EDCF analysis, QoS in wireless LANs, performance of wireless LANs, short term unfairness
28	Joachim Biskup, Torsten Polle	Adding inclusion dependencies to an object-oriented data model with uniqueness constraints.	Acta Informatica	2003	DBLP DOI BibTeX RDF
28	R. Baker Kearfott	On Existence and Uniqueness Verification for Non-Smooth Functions.	Reliab. Comput.	2002	DBLP DOI BibTeX RDF
28	Erik Barendsen, Sjaak Smetsers	Conventional and Uniqueness Typing in Graph Rewrite Systems.	FSTTCS	1993	DBLP DOI BibTeX RDF
28	Krishna R. Pattipati, Michael M. Kostreva, John L. Teele	Approximate Mean Value Analysis Algorithms for Queuing Networks: Existence, Uniqueness, and Convergence Results	J. ACM	1990	DBLP DOI BibTeX RDF
27	Lam Quoc Anh, Phan Quoc Khanh	Sensitivity analysis for multivalued quasiequilibrium problems in metric spaces: Hölder continuity of solutions.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Multivalued vector quasiequilibrium problems, Hölder continuity, Solution uniqueness, Quasivariational inequalities, Traffic network problems, Quasioptimization
27	Shuk Ying Ho, Michael J. Davern, Kar Yan Tam	Personalization and choice behavior: the role of personality traits.	Data Base	2008	DBLP DOI BibTeX RDF	choice behavior, need for cognition, need for uniqueness, variety seeking, web personalization, personality traits
27	Chris Skinner	Assessing Disclosure Risk for Record Linkage.	Privacy in Statistical Databases	2008	DBLP DOI BibTeX RDF	misclassification, match, identification, uniqueness, log-linear model
27	K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou	Using Data Groups to Specify and Check Side Effects.	PLDI	2002	DBLP DOI BibTeX RDF	alias confinement, data groups, frame conditions, modifies lists, modular soundness, owner exclusion, pivot uniqueness, verification, side effects
27	Ping Liang, Clifford H. Taubes	Orientation-Based Differential Geometric Representations for Computer Vision Applications.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	orientation-based differential geometric representations, extended Gaussian image, support-function-based representation, generalized Gaussian image, global descriptors, linked data structures, computer vision, computer vision, data structures, image sequences, matching, vectors, uniqueness, invariant properties, storage requirement, smooth surfaces
27	Christoph Schnörr	On Functionals with Greyvalue-Controlled Smoothness Terms for Determining Optical Flow.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	greyvalue-controlled smoothness terms, local motion information, constraint equation, image sequences, optical flow, functionals, uniqueness
27	Xuanli Lisa Xie, Gerardo Beni	A Validity Measure for Fuzzy Clustering.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	fuzzy validity criterion, validity function, fuzzy c-partitions, geometric distance measure, cluster centroids, separation index, computer color vision system, IC wafer defects, pattern recognition, fuzzy clustering, fuzzy set theory, minimisation, uniqueness, color image segmentation
25	Mimi Dai, Susan Friedlander	Uniqueness and Non-Uniqueness Results for Forced Dyadic MHD Models.	J. Nonlinear Sci.	2023	DBLP DOI BibTeX RDF
25	Nadine Bade, Florian Schwarz	(In-)definites, (anti-)uniqueness, and uniqueness expectations.	CogSci	2019	DBLP BibTeX RDF
25	Jaume Llibre, Enrique Ponce, Cláudia Valls	Uniqueness and Non-uniqueness of Limit Cycles for Piecewise Linear Differential Systems with Three Zones and No Symmetry.	J. Nonlinear Sci.	2015	DBLP DOI BibTeX RDF
25	Ignat Domanov, Lieven De Lathauwer	On the Uniqueness of the Canonical Polyadic Decomposition of Third-Order Tensors - Part II: Uniqueness of the Overall Decomposition.	SIAM J. Matrix Anal. Appl.	2013	DBLP DOI BibTeX RDF
25	Ignat Domanov, Lieven De Lathauwer	On the Uniqueness of the Canonical Polyadic Decomposition of Third-Order Tensors - Part I: Basic Results and Uniqueness of One Factor Matrix.	SIAM J. Matrix Anal. Appl.	2013	DBLP DOI BibTeX RDF
25	Fabio Punzo	Uniqueness and non-uniqueness of solutions to quasilinear parabolic equations with a singular coefficient on weighted Riemannian manifolds.	Asymptot. Anal.	2012	DBLP DOI BibTeX RDF
24	Carl Graham, Philippe Robert, Maaike Verloop	Stability Properties of Networks with Interacting TCP Flows.	NET-COOP	2009	DBLP DOI BibTeX RDF
24	Luis Carlos Coronado García, Carlos Hernández-López, Carlos Pérez Leguízamo	Autonomous Decentralized Root Certification Authority System.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
24	Michael A. Wolfe	On a Second Derivative Test due to Qi.	Reliab. Comput.	1998	DBLP DOI BibTeX RDF
24	Ingbert Kupka	Unique Fixpoints in Complete Lattices with Applications to Formal Languages and Semantics.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
20		Uniqueness Constraint.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
20	Michael Karlinger, Millist W. Vincent, Michael Schrefl	Keys in XML: Capturing Identification and Uniqueness.	WISE	2009	DBLP DOI BibTeX RDF	XML, Integrity Constraints, Keys
20	Alberto Fernández 0003, Sergio Gómez	Solving Non-Uniqueness in Agglomerative Hierarchical Clustering Using Multidendrograms.	J. Classif.	2008	DBLP DOI BibTeX RDF	Agglomerative methods, Lance and Williams’ formula, Ties in proximity, Cluster analysis, Hierarchical classification
20	Alfred M. Bruckstein, Michael Elad, Michael Zibulevsky	On the Uniqueness of Nonnegative Sparse Solutions to Underdetermined Systems of Equations.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
20	Yousong Luo	On the uniqueness of solutions of spectral equations.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Comparison principle, Curvature equation, Hessian equation, Spectral function, Viscosity solution
20	Qiong Wei, Yansheng Lu, Qiang Lou	(t, lambda)-Uniqueness: Anonymity Management for Data Publication.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Anonymity Management, data publication
20	Rohit Paravastu, Hanuma Kumar, Vikram Pudi	Uniqueness Mining.	DASFAA	2008	DBLP DOI BibTeX RDF
20	Stephen J. Hegner	Semantic Bijectivity and the Uniqueness of Constant-Complement Updates in the Relational Context.	SDKB	2008	DBLP DOI BibTeX RDF
20	Davrondzhon Gafurov, Einar Snekkenes	Towards understanding the uniqueness of gait biometric.	FG	2008	DBLP DOI BibTeX RDF
20	Tomás Neustupa	Question of Existence and Uniqueness of Solution for Navier-Stokes Equation with Linear "Do-Nothing" Type Boundary Condition on the Outflow.	NAA	2008	DBLP DOI BibTeX RDF
20	Ao Tang, Jiantao Wang, Steven H. Low, Mung Chiang	Equilibrium of heterogeneous congestion control: existence and uniqueness.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	heterogeneous protocols, optimization, congestion control, equilibrium analysis
20	Jan Pieter Zwart, Guido Bakema	Advances in FCO-IM (2): A Shorter Algorithm for Determining Intra Fact Type Uniqueness Constraints.	OTM Workshops (1)	2007	DBLP DOI BibTeX RDF
20	Ingo Feinerer, Gernot Salzer	Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints.	TASE	2007	DBLP DOI BibTeX RDF
20	Jan Eriksson, Visa Koivunen	Complex random vectors and ICA models: identifiability, uniqueness, and separability.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
20	Antonino Morassi, Edi Rosset	Detection of a Rigid Inclusion in an Elastic Body: Uniqueness and Stability.	Systems, Control, Modeling and Optimization	2006	DBLP DOI BibTeX RDF	linearized elasticity, rigid inclusion, inverse problems
20	Philippe Golle	Revisiting the uniqueness of simple demographics in the US population.	WPES	2006	DBLP DOI BibTeX RDF	census data, privacy, anonymity
20	Yiming Chen, Weiwei Wang 0003, Hailian Gui, Lamei Tong, Jie Chen	Existence and Uniqueness Property of the Three-Dimensional Fast Multipole-BEM for Potential Problems.	ICICIC (3)	2006	DBLP DOI BibTeX RDF
20	Inna Mikhailova, Christian Goerick	Conditions of activity bubble uniqueness in dynamic neural fields.	Biol. Cybern.	2005	DBLP DOI BibTeX RDF
20	Paul C. van Oorschot, Stuart G. Stubblebine	Countering Identity Theft Through Digital Uniqueness, Location Cross-Checking, and Funneling.	Financial Cryptography	2005	DBLP DOI BibTeX RDF
20	Qimin Zhang, Chongzhao Han	Existence and Uniqueness of Strong Solutions for Stochastic Age-Dependent Population.	AAIM	2005	DBLP DOI BibTeX RDF
20	Penny Anderson, Frank Pfenning	Verifying Uniqueness in a Logical Framework.	TPHOLs	2004	DBLP DOI BibTeX RDF
20	Mika Sato-Ilic	Fuzzy clustering based weighted principal component analysis for interval-valued data considering uniqueness of clusters.	SMC (3)	2004	DBLP DOI BibTeX RDF
20	Nikhil R. Devanur	The spending constraint model for market equilibrium: algorithmic, existence and uniqueness results.	STOC	2004	DBLP DOI BibTeX RDF
20	Yan Zhang 0003, Yun Bai 0001	The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs.	ISMIS	2003	DBLP DOI BibTeX RDF	Foundation of logic programming, semantics, knowledge representation
20	Luigi Di Stefano, Massimiliano Marchionni, Stefano Mattoccia, Giovanni Neri	Dense Stereo Based on the Uniqueness Constraint.	ICPR (3)	2002	DBLP DOI BibTeX RDF
20	Nedialko S. Nedialkov, Kenneth R. Jackson, John D. Pryce	An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE.	Reliab. Comput.	2001	DBLP DOI BibTeX RDF
20	Vitaliy L. Khizder, David Toman 0001, Grant E. Weddell	On Decidability and Complexity of Description Logics with Uniqueness Constraints.	ICDT	2001	DBLP DOI BibTeX RDF
20	Andrés Fraguela Collar, José J. Oliveros Oliveros, Alexandre Ivánovich Grebénnikov	Uniqueness of Solution of the Inverse Electroencephalographic Problem.	NAA	2000	DBLP DOI BibTeX RDF
20	Paul Dupuis, John Oliensis	Shape from Shading: Provably Convergent Algorithms and Uniqueness Results.	ECCV (2)	1994	DBLP DOI BibTeX RDF
20	Stefan Kahrs	Unlimp, Uniqueness as a Leitmotiv for Implementation.	PLILP	1992	DBLP DOI BibTeX RDF
20	Jean Ponce	Straight homogeneous generalized cylinders: Differential geometry and uniqueness results.	Int. J. Comput. Vis.	1990	DBLP DOI BibTeX RDF
20	François Baccelli, Ki Baek Kim, David R. McDonald	Equilibria of a class of transport equations arising in congestion control.	Queueing Syst. Theory Appl.	2007	DBLP DOI BibTeX RDF	Stationary solutions, Congestion control, PDE, Density, Uniqueness, ODE
20	Peter Müller 0001, Arsenii Rudich	Ownership transfer in universe types.	OOPSLA	2007	DBLP DOI BibTeX RDF	universe types, aliasing, uniqueness, ownership transfer