Search results for "Strong"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Jianhong Zhang, Xue Liu	An Efficient Strong ID-Based Signature Scheme with Unforgeability.	FCST	2010	DBLP DOI BibTeX RDF	the CDH problem, ID-base cryptography, security proof, ID-based signature, strong unforgeability
21	André Chailloux, Iordanis Kerenidis	Optimal Quantum Strong Coin Flipping.	FOCS	2009	DBLP DOI BibTeX RDF	strong coin-flipping protocol, quantum cryptography
21	Yong Li, Yu Zhang 0086, Yiyun Chen, Ming Fu	On the Verification of Strong Atomicity in Programs Using STM.	SSIRI	2009	DBLP DOI BibTeX RDF	transactional memory, proof-carrying code, strong atomicity
21	Jing Ma, Kun Ma	Strong Simultaneous Stabilization for a Class of Generalized Linear System.	HIS (3)	2009	DBLP DOI BibTeX RDF	strong simultaneous stabilization, stable right inverse, generalized linear systeme, Stable factorization theory
21	Li Ding, Brandon Dixon	Using an edge-dual graph and k-connectivity to identify strong connections in social networks.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	crime investigation, strong connections, social network analysis, law enforcement, k-connectivity
21	Xavier Parent	On the Strong Completeness of Åqvist's Dyadic Deontic Logic G.	DEON	2008	DBLP DOI BibTeX RDF	Conditional obligation, preference-based semantics, DSDL3, strong completeness
21	Defeng Sun, Jie Sun 0001	Strong Semismoothness of the Fischer-Burmeister SDC and SOC Complementarity Functions.	Math. Program.	2005	DBLP DOI BibTeX RDF	Fischer-Burmeister function, strong semismoothness, SVD, SOC, SDC
21	Özer Aydemir, Ali Aydin Selçuk	A Strong User Authentication Protocol for GSM.	WETICE	2005	DBLP DOI BibTeX RDF	strong password protocols, GSM, user authentication, Wireless network security
21	Niranjan Suri, Jeffrey M. Bradshaw, Maggie R. Breedy, Paul T. Groth, Gregory A. Hill, Renia Jeffers, Timothy S. Mitrovich, Brian R. Pouliot, David S. Smith	NOMADS: toward a strong and safe mobile agent system.	Agents	2000	DBLP DOI BibTeX RDF	strong mobility, transparent mobility, security, policy, Java virtual machine, JavaScript, resource control, mobile agent system
21	Klaus Ambos-Spies, Levke Bentzien	Separating NP-Completeness Notions under Strong Hypotheses.	CCC	1997	DBLP DOI BibTeX RDF	NP-completeness notions separation, strong hypotheses, NP-m-completeness, NP-T-completeness, bounded-query reducibilities, resource bounded Baire category concept, computational complexity, resource bounded measure
21	Sun-Yuan Hsieh, Tsung-Yen Chuang	The Strong Diagnosability of Regular Networks and Product Networks under the PMC Model.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
21	Shaomin Wu, Min Xie 0001	Classifying Weak, and Strong Components Using ROC Analysis With Application to Burn-In.	IEEE Trans. Reliab.	2007	DBLP DOI BibTeX RDF
21	Aydan R. Yumerefendi, Jeffrey S. Chase	Strong accountability for network storage.	ACM Trans. Storage	2007	DBLP DOI BibTeX RDF	Accountable services, accountable storage, accountability
21	Jinyan Li 0001, Qiang Yang 0001	Strong Compound-Risk Factors: Efficient Discovery Through Emerging Patterns and Contrast Sets.	IEEE Trans. Inf. Technol. Biomed.	2007	DBLP DOI BibTeX RDF
21	Edward Flanigan, Spyros Tragoudas	Enhanced Identification of Strong Robustly Testable Paths.	ISQED	2007	DBLP DOI BibTeX RDF
21	Wolfgang Faber 0001, Kathrin Konczak	Strong order equivalence.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 68T30, 68T15
21	Javed Iqbal, Hafiz Farooq Ahmad, Arshad Ali, Hiroki Suguri, Sarmad Sadik	Strong Mobility for FIPA Compliant Multi-agent Systems.	PRIMA	2006	DBLP DOI BibTeX RDF
21	Donghong Qin, Zhi Li	Evaluation and Research of Strong Migration of Mobile Agent for Exploiting Type Inference.	QSIC	2006	DBLP DOI BibTeX RDF
21	Mark Adkins, John Kruse, Laurie E. Damianos, Jo Ann Brooks, Robert Younger, Eric Rasmussen, Yelena M. Rennie, Beatrice T. Oshika, Jay F. Nunamaker Jr.	Experience using Collaborative Technology with the United Nations and Multi-National Militaries: Rim of the Pacific 2000 Strong Angel Exercise in Humanitarian Assistance.	HICSS	2001	DBLP DOI BibTeX RDF
21	Zhoujun Li, Huowang Chen	Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes.	TACAS	1999	DBLP DOI BibTeX RDF
20	Ricard Gavaldà, José L. Balcázar	Strong and Robustly Strong Polynomial Time Reducibilities to Sparse Sets.	MFCS	1988	DBLP DOI BibTeX RDF
19	Barbara Petit	A Polymorphic Type System for the Lambda-Calculus with Constructors.	TLCA	2009	DBLP DOI BibTeX RDF	strong normalisation, pattern matching, polymorphism, lambda-calculus
19	Dan Boneh, Xavier Boyen	Short Signatures Without Random Oracles and the SDH Assumption in Bilinear Groups.	J. Cryptol.	2008	DBLP DOI BibTeX RDF	Digital signatures, Bilinear pairings, Standard model, Strong unforgeability
19	Colin B. Macdonald, Sigal Gottlieb, Steven J. Ruuth	A Numerical Study of Diagonally Split Runge-Kutta Methods for PDEs with Discontinuities.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Diagonally split Runge-Kutta methods, Unconditional contractivity, Order reduction, Hyperbolic PDEs, Runge-Kutta methods, Time discretization, Strong stability preserving
19	Zhihua Xie, Shengqian Wang, Lixin Gan, Lin Zhang, Zhenghua Shu	Content Based Image Watermarking in the Ridgelet Domain.	ISECS	2008	DBLP DOI BibTeX RDF	Strong Texture, Watermarking, Content Based, Ridgelet Transform
19	Ana Pradera	Uninorms and Non-contradiction.	MDAI	2008	DBLP DOI BibTeX RDF	Non-Contradiction Principle, Aggregation functions, Strong Negations, Uninorms
19	Ping Yu 0006, Stephen R. Tate	Online/Offline Signature Schemes for Devices with Limited Computing Capabilities.	CT-RSA	2008	DBLP DOI BibTeX RDF	Online/Offline Signing, Devices with Limited Computing Capabilities, Digital Signature, Standard Model, Strong RSA Assumption
19	Deying Li 0001, Hongwei Du 0001, Lin Liu 0001, Scott C.-H. Huang	Joint Topology Control and Power Conservation for Wireless Sensor Networks Using Transmit Power Adjustment.	COCOON	2008	DBLP DOI BibTeX RDF	Strong Connectivity, Power Threshold, Wireless Sensor Networks, Topology Control
19	Amanda J. C. Sharkey	Robots, insects and swarm intelligence.	Artif. Intell. Rev.	2006	DBLP DOI BibTeX RDF	Strong artificial intelligence, Bio-robotics, Swarm intelligence, Emergence, Swarm robotics, Social insects, Biological inspiration
19	Norihiro Kamide	Gentzen-Type Methods for Bilattice Negation.	Stud Logica	2005	DBLP DOI BibTeX RDF	Bilattice negation, completeness, sequent calculus, substructural logic, strong negation
19	Shuhong Wang 0001, Feng Bao 0001, Robert H. Deng	Cryptanalysis of a Forward Secure Blind Signature Scheme with Provable Security.	ICICS	2005	DBLP DOI BibTeX RDF	Cryptanalysis, Provable security, Forward security, Blind signature, Strong RSA assumption
19	Wenci Yu, Han Hoogeveen, Jan Karel Lenstra	Minimizing Makespan in a Two-Machine Flow Shop with Delays and Unit-Time Operations is NP-Hard.	J. Sched.	2004	DBLP DOI BibTeX RDF	intermediate delays, strong NP-hardness, computational complexity, makespan, flow shop scheduling
19	Shilpa Dhar, Krishnendu Roy, Rajgopal Kannan	NEC: Node Energy Based Clustering Protocol for Wireless Sensor Networks with Guaranteed Connectivity.	ICDCIT	2004	DBLP DOI BibTeX RDF	Strong nodes, Weak nodes, Wireless sensor networks, Connectivity, Energy conservation
19	Arthur W. Apter	Some remarks on indestructibility and Hamkins' lottery preparation.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Supercompact cardinal, Strongly compact cardinal, Strong cardinal, Lottery preparation, Indestructibility, Non-reflecting stationary set of ordinals
19	Max I. Kanovich	Bijections between Partitions by Two-Directional Rewriting Techniques.	CSL	2002	DBLP DOI BibTeX RDF	multiset rewriting, partition identities, termination, combinatorics, confluence, strong normalization, Church-Rosser property, integer partitions
19	Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki	Annotated Semantics for Defeasible Deontic Reasoning.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF	defeasible deontic logic, extended vector annotated logic program with strong negation, stable model, annotated logic
19	Giuseppe Ateniese, Jan Camenisch, Marc Joye, Gene Tsudik	A Practical and Provably Secure Coalition-Resistant Group Signature Scheme.	CRYPTO	2000	DBLP DOI BibTeX RDF	revocable anonymity, coalition-resistance, provable security, strong RSA assumption, identity escrow, Group signature schemes
19	Tim Kovacs	Strength or Accuracy? Fitness Calculation in Learning Classifier Systems.	Learning Classifier Systems	1999	DBLP DOI BibTeX RDF	strong overgeneral classifiers, biased reward functions, accuracy-based fitness, complete covering maps, exploration, XCS
19	Paul Tarau, Verónica Dahl, Koenraad De Bosschere	A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents.	WETICE	1997	DBLP DOI BibTeX RDF	BinProlog, intuitionistic implication, strong metaprogramming, high-order call/N, filtering interactors, security, agents, logic programming, logic programming, mobile code, remote execution
19	Yih-Kuen Tsay, Rajive L. Bagrodia	Fault-Tolerant Algorithms for Fair Interprocess Synchronization.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	fair interprocess synchronization, binary interaction problem, strong fairness property, binary interactions, message cost, dining philosophers problem, distributed algorithms, fault tolerant computing, concurrency control, embedding, synchronisation, response time, fault-tolerant algorithms, asynchronous processes
19	Michael V. Mannino, Injun Choi, Don S. Batory	The Object-Oriented Functional Data Language.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	object-oriented functional data language, interactive strongly typed database programming language, O/sup 2/FDL, equational notation, strong typing, type restrictions, type variables, function interfaces, monotonic subtype rule, function redefinition, extended lambda -calculus, software engineering, software engineering, object oriented programming, object-oriented programming, functional programming, inheritance, operational semantics, object-oriented languages, relational algebra, encapsulation, high level languages, denotational semantics
19	Younes Souissi	On liveness preservation by composition of nets via a set of places.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	F-monotonicity, F-robust net, F-strong net, liveness preservation, Composition
19	Michal Feldman, Moshe Tennenholtz	Partition Equilibrium.	SAGT	2009	DBLP DOI BibTeX RDF
19	Noriko Hanakawa	Visualization for Software Evolution Based on Logical Coupling and Module Coupling.	APSEC	2007	DBLP DOI BibTeX RDF
19	Leslie Ann Goldberg, Russell A. Martin, Mike Paterson	trong Spatial Mixing for Lattice Graphs with Fewer Colours.	FOCS	2004	DBLP DOI BibTeX RDF
19	Gilles Bertrand 0001, Rémy Malgouyres	Some topological properties of discrete surfaces.	DGCI	1996	DBLP DOI BibTeX RDF
18	Dongsong Ban, Jie Jiang 0009, Wei Yang 0037, Wenhua Dou, Huizhan Yi	Strong k-barrier coverage with mobile sensors.	IWCMC	2010	DBLP DOI BibTeX RDF	mobile sensor, relocation, barrier coverage
18	Jonathan S. Turner	Strong performance guarantees for asynchronous buffered crossbar scheduler.	IEEE/ACM Trans. Netw.	2009	DBLP DOI BibTeX RDF	asynchronous crossbars, crossbar schedulers, routers, switches, performance guarantees
18	Zhibin Liu, Zongying Shi, Wenli Xu	Probabilistic multi-component extended strong tracking filter for mobile robot global localization.	ICRA	2009	DBLP DOI BibTeX RDF
18	Pietro Abate, Roberto Di Cosmo, Jaap Boender, Stefano Zacchiroli	Strong dependencies between software components.	ESEM	2009	DBLP DOI BibTeX RDF
18	Lawrence Peter Belluce, Antonio Di Nola, Brunella Gerla	Abelian l -Groups with Strong Unit and Perfect MV-Algebras.	Order	2008	DBLP DOI BibTeX RDF	Perfect MV-algebras, MV-algebras, Lattice-ordered groups
18	Ran Raz	A Counterexample to Strong Parallel Repetition.	FOCS	2008	DBLP DOI BibTeX RDF
18	Kentaro Kikuchi, Stéphane Lengrand	Strong Normalisation of Cut-Elimination That Simulates beta-Reduction.	FoSSaCS	2008	DBLP DOI BibTeX RDF
18	Silvio do Lago Pereira, Leliane Nunes de Barros, Fábio Gagliardi Cozman	Strong Probabilistic Planning.	MICAI	2008	DBLP DOI BibTeX RDF
18	Thomas Dueholm Hansen, Orestis Telelis	On Pure and (Approximate) Strong Equilibria of Facility Location Games.	WINE	2008	DBLP DOI BibTeX RDF
18	Shi-Zhong Bai, Lei Fan, Wan-Liang Wang	LaTeX Strong-I Nß-Compactness in L-Topological Spaces.	FSKD (1)	2008	DBLP DOI BibTeX RDF
18	Xin Chen 0034, Haining Wang, Shansi Ren, Xiaodong Zhang 0001	Maintaining Strong Cache Consistency for the Domain Name System.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	middleware, cache consistency, Domain name system, lease
18	Arthur W. Apter	Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03E35, 03E55
18	Boting Yang	Strong-mixed searching and pathwidth.	J. Comb. Optim.	2007	DBLP DOI BibTeX RDF	Node search, Edge search, Mixed search, Cops-and-robber game, Pursuit-evasion problem
18	Kuo-Hao Chang, L. Jeff Hong, Hong Wan	Stochastic trust region gradient-free method (strong): a new response-surface-based algorithm in simulation optimization.	WSC	2007	DBLP DOI BibTeX RDF
18	Zhengjun Cao, Lihua Liu	A Strong RSA Signature Scheme and Its Application.	SNPD (1)	2007	DBLP DOI BibTeX RDF
18	Hans Ulrich Simon	A Characterization of Strong Learnability in the Statistical Query Model.	STACS	2007	DBLP DOI BibTeX RDF
18	Ittai Abraham, Cyril Gavoille, Dahlia Malkhi, Udi Wieder	Strong-diameter decompositions of minor free graphs.	SPAA	2007	DBLP DOI BibTeX RDF	minor free graphs, compact routing
18	Hui Xiong 0001, Shashi Shekhar, Pang-Ning Tan, Vipin Kumar 0001	TAPER: A Two-Step Approach for All-Strong-Pairs Correlation Query in Large Databases.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	data mining, statistical computing, Association analysis, Pearson's correlation coefficient
18	Giacomo Cabri, Luca Ferrari 0002, Letizia Leonardi, Raffaele Quitadamo	Strong agent mobility for aglets based on the IBM JikesRVM.	SAC	2006	DBLP DOI BibTeX RDF
18	Marie-Luce Bourguet	Introducing Strong Forms of Bilingual Education in the Mainstream Classroom: A Case for Technology.	ICALT	2006	DBLP DOI BibTeX RDF
18	Yunda Sun, Pushmeet Kohli, Matthieu Bray, Philip H. S. Torr	Using Strong Shape Priors for Stereo.	ICVGIP	2006	DBLP DOI BibTeX RDF
18	Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais	Computing Horn Strong Backdoor Sets Thanks to Local Search.	ICTAI	2006	DBLP DOI BibTeX RDF
18	Xin Chen 0034, Haining Wang, Shansi Ren	DNScup: Strong Cache Consistency Protocol for DNS.	ICDCS	2006	DBLP DOI BibTeX RDF	Middleware, Cache Consistency, Domain Name System, Lease, Service Availability
18	Michal Lentner, Krzysztof Stencel, Kazimierz Subieta	Semi-strong Static Type Checking of Object-Oriented Query Languages.	SOFSEM	2006	DBLP DOI BibTeX RDF
18	Miklós Bartha	Strong Retiming Equivalence of Synchronous Schemes.	CIAA	2005	DBLP DOI BibTeX RDF
18	Francesco Ranzato, Francesco Tapparo	An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation.	TACAS	2005	DBLP DOI BibTeX RDF
18	Robert König, Ueli M. Maurer	Generalized Strong Extractors and Deterministic Privacy Amplification.	IMACC	2005	DBLP DOI BibTeX RDF
18	Ulrich Berger 0001	Continuous Semantics for Strong Normalization.	CiE	2005	DBLP DOI BibTeX RDF
18	Francesco Ranzato, Francesco Tapparo	Strong Preservation as Completeness in Abstract Interpretation.	ESOP	2004	DBLP DOI BibTeX RDF
18	Hudson Turner	Strong Equivalence for Causal Theories.	LPNMR	2004	DBLP DOI BibTeX RDF
18	Willy Susilo, Fangguo Zhang, Yi Mu 0001	Identity-Based Strong Designated Verifier Signature Schemes.	ACISP	2004	DBLP DOI BibTeX RDF
18	Teresa Serrano-Gotarredona, Bernabé Linares-Barranco, Jesús Velarde-Ramírez	A precise CMOS mismatch model for analog design from weak to strong inversion.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
18	Zhirou Zhang, Siwei Luo	Design and Research of Strong-Mobile Agent Based Grid's Architecture.	APPT	2003	DBLP DOI BibTeX RDF
18	Jingde Cheng	Automated Knowledge Acquisition by Relevant Reasoning Based on Strong Relevant Logic.	KES	2003	DBLP DOI BibTeX RDF
18	Arjav J. Chakravarti, Xiaojin Wang, Jason O. Hallstrom, Gerald Baumgartner	Implementation of Strong Mobility for Multi-Threaded Agents in Java.	ICPP	2003	DBLP DOI BibTeX RDF
18	Takahiro Tagawa, Jingde Cheng	Deontic Relevant Logic: A Strong Relevant Logic Approach to Removing Paradoxes from Deontic Logic.	PRICAI	2002	DBLP DOI BibTeX RDF
18	Jirí Srba	Strong Bisimilarity and Regularity of Basic Parallel Processes Is PSPACE-Hard.	STACS	2002	DBLP DOI BibTeX RDF
18	Chi-Jen Lu	Hyper-encryption against Space-Bounded Adversaries from On-Line Strong Extractors.	CRYPTO	2002	DBLP DOI BibTeX RDF
18	Hudson Turner	Strong Equivalence for Logic Programs and Default Theories (Made Easy).	LPNMR	2001	DBLP DOI BibTeX RDF
18	Hong Wang, Guangzhou Zeng, Shouxun Lin	A Strong Migration Method of Mobile Agents Based on Java.	CSCWD	2001	DBLP DOI BibTeX RDF
18	Warwick Ford, Burton S. Kaliski Jr.	Server-Assisted Generation of a Strong Secret from a Password.	WETICE	2000	DBLP DOI BibTeX RDF
18	Stefan Wolf 0001	Strong Security Against Active Attacks in Information-Theoretic Secret-Key Agreement.	ASIACRYPT	1998	DBLP DOI BibTeX RDF	unconditional secrecy, authentication, information theory, privacy amplification, Secret-key agreement
18	Jianhua Chen 0003, Sukhamay Kundu	The Strong Semantics for Logic Programs.	ISMIS	1991	DBLP DOI BibTeX RDF	GCWA-property, logic program, declarative semantics, Derived rule
18	Mitsuhiro Okada	Strong Normalizability for the Combined System of the Typed lambda Calculus and an Arbitrary Convergent Term Rewrite System.	ISSAC	1989	DBLP DOI BibTeX RDF
18	John Gordon	Strong Primes are Easy to Find.	EUROCRYPT	1984	DBLP DOI BibTeX RDF
16	Dmitry Metelev, Alexander Rogozin, Alexander V. Gasnikov, Dmitry Kovalev	Decentralized saddle-point problems with different constants of strong convexity and strong concavity.	Comput. Manag. Sci.	2024	DBLP DOI BibTeX RDF
16	Kaike Wang, Yuzhen Qi, Jin Yan	Spanning 3-strong tournaments in 5-strong semicomplete digraphs.	Discret. Math.	2024	DBLP DOI BibTeX RDF
16	Yahao Chen, Malek Ghanes, Jean-Pierre Barbot	Strong Left-Invertibility and Strong Input-Observability of Nonlinear Time-Delay Systems.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
16	Yingbin Ma, Yanfeng Xue, Xiaoxue Zhang	Proper (Strong) Rainbow Connection and Proper (Strong) Rainbow Vertex Connection of Some Special Graphs.	J. Interconnect. Networks	2023	DBLP DOI BibTeX RDF
16	Haozhu Zhao, Yong Zhang	A Strong Limit Theorem of the Largest Entries of a Sample Correlation Matrices under a Strong Mixing Assumption.	Axioms	2023	DBLP DOI BibTeX RDF
16	Roland Falkensteiner, Richard Seeber, Martin Horn	A Trisection Algorithm for Estimating Distance Measures for Strong Observability and Strong Detectability.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
16	Collin Burns, Pavel Izmailov, Jan Hendrik Kirchner, Bowen Baker, Leo Gao, Leopold Aschenbrenner, Yining Chen, Adrien Ecoffet, Manas Joglekar, Jan Leike, Ilya Sutskever, Jeff Wu 0003	Weak-to-Strong Generalization: Eliciting Strong Capabilities With Weak Supervision.	CoRR	2023	DBLP DOI BibTeX RDF
16	Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff	A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised.	CoRR	2023	DBLP DOI BibTeX RDF
16	Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff	A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised.	TABLEAUX	2023	DBLP DOI BibTeX RDF