Search results for "uniqueness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Marwan Abi-Antoun, Jonathan Aldrich	Bringing ownership domains to mainstream Java.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	ownership domains, aliasing, encapsulation, uniqueness
20	Mira Kajko-Mattsson, Stefan Britts	A Model of Front-End Pre-Change Corrective Testing.	ICSEA	2006	DBLP DOI BibTeX RDF	Support Line 1 and 2, global problem and solution repository, problem uniqueness, process model
20	Andrew Carvey, James Gouldstone, Pallavi Vedurumudi, Adam Whiton, Hiroshi Ishii 0001	Rubber shark as user interface.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	physical-digital coupling, transient objects, uniqueness of weight, personal, universal, low-cost
20	A. Vasudhara Reddy, S. V. Raghavan	Architecture of Multi Channel Multi Database Voting System.	I3E	2005	DBLP DOI BibTeX RDF	Traditional voting, Online voting, Offline voting, Database synchronization, Voter anonymity, Voter authentication, Vote uniqueness
20	Qianying Wang, Clifford Nass	Less visible and wireless: two experiments on the effects of microphone type on users' performance and perception.	CHI	2005	DBLP DOI BibTeX RDF	device visibility, fluency, output modality, recording reminder, voice I/O, ubiquitous computing, mobility, creativity, flexibility, uniqueness, microphone array, disclosure, wireless device
20	Simon Baker, Terence Sim, Takeo Kanade	When Is the Shape of a Scene Unique Given Its Light-Field: A Fundamental Theorem of 3D Vision?	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	the plenoptic function, stereo, light-fields, uniqueness, shape-from-silhouette, 3D shape reconstruction
20	Christian Michelot, Frank Plastria	An Extended Multifacility Minimax Location Problem Revisited.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF	multifacility location, minimax location, coincidence conditions, uniqueness conditions, continuous location
20	Habib Ammari, Gang Bao	Maxwell's Equations in a Perturbed Periodic Structure.	Adv. Comput. Math.	2002	DBLP DOI BibTeX RDF	perturbed periodic structures, integral representation, existence and uniqueness, near-field optics, Maxwell's equations
20	Jonathan Aldrich, Valentin Kostadinov, Craig Chambers	Alias annotations for program understanding.	OOPSLA	2002	DBLP DOI BibTeX RDF	aliasjava, java, type inference, aliasing, encapsulation, ownership types, uniqueness
20	Ravi Kumar 0001, D. Sivakumar 0001	A Note on the Shortest Lattice Vector Problem.	CCC	1999	DBLP DOI BibTeX RDF	shortest lattice vector, NP-completness, uniqueness
20	Ronen Basri, David W. Jacobs	Recognition Using Region Correspondences.	Int. J. Comput. Vis.	1997	DBLP DOI BibTeX RDF	model, object recognition, occlusion, pose estimation, regions, perspective, uniqueness, affine, three-dimensional, two-dimensional
20	François Baccelli, Serguei Foss	Ergodicity of Jackson-type queueing networks.	Queueing Syst. Theory Appl.	1994	DBLP DOI BibTeX RDF	Ordered directed graph, Euler graphs, Euler ordered directed graph, switching sequence, open Jackson-type queueing network, Euler network, conservation rule, departure and throughput processes, first and second-order ergodic properties, subadditive ergodic theorem, solidarity property, stochastic recursive sequences, stationary solution, coupling-convergence, uniqueness of the stationary regime, composition, decomposition, point processes
16	Keiko Imai, Akitoshi Kawamura, Jirí Matousek 0001, Daniel Reem, Takeshi Tokuyama	Distance k-sectors exist.	SCG	2010	DBLP DOI BibTeX RDF	distance k-sectors, knaster-tarski fixed point theorem
16	David Looney, Danilo P. Mandic	Multiscale Image Fusion Using Complex Extensions of EMD.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
16	Atsushi Nomura, Makoto Ichikawa, Hidetoshi Miike	Reaction-diffusion algorithm for stereo disparity detection.	Mach. Vis. Appl.	2009	DBLP DOI BibTeX RDF	Self-inhibition, Cooperative algorithm, Partial differential equation, Stereo vision, Reaction-diffusion
16	Abhranil Maiti, Patrick Schaumont	Impact and compensation of correlated process variation on ring oscillator based puf.	FPGA	2009	DBLP DOI BibTeX RDF	correlated process variation, physical unclonable function (puf), ring oscillator (ro), fpga
16	Julien Gaugaz, Jakub Zakrzewski 0002, Gianluca Demartini, Wolfgang Nejdl	How to Trace and Revise Identities.	ESWC	2009	DBLP DOI BibTeX RDF
16	Theodore L. Kottas, Yiannis S. Boutalis, Manolis A. Christodoulou	Bilinear Adaptive Parameter Estimation in Fuzzy Cognitive Networks.	ICANN (2)	2009	DBLP DOI BibTeX RDF
16	Tamar Barzuza, Jacques S. Beckmann, Ron Shamir, Itsik Pe'er	Computational Problems in Perfect Phylogeny Haplotyping: Typing without Calling the Allele.	IEEE ACM Trans. Comput. Biol. Bioinform.	2008	DBLP DOI BibTeX RDF	XOR-genotypes, Graph Realization, Haplotypes, Perfect Phylogeny
16	Gesualdo Scutari, Daniel Pérez Palomar, Sergio Barbarossa	Competitive Design of Multiuser MIMO Systems Based on Game Theory: A Unified View.	IEEE J. Sel. Areas Commun.	2008	DBLP DOI BibTeX RDF
16	Lin Chen 0002, Jean Leneutre	A Game Theoretic Framework of Distributed Power and Rate Control in IEEE 802.11 WLANs.	IEEE J. Sel. Areas Commun.	2008	DBLP DOI BibTeX RDF
16	Gesualdo Scutari, Daniel Pérez Palomar, Sergio Barbarossa	Optimal Linear Precoding Strategies for Wideband Noncooperative Systems Based on Game Theory - Part I: Nash Equilibria.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
16	Juan Ignacio Mulero Martínez	Best Approximation of Gaussian Neural Networks With Nodes Uniformly Spaced.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
16	Kotaro Sonoda, Osamu Takizawa	User Authentication Scheme Using Individual Auditory Pop-Out.	New Directions in Intelligent Interactive Multimedia	2008	DBLP DOI BibTeX RDF
16	Ouk Choi, In-So Kweon	Reducing ambiguity in feature point matching by preserving local geometric consistency.	ICIP	2008	DBLP DOI BibTeX RDF
16	Luís Monteiro	A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum.	WADT	2008	DBLP DOI BibTeX RDF
16	Gang Hua 0003, Michael T. Orchard	Image reconstruction from the phase or magnitude of its complex wavelet transform.	ICASSP	2008	DBLP DOI BibTeX RDF
16	P. Thomas Fletcher, Suresh Venkatasubramanian, Sarang C. Joshi	Robust statistics on Riemannian manifolds via the geometric median.	CVPR	2008	DBLP DOI BibTeX RDF
16	Bernhard Kainz, Markus Grabner, Matthias Rüther	Fast Marker Based C-Arm Pose Estimation.	MICCAI (2)	2008	DBLP DOI BibTeX RDF
16	Gürdal Arslan, Mehmet Fatih Demirkol, Yang Song	Equilibrium Efficiency Improvement in MIMO Interference Systems: A Decentralized Stream Control Approach.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
16	Alexander I. Bobenko, Boris Springborn	A Discrete Laplace-Beltrami Operator for Simplicial Surfaces.	Discret. Comput. Geom.	2007	DBLP DOI BibTeX RDF	Laplace operator, Dirichlet energy, Simplicial surfaces, Delaunay triangulation, Discrete differential geometry
16	Hao Zhu	Performance and Equilibrium Analysis of Heterogeneous IEEE 802.11 Based WLANs.	Networking	2007	DBLP DOI BibTeX RDF
16	Orhan Cetinkaya, Ali Doganaksoy	A Practical Verifiable e-Voting Protocol for Large Scale Elections over a Network.	ARES	2007	DBLP DOI BibTeX RDF
16	Harold W. Gutch, Fabian J. Theis	Independent Subspace Analysis Is Unique, Given Irreducibility.	ICA	2007	DBLP DOI BibTeX RDF
16	Cagdas E. Gerede, Kamal Bhattacharya, Jianwen Su	Static Analysis of Business Artifact-centric Operational Models.	SOCA	2007	DBLP DOI BibTeX RDF
16	Guoping Qiu, Xiaodong Gu 0005, Zhibo Chen 0001, Quqing Chen, Charles Wang	An Information Theoretic Model of Spatiotemporal Visual Saliency.	ICME	2007	DBLP DOI BibTeX RDF
16	Yi Deng 0002, Dongdai Lin	Instance-Dependent Verifiable Random Functions and Their Application to Simultaneous Resettability.	EUROCRYPT	2007	DBLP DOI BibTeX RDF	instance-dependent verifiable random functions, simultaneous resettability, zero knowledge
16	Na Li, David Lee	Network Court Protocol and Malicious Node Conviction.	ICNP	2007	DBLP DOI BibTeX RDF
16	Hajime Ishihara	Unique Existence and Computability in Constructive Reverse Mathematics.	CiE	2007	DBLP DOI BibTeX RDF	unique existence, Brouwer’s fan theorem, weak König lemma, computability, constructive mathematics, reverse mathematics
16	Nathanael Ringer, Michael Tehranchi	Optimal portfolio choice in the bond market.	Finance Stochastics	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 60H07, 60H15, 91B28
16	Bruno Codenotti, Luis Rademacher, Kasturi R. Varadarajan	Computing Equilibrium Prices in Exchange Economies with Tax Distortions.	ICALP (1)	2006	DBLP DOI BibTeX RDF
16	Seongseob Hwang, Hyoungjoo Lee, Sungzoon Cho	Improving Authentication Accuracy of Unfamiliar Passwords with Pauses and Cues for Keystroke Dynamics-Based Authentication.	WISI	2006	DBLP DOI BibTeX RDF
16	Debessay Fesehaye Kassa, Sabine Wittevrongel	Convergence of the Fixed Point Algorithm of Analytical Models of Reliable Internet Protocols (TCP).	International Conference on Computational Science (4)	2006	DBLP DOI BibTeX RDF
16	Hans Cuypers	A Note on the Tight Spherical 7-Design in R23 and 5-Design in R7*.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF
16	Abhijit S. Ogale, Yiannis Aloimonos	Shape and the Stereo Correspondence Problem.	Int. J. Comput. Vis.	2005	DBLP DOI BibTeX RDF
16	Zena M. Ariola, Stefan Blom	Skew and omega-Skew Confluence and Abstract Böhm Semantics.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
16	Amal J. Ahmed 0001, Matthew Fluet, Greg Morrisett	A step-indexed model of substructural state.	ICFP	2005	DBLP DOI BibTeX RDF	mutable references, stepindexed model, substructural type system
16	Giusi Castiglione, Andrea Frosini, Antonio Restivo, Simone Rinaldi	A Tomographical Characterization of L-Convex Polyominoes.	DGCI	2005	DBLP DOI BibTeX RDF
16	Harold N. Ward	A Sequence of Unique Quaternary Griesmer Codes.	Des. Codes Cryptogr.	2004	DBLP DOI BibTeX RDF	Hermitian form, divisible code, MacWilliams identities, residual code, Griesmer bound, quaternary code
16	Gerard Beenen, Kimberly S. Ling, Xiaoqing Wang, Klarissa Chang, Dan Frankowski, Paul Resnick, Robert E. Kraut	Using social psychology to motivate contributions to online communities.	CSCW	2004	DBLP DOI BibTeX RDF	empirical methods-quantitative, virtual community/community computing, user studies, usability testing and evaluation, social computing and social navigation, social and legal issues
16	Tetsuji Haga, Kazuhiko Sumi, Yasushi Yagi	Human Detection in Outdoor Scene using Spatio-Temporal Motion Analysis.	ICPR (4)	2004	DBLP DOI BibTeX RDF
16	Abhijit S. Ogale, Yiannis Aloimonos	Stereo Correspondence with Slanted Surfaces: Critical Implications of Horizontal Slant.	CVPR (1)	2004	DBLP DOI BibTeX RDF
16	Ku Chin Lin	Fast image thresholding by finding the zero(s) of the first derivative of between-class variance.	Mach. Vis. Appl.	2003	DBLP DOI BibTeX RDF
16	David Mendonça, Giampiero E. G. Beroggi, William A. Wallace	Evaluating Support for Improvisation in Simulated Emergency Scenarios.	HICSS	2003	DBLP DOI BibTeX RDF
16	John R. Douceur, Atul Adya, Josh Benaloh, William J. Bolosky, Gideon Yuval	A Secure Directory Service based on Exclusive Encryption.	ACSAC	2002	DBLP DOI BibTeX RDF
16	Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey	Higher-Precision Groundness Analysis.	ICLP	2001	DBLP DOI BibTeX RDF
16	Udo Feldkamp, Sam Saghafi, Wolfgang Banzhaf, Hilmar Rauhe	DNASequencesGenerator: A Program for the Construction of DNA Sequences.	DNA	2001	DBLP DOI BibTeX RDF
16	C. Lawrence Zitnick, Takeo Kanade	A Cooperative Algorithm for Stereo Matching and Occlusion Detection.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	Stereo vision, occlusion detection, 3D vision
16	Jyh-Ching Juang	Stability analysis of Hopfield-type neural networks.	IEEE Trans. Neural Networks	1999	DBLP DOI BibTeX RDF
16	Nicholas J. Macias	The PIG Paradigm: The Design and Use of a Massively Parallel Fine Grained Self-Reconfigurable Infinitely Scalable Architecture.	Evolvable Hardware	1999	DBLP DOI BibTeX RDF
16	Maria Emilia Maietti	About Effective Quotients in Constructive Type Theory.	TYPES	1998	DBLP DOI BibTeX RDF
16	Goh Wee Leng, Dinesh P. Mital	A system for trademark pattern registration and recognition.	KES (3)	1998	DBLP DOI BibTeX RDF
16	Erich Prisner	Bicliques in Graphs II: Recognizing k-Path Graphs and Underlying Graphs of Line Digraphs.	WG	1997	DBLP DOI BibTeX RDF
16	Jun Yang, Dili Zhang, Noboru Ohnishi, Noboru Sugie	Determining a Polyhedral Shape Using Interreflections.	CVPR	1997	DBLP DOI BibTeX RDF	computer vision, shape from shading, shape recovery, polyhedron, interreflections
16	Michael J. Brooks, Wojciech Chojnacki, Ryszard Kozera	Impossible and ambiguous shading patterns.	Int. J. Comput. Vis.	1992	DBLP DOI BibTeX RDF
16	W. Y. L. Chan, C. T. Vuong, M. R. Otp	An Improved Protocol Test Generation Procedure Based on UIOS.	SIGCOMM	1989	DBLP DOI BibTeX RDF
16	Stephanie J. Cammarata, Prasadram Ramachandra, Darrell Shane	Extendeing a Relational Database with Deferred Referential Integrity Checking and Intelligent Joins.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF
16	Krishna R. Pattipati, Michael M. Kostreva, John L. Teele	On The Properties of Approximate Mean Value Analysis Algorithms for Queueing Networks.	SIGMETRICS	1988	DBLP DOI BibTeX RDF
16	Shlomo Moran, Marc Snir, Udi Manber	Applications of Ramsey's Theorem to Decision Tree Complexity	J. ACM	1985	DBLP DOI BibTeX RDF
12	Nidia Obscura Acosta, Alexandru I. Tomescu	Simplicity in Eulerian circuits: Uniqueness and safety.	Inf. Process. Lett.	2024	DBLP DOI BibTeX RDF
12	Luchao Zhang, Xiping Liu, Mei Jia, Zhensheng Yu	Piecewise conformable fractional impulsive differential system with delay: existence, uniqueness and Ulam stability.	J. Appl. Math. Comput.	2024	DBLP DOI BibTeX RDF
12	Faiz Bahaj, Kamal Hiderah	Existence and uniqueness of solutions for perturbed stochastic differential equations with reflected boundary.	Monte Carlo Methods Appl.	2024	DBLP DOI BibTeX RDF
12	Ranjana Kumari, M. Shahbaz Ullah, M. Javed Idrisi	Existence and uniqueness of solution to the system of integral equations in the planar Earth, Sun and satellite system.	Astron. Comput.	2024	DBLP DOI BibTeX RDF
12	Mahdi Mostafazadeh, Sedaghat Shahmorad, Fevzi Erdogan	Existence, uniqueness and blow-up of solutions for generalized auto-convolution Volterra integral equations.	Appl. Math. Comput.	2024	DBLP DOI BibTeX RDF
12	Yujie Gong, Guangwei Yuan, Xia Cui	Analysis on a high accuracy fully implicit solution for strong nonlinear diffusion problem - convergence, stability, and uniqueness.	Appl. Math. Comput.	2024	DBLP DOI BibTeX RDF
12	Youfa Li, Hongfei Wang, Deguang Han	The Uniqueness of Phase Retrieval of Analytic Signals from Very Few STFT Measurements.	Circuits Syst. Signal Process.	2024	DBLP DOI BibTeX RDF
12	Vera Roshchina, Nadezda Sukhorukova, Julien Ugon	Uniqueness of solutions in multivariate Chebyshev approximation problems.	Optim. Lett.	2024	DBLP DOI BibTeX RDF
12	Khellaf Ould Melha, Abdelhamid Mohammed Djaouti, Muhammad Amer Latif, Vaijanath L. Chinchane	Study of Uniqueness and Ulam-Type Stability of Abstract Hadamard Fractional Differential Equations of Sobolev Type via Resolvent Operators.	Axioms	2024	DBLP DOI BibTeX RDF
12	Baltabek Kanguzhin, Bakytbek Koshanov	Criteria for the Uniqueness of a Solution to a Differential-Operator Equation with Non-Degenerate Conditions.	Symmetry	2024	DBLP DOI BibTeX RDF
12	Michael V. Klibanov, Yurii V. Averboukh	Lipschitz Stability Estimate and Uniqueness in the Retrospective Analysis for the Mean Field Games System via Two Carleman Estimates.	SIAM J. Math. Anal.	2024	DBLP DOI BibTeX RDF
12	Tingzhi Cheng, Genggeng Huang, Xianghui Xu	Uniqueness of Nontrivial Solutions for Degenerate Monge-Ampere Equations.	SIAM J. Math. Anal.	2024	DBLP DOI BibTeX RDF
12	Younghun Hong, Sangdon Jin	Uniqueness and Orbital Stability of Standing Waves for the Nonlinear Schrödinger Equation with a Partial Confinement.	SIAM J. Math. Anal.	2024	DBLP DOI BibTeX RDF
12	Zhenshu Wen, Tianyu Shi	Existence and Uniqueness of a Canard Cycle with Cyclicity at Most Two in a Singularly Perturbed Leslie-Gower Predator-Prey Model with Prey Harvesting.	Int. J. Bifurc. Chaos	2024	DBLP DOI BibTeX RDF
12	Chungang Shi	Second-order neutral impulsive stochastic evolution equations with infinite delay: existence, uniqueness and averaging principle.	Int. J. Syst. Sci.	2024	DBLP DOI BibTeX RDF
12	Jialei Li, Xiaodong Liu 0020, Qingxiang Shi	Uniqueness and numerical scheme for spherical shell-structured sources from the far field patterns with at most two frequencies.	J. Comput. Phys.	2024	DBLP DOI BibTeX RDF
12	Alexander L. Gavrilyuk, Sho Suda	Uniqueness of an association scheme related to the Witt design on 11 points.	Des. Codes Cryptogr.	2024	DBLP DOI BibTeX RDF
12	Qian Yu 0001, Yury Polyanskiy	Ising Model on Locally Tree-Like Graphs: Uniqueness of Solutions to Cavity Equations.	IEEE Trans. Inf. Theory	2024	DBLP DOI BibTeX RDF
12	Oana-Silvia Serea, Antoine Tambue, Guy Tsafack	Existence and uniqueness for the solutions of non-autonomous stochastic differential algebraic equations with locally Lipschitz coefficients.	CoRR	2024	DBLP DOI BibTeX RDF
12	Shuai Lu 0002, Jiayi Ding, Wei Gu 0004, Junpeng Zhu, Yijun Xu, Zhaoyang Dong, Zezheng Sun	On the Solution Uniqueness of Data-Driven Modeling of Flexible Loads.	CoRR	2024	DBLP DOI BibTeX RDF
12	Alejandro Parada-Mayorga, Alejandro Ribeiro	Sampling and Uniqueness Sets in Graphon Signal Processing.	CoRR	2024	DBLP DOI BibTeX RDF
12	Charles L. Epstein, Rafe Mazzeo	Solving the Scattering Problem for Open Wave-Guides, III: Radiation Conditions and Uniqueness.	CoRR	2024	DBLP DOI BibTeX RDF
12	Karen Zhou 0001, Alexander A. Meitus, Milo Chase, Grace Wang, Anne Mykland, William Howell, Chenhao Tan	Quantifying the Uniqueness of Donald Trump in Presidential Discourse.	CoRR	2024	DBLP DOI BibTeX RDF
12	Charilaos Efthymiou 0001	Spectral Independence Beyond Uniqueness with. the topological method - An extended view.	CoRR	2024	DBLP DOI BibTeX RDF
12	Pascal Koiran	On the uniqueness and computation of commuting extensions.	CoRR	2024	DBLP DOI BibTeX RDF
12	Antonio Di Pasquale, Johanna Kristin Maria Becker, Andreas Martin Kettner, Mario Paolone	Ensuring Solution Uniqueness in Fixed-Point-Based Harmonic Power Flow Analysis with Converter-Interfaced Resources: Ex-post Conditions.	CoRR	2024	DBLP DOI BibTeX RDF
12	Tianwei Xia, Kai Sun 0001	On Uniqueness of Participation Factors.	CoRR	2024	DBLP DOI BibTeX RDF
12	Mengjie Zhao, Suliang Si, Guanghui Hu	Uniqueness, stability and algorithm for an inverse wave-number-dependent source problems.	CoRR	2024	DBLP DOI BibTeX RDF
12	Mete Seref Ahunbay, Martin Bichler	On the Uniqueness of Bayesian Coarse Correlated Equilibria in Standard First-Price and All-Pay Auctions.	CoRR	2024	DBLP DOI BibTeX RDF
12	Saghar Heidari	A finite element method for pricing of continuous-installment options under a Markov-modulated model: existence, uniqueness, and stability of solutions.	Soft Comput.	2024	DBLP DOI BibTeX RDF
12	Qian Cao, Xiongxiong Bao	Stability and uniqueness of generalized traveling front for non-autonomous Fisher-KPP equations with nonlocal diffusion.	Appl. Math. Lett.	2024	DBLP DOI BibTeX RDF