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 |
|