Search results for "corollaries"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
90	Yi Lu, Ramesh C. Jain	Behavior of Edges in Scale Space.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	edge behaviour, edge recovery, Laplacian or Gaussian operator, corollaries, artificial intelligence, picture processing, computerised picture processing, computerised pattern recognition, computerised pattern recognition, reasoning, scale space, assertions, complex images
30	Maksim E. Shirokov	Lower semicontinuity of the relative entropy disturbance and its corollaries.	CoRR	2023	DBLP DOI BibTeX RDF
30	Ángel Plaza	Exponential Inequalities and Corollaries.	Am. Math. Mon.	2021	DBLP DOI BibTeX RDF
30	Maksim E. Shirokov	On lower semicontinuity of the quantum conditional mutual information and its corollaries.	CoRR	2020	DBLP BibTeX RDF
30	Angel Plaza	Harmonic, Logarithmic, and Arithmetic Means and Corollaries.	Am. Math. Mon.	2020	DBLP DOI BibTeX RDF
30	He-Wen Wei, Peizhong Lu	Analytical proof to two fundamental corollaries in multidimensional scaling-based localisation.	IET Signal Process.	2019	DBLP DOI BibTeX RDF
30	A. A. Sagdeev	On a Frankl-Rödl theorem and its geometric corollaries.	Electron. Notes Discret. Math.	2017	DBLP DOI BibTeX RDF
30	Edyta Hetmaniok, Mariusz Pleszczynski, Ireneusz Sobstyl, Roman Witula	Kaprekar's transformations. Part II-numerical results and intriguing corollaries.	FedCSIS (Position Papers)	2015	DBLP DOI BibTeX RDF
30	Michael A. Bukatin, Ralph Kopperman, Steve Matthews	Some corollaries of the correspondence between partial metrics and multivalued equalities.	Fuzzy Sets Syst.	2014	DBLP DOI BibTeX RDF
30	Nicholas R. Fischer, Rushikesh Kamalapurkar, Warren E. Dixon	LaSalle-Yoshizawa Corollaries for Nonsmooth Systems.	IEEE Trans. Autom. Control.	2013	DBLP DOI BibTeX RDF
30	Oleksiy Kurgansky	A state of a dynamic computational structure distributed in an environment: a model and its corollaries	CoRR	2010	DBLP BibTeX RDF
30	Oleksiy Kurganskyy	A collective of stateless automata in a $n$-dimensional environment as a distributed dynamic automaton-like object: a model and its corollaries	CoRR	2010	DBLP BibTeX RDF
30	Sangyeun Cho, Rami G. Melhem	Corollaries to Amdahl's Law for Energy.	IEEE Comput. Archit. Lett.	2008	DBLP DOI BibTeX RDF
30	Mingyi Liu, Shaoping Wu, Heiko Walch, Andrei Grigoriev	Exon-domain correlation and its corollaries.	Bioinform.	2005	DBLP DOI BibTeX RDF
30	Pascal Hitzler	Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion	CoRR	2004	DBLP BibTeX RDF
30	Tuvi Keinan	Case Report - I: The Strength of Corollaries Between Domain Name Registration and the Law of Trade Mark and Passing off.	Comput. Law Secur. Rev.	2001	DBLP DOI BibTeX RDF
30	Yu Meng, Debbie A. Niemeier	US double-stack rail technology and infrastructure: corollaries for China.	Int. J. Serv. Technol. Manag.	2000	DBLP DOI BibTeX RDF
30	Thomas Ehrhard	A Relative PCF-Definability Result for Strongly Stable Functions and some Corollaries.	Inf. Comput.	1999	DBLP DOI BibTeX RDF
30	Thomas Ehrhard	A relative PCF-definability result for strongly stable functions and some corollaries.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
30	Felix Lazebnik	Some corollaries of a theorem of Whitney on the chromatic polynomial.	Discret. Math.	1991	DBLP DOI BibTeX RDF
30	John K. Slaney	On the Structure of De Morgan Monoids with Corollaries on Relevant Logic and Theories.	Notre Dame J. Formal Log.	1989	DBLP DOI BibTeX RDF
30	S. D. Haitun	Problems of quantitative analysis of scientific activities: The non-additivity of data. Part II. Corollaries.	Scientometrics	1986	DBLP DOI BibTeX RDF
30	Joseph Almog	Semantical considerations on modal counterfactual logic with corollaries on decidability, completeness, and consistency questions.	Notre Dame J. Formal Log.	1980	DBLP DOI BibTeX RDF
30	Jacob T. Schwartz	Optimization of Very High Level Languages - I. Value Transmission and Its Corollaries.	Comput. Lang.	1976	DBLP DOI BibTeX RDF
30	Nezih C. Geçkinli	Two Corollaries to the Huffman Coding Procedure.	IEEE Trans. Inf. Theory	1975	DBLP DOI BibTeX RDF
27	Igor Aleksander	Artificial Neuroconsciousness an Update.	IWANN	1995	DBLP DOI BibTeX RDF
27	Ivan Damgård	Interactive Hashing can Simplify Zero-Knowledge Protocol Design Without Computational Assumptions (Extended Abstract).	CRYPTO	1993	DBLP DOI BibTeX RDF
13	Biao Wang, YingJue Fang, HongGang Lin, Yi Li	The improved QV signature scheme based on conic curves over Z n .	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	conic curve over ? n, low exponent attacks, KMOV, QV, digital signature, RSA
13	Zhicheng Luo, Igor Devetak	Channel Simulation With Quantum Side Information.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
13	Brendan Nagle, Annika Poerschke, Vojtech Rödl, Mathias Schacht	Hypergraph regularity and quasi-randomness.	SODA	2009	DBLP DOI BibTeX RDF
13	Stanislav Zivný, David A. Cohen, Peter G. Jeavons	The Expressive Power of Binary Submodular Functions.	MFCS	2009	DBLP DOI BibTeX RDF	Decomposition of submodular functions, Pseudo-Boolean optimisation, Submodular function minimisation, Min-Cut
13	Alejandro Cornejo, Nancy A. Lynch	Brief announcement: minimum spanning trees and cone-based topology control.	PODC	2009	DBLP DOI BibTeX RDF	topology control, minimum spanning trees
13	Oleg V. Kudinov, Victor L. Selivanov	A Gandy Theorem for Abstract Structures and Applications to First-Order Definability.	CiE	2009	DBLP DOI BibTeX RDF	Gandy theorem, least fixed point, biinterpretability, labeled forest, h-quasiorder, definability
13	Qi Luo, Feiqi Deng, Xuerong Mao, Jundong Bao, Yu-Tian Zhang	Theory and application of stability for stochastic reaction diffusion systems.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	stochastic reaction diffusion system, stability in probability, asymptotic stability in probability, exponential stability in mean square
13	Chong Lin, Qing-Guo Wang, Tong Heng Lee, Bing Chen 0001	H∞ Filter Design for Nonlinear Systems With Time-Delay Through T-S Fuzzy Model Approach.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
13	Murdoch James Gabbay, Aad Mathijssen	Capture-avoiding substitution as a nominal algebra.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Nominal techniques, Nominal algebra, Capture-avoidance, Nominal rewriting, Omega-completeness, Binding, Substitution
13	Bo Liu 0009, Tianping Chen	Consensus in Networks of Multiagents With Cooperation and Competition Via Stochastically Switching Topologies.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
13	Ioannis Caragiannis	Better bounds for online load balancing on unrelated machines.	SODA	2008	DBLP BibTeX RDF
13	Grant Schoenebeck	Linear Level Lasserre Lower Bounds for Certain k-CSPs.	FOCS	2008	DBLP DOI BibTeX RDF
13	Avrim Blum, MohammadTaghi Hajiaghayi, Katrina Ligett, Aaron Roth 0001	Regret minimization and the price of total anarchy.	STOC	2008	DBLP DOI BibTeX RDF	nash equilibria, algorithmic game theory, regret minimization
13	Lap Chi Lau, Mohit Singh	Additive approximation for bounded degree survivable network design.	STOC	2008	DBLP DOI BibTeX RDF	approximation algorithms, steiner tree, bounded degree, iterative rounding, survivable network design
13	Manoj Prabhakaran 0001, Mike Rosulek	Cryptographic Complexity of Multi-Party Computation Problems: Classifications and Separations.	CRYPTO	2008	DBLP DOI BibTeX RDF
13	Amine Maaref, Sonia Aïssa	Joint and Marginal Eigenvalue Distributions of (Non)Central Complex Wishart Matrices and PDF-Based Approach for Characterizing the Capacity Statistics of MIMO Ricean and Rayleigh Fading Channels.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
13	Weiguo Yang, Zhongxing Ye	The Asymptotic Equipartition Property for Nonhomogeneous Markov Chains Indexed by a Homogeneous Tree.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
13	Sundeep B, Andrew Thangaraj	Self-Orthogonality of q-Ary Images of qm-Ary Codes and Quantum Code Construction.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
13	Deepti Chafekar, V. S. Anil Kumar 0001, Madhav V. Marathe, Srinivasan Parthasarathy 0002, Aravind Srinivasan	Cross-layer latency minimization in wireless networks with SINR constraints.	MobiHoc	2007	DBLP DOI BibTeX RDF	SINR model, end-to-end scheduling, wireless networks, interference, cross-layer design
13	Kilho Shin, Tetsuji Kuboyama	Polynomial Summaries of Positive Semidefinite Kernels.	ALT	2007	DBLP DOI BibTeX RDF
13	Tsung-Chu Huang, Gau-Bin Chang, Ling Li	Congruence Synchronous Mirror Delay.	ISCAS	2007	DBLP DOI BibTeX RDF
13	Karthick Sankarachary	XML Data Compatibility from the Ground Up.	RuleML	2007	DBLP DOI BibTeX RDF
13	Oleg V. Kudinov, Victor L. Selivanov	Definability in the Homomorphic Quasiorder of Finite Labeled Forests.	CiE	2007	DBLP DOI BibTeX RDF	homomorphic quasiorder, atomic structure, definability, forest, automorphism, Labeled tree
13	Anatoli Degtyarev, Michael Fisher 0001, Boris Konev	Monodic temporal resolution.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Temporal logic, resolution, automated theorem proving
13	Avrim Blum, Tuomas Sandholm, Martin Zinkevich	Online algorithms for market clearing.	J. ACM	2006	DBLP DOI BibTeX RDF	online algorithms, Competitive analysis, exchanges, double auctions
13	Liying Zhu, Yuzhen Wang	Study on the stability of switched dissipative Hamiltonian systems.	Sci. China Ser. F Inf. Sci.	2006	DBLP DOI BibTeX RDF	switched Hamiltonian system, multiple-Lyapunov functions, dissipative structure, sufficient condition, asymptotical stability
13	Roland Sh. Omanadze, Andrea Sorbi	Strong Enumeration Reducibilities.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03D30
13	M. A. Weffers-Albu, Johan J. Lukkien, Elisabet F. M. Steffens, P. D. V. van der Stok	On a Theory of Media Processing Systems Behavior, with Applications.	ECRTS	2006	DBLP DOI BibTeX RDF
13	Varadraj Prabhu Gurupur, Urcun John Tanik	Software cultivation using the artificial intelligence design framework.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF
13	Yee-Lin Lai, Kai Lung Hui	Internet opt-in and opt-out: investigating the roles of frames, defaults and privacy concerns.	CPR	2006	DBLP DOI BibTeX RDF	opt-in, opt-out, privacy concern, frames, information privacy, defaults
13	Markus Krötzsch, Grit Malik	The Tensor Product as a Lattice of Regular Galois Connections.	ICFCA	2006	DBLP DOI BibTeX RDF
13	Harry Buhrman, Leen Torenvliet, Falk Unger	Sparse Selfreducible Sets and Polynomial Size Circuit Lower Bounds.	STACS	2006	DBLP DOI BibTeX RDF	Selfreducibility, Computational Complexity, Sparseness
13	Roy L. McCasland, Alan Bundy	MATHsAiD: A Mathematical Theorem Discovery Tool.	SYNASC	2006	DBLP DOI BibTeX RDF
13	Mao-yuan Zhang, Ruixuan Li 0001, Zhengding Lu, Chun-yan Zou	An ECG Parallel Scheduling Algorithm for the Distributed Systems.	PDCAT	2006	DBLP DOI BibTeX RDF
13	Paolo Ferragina, Raffaele Giancarlo, Giovanni Manzini, Marinella Sciortino	Boosting textual compression in optimal linear time.	J. ACM	2005	DBLP DOI BibTeX RDF	Lempel-Ziv compressors, empirical entropy, suffix tree, Arithmetic coding, Huffman coding, text compression, Burrows-Wheeler transform
13	Daniela Ferrarello, Ralf Fröberg	The Hilbert Series of the Clique Complex.	Graphs Comb.	2005	DBLP DOI BibTeX RDF	Stanley-Reisner ring, Clique complex, Hilbert series, Subgraph polynomial
13	Phillip G. Bradford, Olga V. Gavrylyako	Foundations of Security for Hash Chains in Ad Hoc Networks.	Clust. Comput.	2005	DBLP DOI BibTeX RDF	time-space lower bound, hash chains, k-wise independence
13	Ioannis Caragiannis, Clemente Galdi, Christos Kaklamanis	Network Load Games.	ISAAC	2005	DBLP DOI BibTeX RDF
13	Radek Pelánek, Jan Strejcek	Deeper Connections Between LTL and Alternating Automata.	CIAA	2005	DBLP DOI BibTeX RDF
13	Lei Xu 0001	One-Bit-Matching ICA Theorem, Convex-Concave Programming, and Combinatorial Optimization.	ISNN (1)	2005	DBLP DOI BibTeX RDF
13	Weiguo Yang, Wen Liu	The asymptotic equipartition property for Mth-order nonhomogeneous Markov information sources.	IEEE Trans. Inf. Theory	2004	DBLP DOI BibTeX RDF
13	Jens Groth	Evaluating Security of Voting Schemes in the Universal Composability Framework.	ACNS	2004	DBLP DOI BibTeX RDF
13	Ke Yang 0005	On the (Im)possibility of Non-interactive Correlation Distillation.	LATIN	2004	DBLP DOI BibTeX RDF
13	Olaf Beyersdorff	Representable Disjoint NP-Pairs.	FSTTCS	2004	DBLP DOI BibTeX RDF
13	Grigor Gasparyan, Myriam Preissmann, András Sebö	Imperfect and Nonideal Clutters: A Common Approach.	Comb.	2003	DBLP DOI BibTeX RDF	AMS Subject Classification (2000): 05B40, 05C17, 90C57, 90C10, 05C15
13	Nicolò Cesa-Bianchi, Gábor Lugosi	Potential-Based Algorithms in On-Line Prediction and Game Theory.	Mach. Learn.	2003	DBLP DOI BibTeX RDF	universal prediction, Blackwell's strategy, weighted average predictors, internal regret, boosting, on-line learning, perceptron algorithm
13	Lev D. Beklemishev	Proof-theoretic analysis by iterated reflection.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
13	Helena A. Jorge	Combinatorics of Polytopes with a Group of Linear Symmetries of Prime Power Order.	Discret. Comput. Geom.	2003	DBLP DOI BibTeX RDF
13	Jirí Fiala 0001, Daniël Paulusma	The Computational Complexity of the Role Assignment Problem.	ICALP	2003	DBLP DOI BibTeX RDF	role assignment 2002 Mathematics Subject Classification: 05C15, computational complexity, 03D15, graph homomorphism
13	Boris Mitavskiy	Comparing Evolutionary Computation Techniques via Their Representation.	GECCO	2003	DBLP DOI BibTeX RDF
13	Robert Pless	Using Many Cameras as One.	CVPR (2)	2003	DBLP DOI BibTeX RDF
13	Phillip G. Bradford, Olga V. Gavrylyako	Foundations of Security for Hash Chains in Ad Hoc Networks.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
13	Russell Impagliazzo, Philippe Moser	A zero one law for RP.	CCC	2003	DBLP DOI BibTeX RDF
13	David D. Woods, Richard I. Cook	Nine Steps to Move Forward from Error.	Cogn. Technol. Work.	2002	DBLP DOI BibTeX RDF	Failure in complex systems, Error, Patient safety
13	Lu Zhang 0023, Dan Xie	Comments on "On the Applicability of Weyuker Property 9 to Object-Oriented Structural Inheritance Complexity Metrics".	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	inheritance complexity metrics, object-oriented design complexity metrics, structural metrics, software complexity metrics
13	Avrim Blum, Tuomas Sandholm, Martin Zinkevich	Online algorithms for market clearing.	SODA	2002	DBLP BibTeX RDF
13	Aimilia Magkanaraki, Sofia Alexaki, Vassilis Christophides, Dimitris Plexousakis	Benchmarking RDF Schemas for the Semantic Web.	ISWC	2002	DBLP DOI BibTeX RDF
13	Wolfgang Merkle	The Kolmogorov-Loveland Stochastic Sequences Are Not Closed under Selecting Subsequences.	ICALP	2002	DBLP DOI BibTeX RDF
13	Paula Severi, Fer-Jan de Vries	An Extensional Böhm Model.	RTA	2002	DBLP DOI BibTeX RDF
13	Serge Fehr, Ueli M. Maurer	Linear VSS and Distributed Commitments Based on Secret Sharing and Pairwise Checks.	CRYPTO	2002	DBLP DOI BibTeX RDF
13	Ahmed Ainouche, Mekkia Kouider	Cycles in Partially Square Graphs.	Graphs Comb.	2001	DBLP DOI BibTeX RDF
13	Mark Weyer	Decidability of S1S and S2S.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
13	Xin Zhang 0005, Henry Hexmoor	Utility-Based Role Exchange.	CEEMAS	2001	DBLP DOI BibTeX RDF
13	Nicolò Cesa-Bianchi, Gábor Lugosi	Potential-Based Algorithms in Online Prediction and Game Theory.	COLT/EuroCOLT	2001	DBLP DOI BibTeX RDF	universal prediction, Blackwell's strategy, weighted average predictors, internal regret, boosting, on-line learning, Perceptron algorithm
13	Jirí Srba	On the Power of Labels in Transition Systems.	CONCUR	2001	DBLP DOI BibTeX RDF
13	Josef Niederle	Being a Proper Trapezoid Ordered Set Is a Comparability Invariant.	Order	2000	DBLP DOI BibTeX RDF	autonomous subset, comparability invariant, interval ordered set, proper interval dimension, trapezoid ordered set
13	Lluís Ros, Federico Thomas	Shape-from-Image via Cross-Sections.	ICPR	2000	DBLP DOI BibTeX RDF
13	Mário A. T. Figueiredo	On Gaussian Radial Basis Function Approximations: Interpretation, Extensions, and Learning Strategies.	ICPR	2000	DBLP DOI BibTeX RDF
13	John Watrous	On Quantum and Classical Space-bounded Processes with Algebraic Transition Amplitudes.	FOCS	1999	DBLP DOI BibTeX RDF	GapL functions, selective quantum processes, computational complexity theory, quantum computation, space-bounded computation, algebraic numbers
13	Eleanor Gilbert Rieffel	The Genre of Mathematics Writing and its Implications for Digital Documents.	HICSS	1999	DBLP DOI BibTeX RDF
13	Amir Shpilka, Avi Wigderson	Depth-3 Arithmetic Formulae over Fields of Characteristic Zero.	CCC	1999	DBLP DOI BibTeX RDF
13	Stephen Alstrup, Thore Husfeldt, Theis Rauhe	Marked Ancestor Problems.	FOCS	1998	DBLP DOI BibTeX RDF
13	Carlo Blundo, Alfredo De Santis, Roberto de Simone, Ugo Vaccaro	Tight Bounds on the Information Rate of Secret Sharing Schemes.	Des. Codes Cryptogr.	1997	DBLP DOI BibTeX RDF	Information Rate and Cryptography, Entropy, Secret Sharing, Data Security