Search results for "lemma"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Elizabeth Ayalew, Lemma F. Lessa, Mariye Yigzaw	E-Commerce Readiness in Ethiopia: A Macro-Level Assessment.	AMCIS/SIGeBIZ	2010	DBLP DOI BibTeX RDF
27	Surafel Lemma Abebe, Paolo Tonella	Natural Language Parsing of Program Element Names for Concept Extraction.	ICPC	2010	DBLP DOI BibTeX RDF	concept location, concept extraction, ontology extraction
27	Mariye Yigzaw, Shawndra Hill, Anita Banser, Lemma F. Lessa	Using Data Mining to Combat Infrastructure Inefficiencies: The Case of Predicting Nonpayment for Ethiopian Telecom.	AAAI Spring Symposium: Artificial Intelligence for Development	2010	DBLP BibTeX RDF
27	Lars Asker, Atelach Alemu Argaw, Björn Gambäck, Samuel Eyassu Asfeha, Lemma Nigussie Habte	Classifying Amharic webnews.	Inf. Retr.	2009	DBLP DOI BibTeX RDF
27	Surafel Lemma Abebe, Sonia Haiduc, Andrian Marcus, Paolo Tonella, Giuliano Antoniol	Analyzing the Evolution of the Source Code Vocabulary.	CSMR	2009	DBLP DOI BibTeX RDF
27	Surafel Lemma Abebe, Sonia Haiduc, Paolo Tonella, Andrian Marcus	Lexicon Bad Smells in Software.	WCRE	2009	DBLP DOI BibTeX RDF
27	Dereje Teferi Lemma	Recognition and Evaluation by Video Synthesis Methods and Symmetry Features.		2009	RDF
27	Mehmet Utku Celik, Aweke N. Lemma, Stefan Katzenbeisser 0001, Michiel van der Veen	Lookup-Table-Based Secure Client-Side Embedding for Spread-Spectrum Watermarks.	IEEE Trans. Inf. Forensics Secur.	2008	DBLP DOI BibTeX RDF
27	Stefan Katzenbeisser 0001, Aweke N. Lemma, Mehmet Utku Celik, Michiel van der Veen, Martijn Maas	A Buyer-Seller Watermarking Protocol Based on Secure Embedding.	IEEE Trans. Inf. Forensics Secur.	2008	DBLP DOI BibTeX RDF
27	Fikreyohannes Lemma, Mieso K. Denko, Joseph K. Tan, Samuel Kinde Kassegne	Envisioning a National e-Medicine Network Architecture in a Developing Country: A Case Study.	Int. J. Heal. Inf. Syst. Informatics	2008	DBLP DOI BibTeX RDF
27	Dagmawi Lemma, Mulugeta Libsie	Malicious Process Conscious Operating Systems (MPCOS).	BroadCom	2008	DBLP DOI BibTeX RDF
27	Aweke N. Lemma, Stefan Katzenbeisser 0001, Mehmet Utku Celik, Serap Kirbiz	Forensic watermarking and bit-rate conversion of partially encrypted AAC bitstreams.	Security, Forensics, Steganography, and Watermarking of Multimedia Contents	2008	DBLP DOI BibTeX RDF
27	Serap Kirbiz, Aweke N. Lemma, Mehmet Utku Celik, Stefan Katzenbeisser 0001	Decode-Time Forensic Watermarking of AAC Bitstreams.	IEEE Trans. Inf. Forensics Secur.	2007	DBLP DOI BibTeX RDF
27	Michiel van der Veen, Aweke N. Lemma, Mehmet Utku Celik, Stefan Katzenbeisser 0001	Forensic Watermarking in Digital Rights Management.	Security, Privacy, and Trust in Modern Data Management	2007	DBLP DOI BibTeX RDF
27	Mehmet Utku Celik, Joop Talstra, Aweke N. Lemma, Stefan Katzenbeisser 0001	Camcorder Capture Robust Low-Complexity Watermarking of MPEG-2 Bit-Streams.	ICIP (5)	2007	DBLP DOI BibTeX RDF
27	Mehmet Utku Celik, Aweke N. Lemma, Stefan Katzenbeisser 0001, Michiel van der Veen	Secure Embedding of Spread Spectrum Watermarks using Look-up-Tables.	ICASSP (2)	2007	DBLP DOI BibTeX RDF
27	Juan Ramón Troncoso-Pastoriza, Stefan Katzenbeisser 0001, Mehmet Utku Celik, Aweke N. Lemma	A secure multidimensional point inclusion protocol.	MM&Sec	2007	DBLP DOI BibTeX RDF	point inclusion, signal processing in the encrypted domain, computational geometry, secure multiparty computation, homomorphic encryption
27	Serap Kirbiz, Mehmet Utku Celik, Aweke N. Lemma, Stefan Katzenbeisser 0001	Forensic Watermarking During AAC Playback.	ICME	2007	DBLP DOI BibTeX RDF
27	Aweke N. Lemma, Michiel van der Veen	Deterring watermark collusion attacks using signal processing techniques.	Security, Steganography, and Watermarking of Multimedia Contents	2007	DBLP DOI BibTeX RDF
27	Aweke N. Lemma, Stefan Katzenbeisser 0001, Mehmet Utku Celik, Michiel van der Veen	Secure Watermark Embedding Through Partial Encryption.	IWDW	2006	DBLP DOI BibTeX RDF
27	Aweke N. Lemma, Michiel van der Veen, Mehmet Utku Celik	New modulation-based watermarking technique for video.	Security, Steganography, and Watermarking of Multimedia Contents	2006	DBLP DOI BibTeX RDF
27	Atli Lemma Gebretsadik	Computer communications in developing countries.	IEEE Commun. Mag.	2005	DBLP DOI BibTeX RDF
27	Michiel van der Veen, Aweke N. Lemma, Ton Kalker	Electronic content delivery and forensic watermarking.	Multim. Syst.	2005	DBLP DOI BibTeX RDF	Watermarking, Fingerprinting, DRM, Content delivery
27	Mulatu Lemma	Logarithmic matrix transformations into Gw.	Int. J. Math. Math. Sci.	2004	DBLP DOI BibTeX RDF
27	Sylvain Beauget, Michiel van der Veen, Aweke N. Lemma	Informed detection of audio watermark for resolving playback speed modifications.	MM&Sec	2004	DBLP DOI BibTeX RDF	informed detector, music distribution, watermarking, audio, fingerprinting
27	Lemma Hundessa, Jordi Domingo-Pascual	Optimal and Guaranteed Alternative LSP for Multiple Failures.	ICCCN	2004	DBLP DOI BibTeX RDF
27	Michiel van der Veen, Aweke N. Lemma, Ton Kalker	Watermarking and fingerprinting for electronic music delivery.	Security, Steganography, and Watermarking of Multimedia Contents	2004	DBLP DOI BibTeX RDF
27	Aweke N. Lemma, Alle-Jan van der Veen, Ed F. Deprettere	Analysis of joint angle-frequency estimation using ESPRIT.	IEEE Trans. Signal Process.	2003	DBLP DOI BibTeX RDF
27	Aweke Negash Lemma, Javier Aprea, Werner Oomen, Leon van de Kerkhof	A temporal domain audio watermarking technique.	IEEE Trans. Signal Process.	2003	DBLP DOI BibTeX RDF
27	Lemma Hundessa	Enhanced Fast Rerouting Mechanisms for Protected Traffic in MPLS Networks.		2003	RDF
27	Lemma Hundessa, Jordi Domingo-Pascual	Reliable and fast rerouting mechanism for a protected label switched path.	GLOBECOM	2002	DBLP DOI BibTeX RDF
27	Michiel van der Veen, Aweke Negash Lemma, Fons Bruekers, Javier Aprea, Ton Kalker	Security issues in digital audio watermarking.	EUSIPCO	2002	DBLP BibTeX RDF
27	Lemma Hundessa, Jordi Domingo-Pascual	Fast rerouting mechanism for a protected label switched path.	ICCCN	2001	DBLP DOI BibTeX RDF
27	Aweke N. Lemma, Alle-Jan van der Veen, Ed F. Deprettere	Analysis of ESPRIT based joint angle-frequency estimation.	ICASSP	2000	DBLP DOI BibTeX RDF
27	Aweke N. Lemma, Alle-Jan van der Veen, Ed F. Deprettere	Multiresolution ESPRIT algorithm.	IEEE Trans. Signal Process.	1999	DBLP DOI BibTeX RDF
27	Aweke N. Lemma, Alle-Jan van der Veen, Ed F. Deprettere	Joint angle-frequency estimation using multi-resolution ESPRIT.	ICASSP	1998	DBLP DOI BibTeX RDF
27	Aweke N. Lemma, W. Bastiaan Kleijn, Ed F. Deprettere	Quantization using wavelet based temporal decomposition of the LSF.	EUROSPEECH	1997	DBLP DOI BibTeX RDF
27	Aweke N. Lemma, Ed F. Deprettere	Two-sided controlled transition in biorthogonal time-varying filter banks.	IEEE Signal Process. Lett.	1996	DBLP DOI BibTeX RDF
27	Aweke N. Lemma, Ed F. Deprettere	State space behavior in time-varying biorthogonal filter banks.	EUSIPCO	1996	DBLP BibTeX RDF
27	Lemma W. Senbet, James K. Seward	Chapter 28 Financial distress, bankruptcy and reorganization.	Finance	1995	DBLP DOI BibTeX RDF
26	Sorina Dumitrescu	Comments on "Optimal Erasure Protection for Scalably Compressed Video Streams With Limited Retransmission".	IEEE Trans. Image Process.	2009	DBLP DOI BibTeX RDF
26	Amir Herzberg, Igal Yoffe	The Layered Games Framework for Specifications and Analysis of Security Protocols.	TCC	2008	DBLP DOI BibTeX RDF
26	Dale Miller 0001, Vivek Nigam	Incorporating Tables into Proofs.	CSL	2007	DBLP DOI BibTeX RDF
26	Noga Alon, Asaf Shapira, Uri Stav	Can a Graph Have Distinct Regular Partitions?	COCOON	2007	DBLP DOI BibTeX RDF
26	Emanuele Viola, Avi Wigderson	Norms, XOR Lemmas, and Lower Bounds for GF(2) Polynomials and Multiparty Protocols.	CCC	2007	DBLP DOI BibTeX RDF
26	Sophie Laplante, Troy Lee, Mario Szegedy	The Quantum Adversary Method and Classical Formula Size Lower Bounds.	Comput. Complex.	2006	DBLP DOI BibTeX RDF	68Q30, Subject classification. 68Q17
26	Noga Alon, Raphael Yuster	The Number Of Orientations Having No Fixed Tournament.	Comb.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 05C20, 05C30
26	Irit Dinur	The PCP theorem by gap amplification.	STOC	2006	DBLP DOI BibTeX RDF	gap amplification, PCP
26	Sophie Laplante, Troy Lee, Mario Szegedy	The Quantum Adversary Method and Classical Formula Size Lower Bounds.	CCC	2005	DBLP DOI BibTeX RDF
26	Salil P. Vadhan	Constructing Locally Computable Extractors and Cryptosystems in the Bounded-Storage Model.	J. Cryptol.	2004	DBLP DOI BibTeX RDF	Everlasting security, Space-bounded adversaries, Averaging samplers, Expander graphs, Extractors, Unconditional security, Bounded-storage model
26	Pranab Sen	Lower bounds for predecessor searching in the cell probe model.	CCC	2003	DBLP DOI BibTeX RDF
26	Moses Charikar, Amit Sahai	Dimension Reduction in the \ell _1 Norm.	FOCS	2002	DBLP DOI BibTeX RDF
26	Adam R. Klivans	On the Derandomization of Constant Depth Circuits.	RANDOM-APPROX	2001	DBLP DOI BibTeX RDF
26	Gunter Bruns, John Harding	Epimorphisms in Certain Varieties of Algebras.	Order	2000	DBLP DOI BibTeX RDF	epimorphism, ortholattice, orthomodular lattice
26	Saso Dzeroski, Tomaz Erjavec	Learning to Lemmatise Slovene Words.	Learning Language in Logic	1999	DBLP DOI BibTeX RDF
26	Blas C. Ruiz Jiménez	Condensing Lemmas for Pure Type Systems with Universes.	AMAST	1998	DBLP DOI BibTeX RDF
26	Vojtech Rödl, Andrzej Rucinski 0001, Michelle Wagner	An Algorithmic Embedding of Graphs via Perfect Matchings.	RANDOM	1998	DBLP DOI BibTeX RDF
26	Harry Buhrman, Lance Fortnow	Resource-Bounded Kolmogorov Complexity Revisited.	STACS	1997	DBLP DOI BibTeX RDF
26	Jieh Hsiang, Mandayam K. Srivas	PROLOG-Based Inductive Theorem Proving.	FSTTCS	1985	DBLP DOI BibTeX RDF
25	Boris Bukh, Jirí Matousek 0001, Gabriel Nivasch	Lower bounds for weak epsilon-nets and stair-convexity.	SCG	2009	DBLP DOI BibTeX RDF	inverse ackermann function, selection lemma, stair-convexity, weak epsilon-net
25	Gilbert Labelle, Annie Lacasse	Discrete Versions of Stokes' Theorem Based on Families of Weights on Hypercubes.	DGCI	2009	DBLP DOI BibTeX RDF	Discrete Stokes’ theorem, Poincaré lemma, hypercube
25	Harald Günzel, Hubertus Th. Jongen, Oliver Stein	Generalized semi-infinite programming: the Symmetric Reduction Ansatz.	Optim. Lett.	2008	DBLP DOI BibTeX RDF	Reduction Ansatz, Reduction Lemma, Optimality conditions, Semi-infinite programming
25	Zhengwei Guo, Xinzheng He, Baocheng Xun	Security Arguments for a Class of ID-Based Signatures.	ICDS	2008	DBLP DOI BibTeX RDF	Forking lemma, Existential forgery, Provable security, ID-based signatures
25	Amir Shahab Shahabi, Mohammad Reza Kangavari	A Fuzzy Approach for Persian Text Segmentation Based on Semantic Similarity of Sentences.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	Fuzzy Similarity Relation, Fuzzy Proximity Relation, Lemma, Fuzzy Relations Composition, Anti-Redundancy, Syntax Parser, Meta Variable, Meta Rule, Paradigmatic, Tokenizer, Multi-Document Summarizer, Lemmatizer
25	Noga Alon, Eldar Fischer, Ilan Newman, Asaf Shapira	A combinatorial characterization of the testable graph properties: it's all about regularity.	STOC	2006	DBLP DOI BibTeX RDF	characterization, property testing, regularity lemma
25	Rakesh M. Verma, Ara Hayrapetyan	A new decidability technique for ground term rewriting systems with applications.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	standard forms, unique normalization, decision procedures, rewriting, Confluence, pumping lemma
25	Ken'ichi Kawanishi	On the Counting Process for a Class of Markovian Arrival Processes with an Application to a Queueing System.	Queueing Syst. Theory Appl.	2005	DBLP DOI BibTeX RDF	counting process, explicit solution, Baker-Hausdorff lemma, automatic call distribution, Markovian arrival process, Lie algebra
25	Eldar Fischer, Ilan Newman	Testing versus estimation of graph properties.	STOC	2005	DBLP DOI BibTeX RDF	property testing, regularity lemma, graph properties, distance approximation
25	Noga Alon, Asaf Shapira	Every monotone graph property is testable.	STOC	2005	DBLP DOI BibTeX RDF	monotone properties, property testing, regularity lemma
25	Paz Carmi, Thomas Erlebach, Yoshio Okamoto	Greedy Edge-Disjoint Paths in Complete Graphs.	WG	2003	DBLP DOI BibTeX RDF	Shortening lemma, Approximation algorithm, Greedy algorithm
25	Pascal Junod, Serge Vaudenay	Optimal Key Ranking Procedures in a Statistical Cryptanalysis.	FSE	2003	DBLP DOI BibTeX RDF	Key ranking, statistical cryptanalysis, Neyman-Pearson lemma, linear cryptanalysis
25	Noga Alon, Asaf Shapira	Testing subgraphs in directed graphs.	STOC	2003	DBLP DOI BibTeX RDF	directed graphs, property testing, regularity lemma
25	D. Sivakumar	Algorithmic Derandomization via Complexity Theory.	CCC	2002	DBLP DOI BibTeX RDF	Johnson-Lindenstrauss Lemma, Derandomization, randomized rounding
25	Jaikumar Radhakrishnan, Aravind Srinivasan	Improved Bounds and Algorithms for Hypergraph Two-Coloring.	FOCS	1998	DBLP DOI BibTeX RDF	Hypergraph coloring, The Probabilistic Method, Lovasz Local Lemma
25	Daniele Micciancio	The Shortest Vector in a Lattice is Hard to Approximate to Within Some Constant.	FOCS	1998	DBLP DOI BibTeX RDF	non-approximability, Sauer's lemma, lattices, shortest vector problem
25	Stefan Gerberding	DT - An Automated Theorem Prover for Multiple-Valued First-Order Predicate Logics.	ISMVL	1996	DBLP DOI BibTeX RDF	Deep Thought, multiple-valued first-order logics, lemma generation, tableau expansion, branch closure, theorem proving, multivalued logic, multiple-valued logics, quantifiers, first-order predicate logic, truth tables, automated theorem prover
25	Dirk P. Kroese, Volker Schmidt	Single-server queues with spatially distributed arrivals.	Queueing Syst. Theory Appl.	1994	DBLP DOI BibTeX RDF	spatially distributed arrival points, travelling server, Tweedie's lemma, equilibrium equations, mean queue length, stability, Single-server queue, stochastic decomposition, Brownian motion, regenerative processes, embedded Markov chain
22	Xiangxue Jia, Runming Lu, Sheng Liu, Jian Zhang 0001	Local lemma: a new strategy of pruning in SAT solvers.	SAC	2010	DBLP DOI BibTeX RDF
22	Vaithilingam Jeyakumar, S. Srisatkunarajah	Lagrange multiplier necessary conditions for global optimality for non-convex minimization over a quadratic constraint via S-lemma.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Smooth non-convex minimization, Difference of quadratic and convex functions, Single quadratic constraint, Global optimality, Lagrange multipliers, Fractional programs
22	Mehdi Chinaie, T. Jabarootian, Mahboubeh Rezaie, Jafar Zafarani	Minty's lemma and vector variational-like inequalities.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 47H04, 47H05, 49J53, 49J40
22	Wenchang Chu, Xiaoyuan Wang	Abel's lemma on summation by parts and terminating q -series identities.	Numer. Algorithms	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 33D15, Secondary 05A15
22	Vaithilingam Jeyakumar, Gue Myung Lee	Complete characterizations of stable Farkas' lemma and cone-convex programming duality.	Math. Program.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 41A65, 90C30, 41A29
22	Thomas E. Forster, John Kenneth Truss	Ramsey's theorem and König's Lemma.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03E25
22	Daniel W. Cunningham	A covering lemma for K(\mathbb R).	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03E45, 03E60
22	Anna Sperotto, Marcello Pelillo	Szemerédi's Regularity Lemma and Its Applications to Pairwise Clustering and Segmentation.	EMMCVPR	2007	DBLP DOI BibTeX RDF
22	János Pach, Rados Radoicic, Gábor Tardos, Géza Tóth 0001	Improving the Crossing Lemma by Finding More Crossings in Sparse Graphs.	Discret. Comput. Geom.	2006	DBLP DOI BibTeX RDF
22	Jacek Kluska	Transformation Lemma on Analytical Modeling Via Takagi-Sugeno Fuzzy System and Its Applications.	ICAISC	2006	DBLP DOI BibTeX RDF
22	Adel Mohammadpour, Ali Mohammad-Djafari	On Neyman-Pearson Lemma for Crisp, Random and Fuzzy Hypotheses.	SMPS	2006	DBLP DOI BibTeX RDF
22	Bernhard Gramlich, Salvador Lucas	Generalizing Newman's Lemma for Left-Linear Rewrite Systems.	RTA	2006	DBLP DOI BibTeX RDF
22	Ainhoa Berciano, María José Jiménez 0001, Pedro Real 0001	Reducing Computational Costs in the Basic Perturbation Lemma.	CASC	2006	DBLP DOI BibTeX RDF
22	Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo	Proof Pearl: A Formal Proof of Higman's Lemma in ACL2.	TPHOLs	2005	DBLP DOI BibTeX RDF
22	Kangmin Fan, William F. Smyth, R. J. Simpson	A New Periodicity Lemma.	CPM	2005	DBLP DOI BibTeX RDF
22	Katalin Friedl, Gábor Ivanyos, Miklos Santha, Yves F. Verhoeven	On the Black-Box Complexity of Sperner's Lemma.	FCT	2005	DBLP DOI BibTeX RDF
22	János Pach, Rados Radoicic, Gábor Tardos, Géza Tóth 0001	Improving the crossing lemma by finding more crossings in sparse graphs: [extended abstract].	SCG	2004	DBLP DOI BibTeX RDF
22	John L. Bell	Some new intuitionistic equivalents of Zorn's Lemma.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
22	Jean B. Lasserre	A Discrete Farkas Lemma.	ICCSA (1)	2003	DBLP DOI BibTeX RDF
22	Chris Calabro, Russell Impagliazzo, Valentine Kabanets, Ramamohan Paturi	The Complexity of Unique k-SAT: An Isolation Lemma for k-CNFs.	CCC	2003	DBLP DOI BibTeX RDF
22	Daniel W. Cunningham	A covering lemma for L(R).	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
22	Nathan Segerlind, Samuel R. Buss, Russell Impagliazzo	A Switching Lemma for Small Restrictions and Lower Bounds for k - DNF Resolution.	FOCS	2002	DBLP DOI BibTeX RDF
22	Aviezri S. Fraenkel, Jamie Simpson	An Extension of the Periodicity Lemma to Longer Periods (Invited Lecture).	CPM	2001	DBLP DOI BibTeX RDF