Search results for "probability-one"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Hai-Jun Su, J. Michael McCarthy, Masha Sosonkina, Layne T. Watson	Algorithm 857: POLSYS_GLP - a parallel general linear product homotopy code for solving polynomial systems of equations.	ACM Trans. Math. Softw.	2006	DBLP DOI BibTeX RDF	Chow-Yorke algorithm, Fortran 95, general linear product, linear product decomposition, probability-one, fixed point, globally convergent, zero, curve tracking, homotopy methods
27	Colin de la Higuera	Learning Stochastic Finite Automata from Experts.	ICGI	1998	DBLP DOI BibTeX RDF	identification with probability one, polynomial learning, stochastic deterministic finite automata, grammatical inference
22	Layne T. Watson	Globally Convergent Homotopy Methods.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Probability-one homotopy, Continuation, Homotopy, Globally convergent, Nonlinear equations
19	Steven M. Wise, Andrew J. Sommese, Layne T. Watson	Algorithm 801: POLSYS_PLP: a partitioned linear product homotopy code for solving polynomial systems of equations.	ACM Trans. Math. Softw.	2000	DBLP DOI BibTeX RDF	m-homogeneous, Chow-Yorke algorithm, partitioned linear product, probability-one, fixed point, globally convergent, Fortran 90, zero, curve tracking, homotopy methods
15	Chen Wang, Chong Jin Ong, Melvyn Sim	Constrained linear system under disturbance feedback: Convergence with probability one.	CDC	2008	DBLP DOI BibTeX RDF
14	Koji Nakano, Stephan Olariu	Uniform Leader Election Protocols for Radio Networks.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	distributed systems, wireless communications, communication protocols, leader election, Radio networks
12	David R. Easterling, Layne T. Watson, Naren Ramakrishnan	Probability-one homotopy methods for constrained clustering.	J. Comput. Appl. Math.	2018	DBLP DOI BibTeX RDF
12	David R. Easterling, Layne T. Watson, Naren Ramakrishnan	An improved probability-one homotopy map for tracking constrained clustering solutions.	SpringSim (HPS)	2015	DBLP BibTeX RDF
12	David R. Easterling, Layne T. Watson, Naren Ramakrishnan	Tracking constrained clustering solutions with a probability-one homotopy map.	SpringSim (HPS)	2014	DBLP BibTeX RDF
12	Layne T. Watson, Stephen C. Billups, John E. Mitchell 0001, David R. Easterling	A Globally Convergent Probability-One Homotopy for Linear Programs with Linear Complementarity Constraints.	SIAM J. Optim.	2013	DBLP DOI BibTeX RDF
12	Michael Sielemann, Francesco Casella, Martin Otter	Robustness of declarative modeling languages: Improvements via probability-one homotopy.	Simul. Model. Pract. Theory	2013	DBLP DOI BibTeX RDF
12	David R. Easterling, Mahmud Shahriar Hossain, Layne T. Watson, Naren Ramakrishnan	Probability-one homotopy maps for tracking constrained clustering solutions.	SpringSim (HPC)	2013	DBLP BibTeX RDF
12	Hussain Alazki, Alex Poznyak	Robust stochastic tracking for discrete-time models: designing of ellipsoid where random trajectories converge with probability one.	Int. J. Syst. Sci.	2012	DBLP DOI BibTeX RDF
12	Chao Yan 0001, Mark R. Greenstreet	Oscillator verification with probability one.	FMCAD	2012	DBLP BibTeX RDF
12	Kapil Ahuja, Layne T. Watson, Stephen C. Billups	Probability-one homotopy maps for mixed complementarity problems.	Comput. Optim. Appl.	2008	DBLP DOI BibTeX RDF
12	Z. H. Liu, W. Q. Zhu	Asymptotic Lyapunov stability with probability one of quasi-integrable Hamiltonian systems with delayed feedback control.	Autom.	2008	DBLP DOI BibTeX RDF
12	Joel David Hamkins, Alexei Miasnikov	The Halting Problem Is Decidable on a Set of Asymptotic Probability One.	Notre Dame J. Formal Log.	2006	DBLP DOI BibTeX RDF
12	Colin de la Higuera, José Oncina	Identification with Probability One of Stochastic Deterministic Linear Languages.	ALT	2003	DBLP DOI BibTeX RDF
12	Stephen C. Billups, Layne T. Watson	A Probability-One Homotopy Algorithm for Nonsmooth Equations and Mixed Complementarity Problems.	SIAM J. Optim.	2002	DBLP DOI BibTeX RDF
12	Layne T. Watson	Theory of Globally Convergent Probability-One Homotopies for Nonlinear Programming.	SIAM J. Optim.	2001	DBLP DOI BibTeX RDF
12	Yu William Wang, Dennis S. Bernstein, Layne T. Watson	Probability-one homotopy algorithms for solving the coupled Lyapunov equations arising in reduced-order H2/H∞ modeling, estimation, and control.	Appl. Math. Comput.	2001	DBLP DOI BibTeX RDF
12	Colin de la Higuera, Franck Thollard	Identification in the Limit with Probability One of Stochastic Deterministic Finite Automata.	ICGI	2000	DBLP DOI BibTeX RDF
12	Jin-yi Cai	With Probability One, a Random Oracle Separates PSPACE from the Polynomial-Time Hierarchy.	J. Comput. Syst. Sci.	1989	DBLP DOI BibTeX RDF
12	Jin-yi Cai	Probability One Separation of the Boolean Hierarchy.	STACS	1987	DBLP DOI BibTeX RDF
12	Jin-yi Cai	With Probability One, A Random Oracle Separates PSPACE from the Polynomial-Time Hierarchy	STOC	1986	DBLP DOI BibTeX RDF
12	Jin-yi Cai	With Probability One, A Random Oracle Separates PSPACE from the Polynomial- Time Hierarchy.	SCT	1986	DBLP DOI BibTeX RDF
12	J. H. Halton, Routo Terada	A Fast Algorithm for the Euclidean Traveling Salesman Problem, Optimal with Probability One.	SIAM J. Comput.	1982	DBLP DOI BibTeX RDF
11	Annabelle McIver, Carroll Morgan, Thai Son Hoang	Probabilistic Termination in B.	ZB	2003	DBLP DOI BibTeX RDF
11	Yi Sun	Local Maximum Likelihood Multiuser Detection for CDMA Communications.	ITCC	2001	DBLP DOI BibTeX RDF
10	Kingo Kobayashi, Hiroyoshi Morita, Mamoru Hoshi	Percolation on a k-Ary Tree.	GTIT-C	2006	DBLP DOI BibTeX RDF
10	Alexander Moshe Rabinovich	Quantitative Analysis of Probabilistic Lossy Channel Systems.	ICALP	2003	DBLP DOI BibTeX RDF
9	Liaoruo Wang, Benyuan Liu, Dennis Goeckel, Donald F. Towsley, Cédric Westphal	Connectivity in cooperative wireless ad hoc networks.	MobiHoc	2008	DBLP DOI BibTeX RDF	physical layer cooperation, transmit power, ad hoc networks, wireless networks, connectivity, percolation
9	Vidyut Naware, Gökhan Mergen, Lang Tong	Stability and delay of finite-user slotted ALOHA with multipacket reception.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
8	Matteo Frigo, Volker Strumpen	The Cache Complexity of Multithreaded Cache Oblivious Algorithms.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Multithreading, Cache oblivious algorithms, Stencil computations
8	Shyam Kapur, Gianfranco Bilardi	Language Learning from Stochastic Input.	COLT	1992	DBLP DOI BibTeX RDF
8	Dmitry M. Malioutov, Sujay Sanghavi, Alan S. Willsky	Compressed sensing with sequential observations.	ICASSP	2008	DBLP DOI BibTeX RDF
8	Parosh Aziz Abdulla, Alexander Moshe Rabinovich	Verification of Probabilistic Systems with Faulty Communication.	FoSSaCS	2003	DBLP DOI BibTeX RDF
7	Cristina G. Fernandes, Till Nierhoff	The UPS Problem.	STACS	2001	DBLP DOI BibTeX RDF
6	Feng Xue, Panganamala R. Kumar	The Number of Neighbors Needed for Connectivity of Wireless Networks.	Wirel. Networks	2004	DBLP DOI BibTeX RDF	transmission range control, ad hoc networks, wireless networks, connectivity
6	Lothar M. Schmitt	Classification with Scaled Genetic Algorithms in a Coevolutionary Setting.	GECCO (2)	2004	DBLP DOI BibTeX RDF
6	Heiner Ackermann, Paul W. Goldberg, Vahab S. Mirrokni, Heiko Röglin, Berthold Vöcking	Uncoordinated two-sided matching markets.	EC	2008	DBLP DOI BibTeX RDF	better/best response dynamics, algorithmic game theory, stable marriage problem
6	Güzin Bayraksan, David P. Morton	Sequential sampling for solving stochastic programs.	WSC	2007	DBLP DOI BibTeX RDF
6	Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Edmund M. Clarke	ProbVerus: Probabilistic Symbolic Model Checking.	ARTS	1999	DBLP DOI BibTeX RDF
6	Clifford Sze-Tsan Choy, Wan-Chi Siu	A class of competitive learning models which avoids neuron underutilization problem.	IEEE Trans. Neural Networks	1998	DBLP DOI BibTeX RDF
5	Vidyut Naware, Lang Tong	Cross Layer Design for Multiaccess Communication Over Rayleigh Fading Channels.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
5	Hiroki Koga	Coding Theorems on the Threshold Scheme for a General Source.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
5	Oualid Chaker, Jean Conan	An achievable capacity for hierarchical multicast ad hoc networks.	PIMRC	2008	DBLP DOI BibTeX RDF
5	Joni-Kristian Kamarainen, Miroslav Hamouz, Josef Kittler, Pekka Paalanen, Jarmo Ilonen, Alexander Drobchenko	Object Localisation Using Generative Probability Model for Spatial Constellation and Local Image Features.	ICCV	2007	DBLP DOI BibTeX RDF
5	François Denis, Amaury Habrard	Learning Rational Stochastic Tree Languages.	ALT	2007	DBLP DOI BibTeX RDF
5	Wolfgang Trutschnig	Fuzzy Probability Distributions Induced by Fuzzy Random Vectors.	SMPS	2006	DBLP DOI BibTeX RDF
5	Jie Luo 0001, Sennur Ulukus, Anthony Ephremides	Standard and quasi-standard stochastic power control algorithms.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
5	Tomás Prieto-Rumeau	Estimation of an optimal solution of a LP problem with unknown objective function.	Math. Program.	2004	DBLP DOI BibTeX RDF
5	François Denis, Yann Esposito	Learning Classes of Probabilistic Automata.	COLT	2004	DBLP DOI BibTeX RDF
5	Csaba Szepesvári, William D. Smart	Interpolation-based Q-learning.	ICML	2004	DBLP DOI BibTeX RDF
5	Prahladh Harsha, Madhu Sudan 0001	Small PCPs with Low Query Complexity.	STACS	2001	DBLP DOI BibTeX RDF
5	Lars R. Knudsen, Matthew J. B. Robshaw, David A. Wagner 0001	Truncated Differentials and Skipjack.	CRYPTO	1999	DBLP DOI BibTeX RDF
5	Daniel Lehmann 0001, Saharon Shelah	Reasoning with Time and Chance (Extended Abstract).	ICALP	1983	DBLP DOI BibTeX RDF
4	Masahiro Kumabe, Toshio Suzuki, Takeshi Yamazaki	Does truth-table of linear norm reduce the one-query tautologies to a random oracle?	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68Q15, 03D15
4	Francesco Buscemi	Irreversibility of Entanglement Loss.	TQC	2008	DBLP DOI BibTeX RDF
4	Jan Poland, Marcus Hutter	MDL convergence speed for Bernoulli sequences.	Stat. Comput.	2006	DBLP DOI BibTeX RDF
3	Giampaolo Liuzzi, Stefano Lucidi, Veronica Piccialli, Antonello Sotgiu	A magnetic resonance device designed via global optimization techniques.	Math. Program.	2004	DBLP DOI BibTeX RDF	Derivative free methods, Simulated annealing, Global optimization, Magnetic Resonance Imaging
3	Jan Poland, Marcus Hutter	On the Convergence Speed of MDL Predictions for Bernoulli Sequences.	ALT	2004	DBLP DOI BibTeX RDF
3	Zhijian Yuan, Erkki Oja	A FastICA Algorithm for Non-negative Independent Component Analysis.	ICA	2004	DBLP DOI BibTeX RDF
3	Serdar Boztas	Fair Noiseless Broadcast Source Coding.	ISCC	2003	DBLP DOI BibTeX RDF
3	Kazuo Iwama, Akinori Kawachi, Shigeru Yamashita	Quantum Sampling for Balanced Allocations.	COCOON	2003	DBLP DOI BibTeX RDF
3	Hsu-Chun Yen	Analysis of Self-Stabilization for Infinite-State Systems.	ICECCS	2001	DBLP DOI BibTeX RDF	Petri net, self-stabilization, Decidability, infinite-state system
3	John A. Flanagan	Self-Organization in the SOM and Lebesque Continuity of the Input Distribution.	IJCNN (6)	2000	DBLP DOI BibTeX RDF
3	Yuh-Jzer Joung, Scott A. Smolka	Strong Interaction Fairness Via Randomization.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	strong interaction fairness, weak interaction fairness, committee coordination, distributed algorithms, Randomized algorithms, multiparty interaction
3	Robert C. Melville, Ljiljana Trajkovic, San-Chin Fang, Layne T. Watson	Artificial parameter homotopy methods for the DC operating point problem.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
3	Sheelagh Lloyd	Counting Functions Satisfying a Higher Order Strict Avalanche Criterion.	EUROCRYPT	1989	DBLP DOI BibTeX RDF
3	Daniel Lehmann 0001, Michael O. Rabin	On the Advantages of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem.	POPL	1981	DBLP DOI BibTeX RDF
3	Shihao Ji, Layne T. Watson, Lawrence Carin	Semisupervised Learning of Hidden Markov Models via a Homotopy Method.	IEEE Trans. Pattern Anal. Mach. Intell.	2009	DBLP DOI BibTeX RDF
3	Mathilde Bouvel, Cédric Chauve, Marni Mishna, Dominique Rossin	Average-Case Analysis of Perfect Sorting by Reversals.	CPM	2009	DBLP DOI BibTeX RDF
3	Mingming Zhang, Shuguang Zhao, Xu Wang	A novel sexual adaptive genetic algorithm based on two-step evolutionary scenario of baldwin effect and analysis of global convergence.	GEC Summit	2009	DBLP DOI BibTeX RDF	sexual reproduction, genetic algorithm, adaptation, global convergence, niche, baldwin effect
3	Cameron E. Freer, Daniel M. Roy 0001	Computable Exchangeable Sequences Have Computable de Finetti Measures.	CiE	2009	DBLP DOI BibTeX RDF	de Finetti, computable probability theory, probabilistic programming languages, mutation, exchangeability
3	Markus Mueller	Strongly Universal Quantum Turing Machines and Invariance of Kolmogorov Complexity.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
3	Junshan Zhang, Dong Zheng 0004, Mung Chiang	The Impact of Stochastic Noisy Feedback on Distributed Network Utility Maximization.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
3	Tsung-Hui Chang, Wing-Kin Ma, Chong-Yung Chi	Maximum-Likelihood Detection of Orthogonal Space-Time Block Coded OFDM in Unknown Block Fading Channels.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
3	François Denis, Édouard Gilbert, Amaury Habrard, Faissal Ouardi, Marc Tommasi	Relevant Representations for the Inference of Rational Stochastic Tree Languages.	ICGI	2008	DBLP DOI BibTeX RDF
3	Minyi Huang	Convergence rate for stochastic consensus algorithms with time-varying noise statistics: Asymptotic normality.	CDC	2008	DBLP DOI BibTeX RDF
3	Nevio Dubbini, Benedetto Piccoli, Antonio Bicchi	Left invertibility of discrete systems with finite inputs and quantized output.	CDC	2008	DBLP DOI BibTeX RDF
3	Stefano Battilotti	State estimation of nonlinear systems with Markov state reset.	CDC	2008	DBLP DOI BibTeX RDF
3	Julio César Hernández Castro, Juan M. Estévez-Tapiador, Jean-Jacques Quisquater	On the Salsa20 Core Function.	FSE	2008	DBLP DOI BibTeX RDF	Salsa20, cryptanalysis, hash function, collision
3	Rena Bakhshi, Wan J. Fokkink, Jun Pang 0001, Jaco van de Pol	Leader Election in Anonymous Rings: Franklin Goes Probabilistic.	IFIP TCS	2008	DBLP DOI BibTeX RDF
3	Joost-Pieter Katoen	Perspectives in Probabilistic Verification.	TASE	2008	DBLP DOI BibTeX RDF
3	Yuping Wang 0003, Chuangyin Dang	An Evolutionary Algorithm for Global Optimization Based on Level-Set Evolution and Latin Squares.	IEEE Trans. Evol. Comput.	2007	DBLP DOI BibTeX RDF
3	Stephen D. Patek	Partially Observed Stochastic Shortest Path Problems With Approximate Solution by Neurodynamic Programming.	IEEE Trans. Syst. Man Cybern. Part A	2007	DBLP DOI BibTeX RDF
3	Marian Codreanu, Markku J. Juntti, Matti Latva-aho	Low-Complexity Iterative Algorithm for Finding the MIMO-OFDM Broadcast Channel Sum Capacity.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
3	Babak Behsaz, Reza Safabakhsh	NEFRL: A New Neuro-Fuzzy System for Episodic Reinforcement Learning Tasks.	FBIT	2007	DBLP DOI BibTeX RDF
3	Roy Timo, Kim L. Blackmore, Leif Hanlen	Strong Stochastic Stability for MANET Mobility Models.	ICON	2007	DBLP DOI BibTeX RDF
3	Ru-Xin Gao, Tianfu Wu 0001, Song Chun Zhu, Nong Sang	Bayesian Inference for Layer Representation with Mixed Markov Random Field.	EMMCVPR	2007	DBLP DOI BibTeX RDF	2.1D Sketch, Contour Completion, Mixed Markov Field, Swendsen-Wang Cut, Bayesian Inference, MCMC, Layer Representation
3	Jaijeet S. Roychowdhury, Robert C. Melville	Delivering global DC convergence for large mixed-signal circuits via homotopy/continuation methods.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
3	Jimin Ye, Xianda Zhang 0001, Xiao-Long Zhu	Blind source separation with unknown and dynamically changing number of source signals.	Sci. China Ser. F Inf. Sci.	2006	DBLP DOI BibTeX RDF	contrast function, neural networks, independent component analysis, mutual information, blind source separation, natural gradient
3	Haixiao Cai, Sanjeev R. Kulkarni, Sergio Verdú	An Algorithm for Universal Lossless Compression With Side Information.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
3	Richard J. Povinelli, Michael T. Johnson, Andrew C. Lindgren, Felice M. Roberts, Jinjin Ye	Statistical models of reconstructed phase spaces for signal classification.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
3	Sigrún Andradóttir	Simulation optimization with countably infinite feasible regions: Efficiency and convergence.	ACM Trans. Model. Comput. Simul.	2006	DBLP DOI BibTeX RDF	Discrete stochastic optimization, almost sure convergence, estimating the optimal solution, random search methods, unequal allocation of effort to solutions, global convergence
3	François Le Gall	Quantum Weakly Nondeterministic Communication Complexity.	MFCS	2006	DBLP DOI BibTeX RDF
3	Yi Shen 0002, Meiqin Liu, Xiaodong Xu	Stochastic Time-Varying Competitive Neural Network Systems.	ISNN (1)	2006	DBLP DOI BibTeX RDF
3	Benjamin W. Wah, Yixin Chen 0001, Andrew Wan	Constrained Global Optimization by Constraint Partitioning and Simulated Annealing.	ICTAI	2006	DBLP DOI BibTeX RDF
3	Miloje S. Radenkovic, Tamal Bose	Blind adaptive equalizer for IIR channels with common zeros.	ISCAS	2006	DBLP DOI BibTeX RDF