Search results for "dlp"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
142	Giorgio Terracina, Erika De Francesco, Claudio Panetta, Nicola Leone	Enhancing a DLP System for Advanced Database Applications.	RR	2008	DBLP DOI BibTeX RDF
134	Stefan Göller	On the Complexity of Reasoning About Dynamic Policies.	CSL	2007	DBLP DOI BibTeX RDF
107	Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Francesco Ricca	On look-ahead heuristics in disjunctive logic programming.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20
94	Simona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone	Enhancing DLV instantiator by backjumping techniques.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68T27
81	Annamaria Bria, Wolfgang Faber 0001, Nicola Leone	Normal Form Nested Programs.	JELIA	2008	DBLP DOI BibTeX RDF
81	In-Sok Lee, Woo-Hwan Kim, Daesung Kwon, Sangil Nahm, Nam-Seok Kwak, Yoo-Jin Baek	On the Security of MOR Public Key Cryptosystem.	ASIACRYPT	2004	DBLP DOI BibTeX RDF	MOR cryptosystem, group extension, central commutator attack, discrete logarithm problem
81	Benjamin N. Grosof, Ian Horrocks 0001, Raphael Volz, Stefan Decker	Description logic programs: combining logic programs with description logic.	WWW	2003	DBLP DOI BibTeX RDF	ontologies, XML, semantic web, interoperability, knowledge representation, logic programs, RDF, description logic, rules, information integration, translation, model-theoretic semantics, inferencing
75	Tirath Ramdas, Gregory K. Egan, David Abramson 0001, Kim K. Baldridge	Converting massive TLP to DLP: a special-purpose processor for molecular orbital computations.	Conf. Computing Frontiers	2007	DBLP DOI BibTeX RDF	thread-level parallelism, content-addressable memory, vector processing, address generation, data-level parallelism
75	Peter F. Patel-Schneider	System Description: DLP.	CADE	2000	DBLP DOI BibTeX RDF
75	Ian Horrocks 0001, Peter F. Patel-Schneider	FaCT and DLP.	TABLEAUX	1998	DBLP DOI BibTeX RDF
73	Kamel Bentahar	The Equivalence Between the DHP and DLP for Elliptic Curves Used in Practical Applications, Revisited.	IMACC	2005	DBLP DOI BibTeX RDF	DHP-DLP equivalence, Elliptic Curve Cryptosystems
67	Ilya Mironov, Anton Mityagin, Kobbi Nissim	Hard Instances of the Constrained Discrete Logarithm Problem.	ANTS	2006	DBLP DOI BibTeX RDF
67	Esther Salamí, Mateo Valero	A Vector-µSIMD-VLIW Architecture for Multimedia Applications.	ICPP	2005	DBLP DOI BibTeX RDF
66	Ruchira Sasanka, Man-Lap Li, Sarita V. Adve, Yen-Kuang Chen, Eric Debes	ALP: Efficient support for all levels of parallelism for complex media applications.	ACM Trans. Archit. Code Optim.	2007	DBLP DOI BibTeX RDF	media applications, multimedia, Parallelism, SIMD, vector, TLP, DLP, data-level parallelism
62	Chong Hee Kim, Philippe Bulens, Christophe Petit 0001, Jean-Jacques Quisquater	Fault Attacks on Public Key Elements: Application to DLP-Based Schemes.	EuroPKI	2008	DBLP DOI BibTeX RDF	Smart cards, fault injection, faults attacks, DSA, ElGamal, side channel
62	Joanna Józefowska, Agnieszka Lawrynowicz, Tomasz Lukaszewski	Frequent Pattern Discovery from OWL DLP Knowledge Bases.	EKAW	2006	DBLP DOI BibTeX RDF
62	Mark T. Vandevoorde, Deepak Kapur	Distributed Larch Prover (DLP): An Experiment in Parallelizing a Rewrite-Rule Based Prover.	RTA	1996	DBLP DOI BibTeX RDF
60	Shaobin Wang, Hong Fan, Guohua Cui	A proxy blind signature schemes based DLP and applying in e-voting.	ICEC	2005	DBLP DOI BibTeX RDF	proxy blind signature, electronic voting, DLP
54	Annamaria Bria, Wolfgang Faber 0001, Nicola Leone	nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver.	LPNMR	2009	DBLP DOI BibTeX RDF
54	Hamed Fatemi, Henk Corporaal, Twan Basten, Richard P. Kleihorst, Pieter P. Jonker	Designing Area and Performance Constrained SIMD/VLIW Image Processing Architectures.	ACIVS	2005	DBLP DOI BibTeX RDF
54	Anton Eliëns, Erik P. de Vink	Asynchronous Rendez-vous in Distributed Logic Programming.	REX Workshop	1992	DBLP DOI BibTeX RDF	metric semantics, distributed logic programming, concurrency, continuations
48	Kenneth J. Giuliani, Guang Gong	New LFSR-Based Cryptosystems and the Trace Discrete Log Problem (Trace-DLP).	SETA	2004	DBLP DOI BibTeX RDF
47	Aung Nway Oo, Ni Lar Thein	DLP Based Proxy Blind Signature Scheme with Low-Computation.	NCM	2009	DBLP DOI BibTeX RDF	proxy blind signature, proxy signature, blind signature, DLP
43	Michael Kiperberg, Guy Amit, Amir Yeshooroon, Nezer J. Zaidenberg	Efficient DLP-visor: An efficient hypervisor-based DLP.	CCGRID	2021	DBLP DOI BibTeX RDF
43	Matan Banin, Boaz Tsaban	A reduction of Semigroup DLP to classic DLP.	Des. Codes Cryptogr.	2016	DBLP DOI BibTeX RDF
43	Sajith Kalathingal	Transforming TLP into DLP with the Dynamic Inter-Thread Vectorization Architecture. (Transformer le TLP en DLP avec l'architecture de vectorization dynamique inter-thread).		2016	RDF
43	Matan Banin, Boaz Tsaban	A reduction of semigroup DLP to classic DLP.	CoRR	2013	DBLP BibTeX RDF
43	Matan Banin, Boaz Tsaban	A reduction of semigroup DLP to classic DLP.	IACR Cryptol. ePrint Arch.	2013	DBLP BibTeX RDF
40	Sungwook Kim, Jung Hee Cheon	A Parameterized Splitting System and Its Application to the Discrete Logarithm Problem with Low Hamming Weight Product Exponents.	Public Key Cryptography	2008	DBLP DOI BibTeX RDF	Discrete Logarithm Problem with Low Hamming Weight Product (LHWP) Exponents, Parameterized Splitting Systems
40	Srinivasa G. Narasimhan, Sanjeev J. Koppal, Shuntaro Yamazaki	Temporal Dithering of Illumination for Fast Active Vision.	ECCV (4)	2008	DBLP DOI BibTeX RDF
40	Xiangxue Li, Dong Zheng 0001, Kefei Chen	Efficient Linkable Ring Signatures and Threshold Signatures from Linear Feedback Shift Register.	ICA3PP	2007	DBLP DOI BibTeX RDF	characteristic sequence, linkable ring signature, linear feedback shift-register, threshold signature
40	Claus Diem	An Index Calculus Algorithm for Plane Curves of Small Degree.	ANTS	2006	DBLP DOI BibTeX RDF
40	Massimo Ruffolo, Marco Manna, Lorenzo Gallucci, Nicola Leone, Domenico Saccà	A Logic-Based Tool for Semantic Information Extraction.	JELIA	2006	DBLP DOI BibTeX RDF
40	Massimo Ruffolo, Marco Manna	HiLeX: A System for Semantic Information Extraction from Web Documents.	ICEIS (Selected Papers)	2006	DBLP DOI BibTeX RDF
40	Nir Halman	On the Power of Discrete and of Lexicographic Helly-Type Theorems.	FOCS	2004	DBLP DOI BibTeX RDF
40	Luigi Palopoli 0001, Giorgio Terracina, Domenico Ursino	A Plausibility Description Logics for Reasoning with Information Sources Having Different Formats and Structures.	ISMIS	2002	DBLP DOI BibTeX RDF
40	João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira	Multi-dimensional Dynamic Knowledge Representation.	LPNMR	2001	DBLP DOI BibTeX RDF
40	Cristinel Mateis	Extending Disjunctive Logic Programming by T-norms.	LPNMR	1999	DBLP DOI BibTeX RDF
40	Atsuko Miyaji	On Ordinary Elliptic Curve Cryptosystems.	ASIACRYPT	1991	DBLP DOI BibTeX RDF
39	Hua-Yi Lin, Tzu-Chiang Chiang	Cooperative Secure Data Aggregation in Sensor Networks Using Elliptic Curve Based Cryptosystems.	CDVE	2009	DBLP DOI BibTeX RDF	Cooperative WSNs, DH, RSA, DLP
39	Jung Ho Ahn, Mattan Erez, William J. Dally	Tradeoff between data-, instruction-, and thread-level parallelism in stream processors.	ICS	2007	DBLP DOI BibTeX RDF	ILP, TLP, stream processors, aspect ratio, DLP
38	Steven D. Galbraith, Raminder S. Ruprai	An Improvement to the Gaudry-Schost Algorithm for Multidimensional Discrete Logarithm Problems.	IMACC	2009	DBLP DOI BibTeX RDF	discrete logarithm problem (DLP)
35	Francesco Ricca, Nicola Leone, Valerio De Bonis, Tina Dell'Armi, Stefania Galizia, Giovanni Grasso 0002	A DLP System with Object-Oriented Features.	LPNMR	2005	DBLP DOI BibTeX RDF
35	Shaobin Wang, Fan Hong, Guohua Cui	Secure Efficient Proxy Blind Signature Schemes Based DLP.	CEC	2005	DBLP DOI BibTeX RDF
35	Karthikeyan Sankaralingam, Ramadass Nagarajan, Haiming Liu 0001, Changkyu Kim, Jaehyuk Huh 0001, Nitya Ranganathan, Doug Burger, Stephen W. Keckler, Robert G. McDonald, Charles R. Moore	TRIPS: A polymorphous architecture for exploiting ILP, TLP, and DLP.	ACM Trans. Archit. Code Optim.	2004	DBLP DOI BibTeX RDF	scalable and high-performance computing, Computer architecture, configurable computing
35	Karthikeyan Sankaralingam, Ramadass Nagarajan, Haiming Liu 0001, Changkyu Kim, Jaehyuk Huh 0001, Doug Burger, Stephen W. Keckler, Charles R. Moore	Exploiting ILP, TLP and DLP with the Polymorphous TRIPS Architecture.	ISCA	2003	DBLP DOI BibTeX RDF
35	Ioan Alfred Letia, Florin Craciun, Zoltan Köpe	Norms for DLP Agents Working in a Warehouse Scenario.	IEA/AIE	2001	DBLP DOI BibTeX RDF	social constraints, knowledge representation, autonomous agents, norms, distributed problem solving, KBS methodologies
35	Jesús Corbal, Roger Espasa, Mateo Valero	Exploiting a New Level of DLP in Multimedia Applications.	MICRO	1999	DBLP DOI BibTeX RDF
35	Burton S. Kaliski Jr.	ECC/DLP and Fractoring-Based Cryptography: A Tale of Two Families (Abstract).	ASIACRYPT	1998	DBLP DOI BibTeX RDF
27	Claus Diem, Emmanuel Thomé	Index Calculus in Class Groups of Non-hyperelliptic Curves of Genus Three.	J. Cryptol.	2008	DBLP DOI BibTeX RDF	Index calculus, Non-hyperelliptic curves, Class groups, Jacobians
27	Min Li 0001, Bruno Bougard, Weiyu Xu, David Novo, Liesbet Van der Perre, Francky Catthoor	Optimizing Near-ML MIMO Detector for SDR Baseband on Parallel Programmable Architectures.	DATE	2008	DBLP DOI BibTeX RDF
27	Jidi Zhao, Harold Boley	Combining Fuzzy Description Logics and Fuzzy Logic Programs.	Web Intelligence/IAT Workshops	2008	DBLP DOI BibTeX RDF
27	Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler	Cheap Boolean Role Constructors for Description Logics.	JELIA	2008	DBLP DOI BibTeX RDF
27	Shorin Kyo, Shin'ichiro Okazaki, Tamio Arai	An Integrated Memory Array Processor for Embedded Image Recognition Systems.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Parallel SIMD processor, memory array processor, image processing, image recognition, parallel language
27	Laura Hitt	On the Minimal Embedding Field.	Pairing	2007	DBLP DOI BibTeX RDF	embedding degree, security, elliptic curve cryptography, discrete logarithm, pairing-based cryptosystems
27	Peirong Jia, Jonathan Kofman, Chad English	Real-time full-field 3-D surface-shape measurement using off-the-shelf components and a single processor.	3DIM	2007	DBLP DOI BibTeX RDF
27	Nicola Leone, Gerald Pfeifer, Wolfgang Faber 0001, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello	The DLV system for knowledge representation and reasoning.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	computational complexity, knowledge representation, implementation, nonmonotonic reasoning, stable models, Answer sets
27	Vivek Nigam, João Leite 0001	A Dynamic Logic Programming Based System for Agents with Declarative Goals.	DALT	2006	DBLP DOI BibTeX RDF
27	Arjen K. Lenstra, Dan Page, Martijn Stam	Discrete Logarithm Variants of VSH.	VIETCRYPT	2006	DBLP DOI BibTeX RDF	Cyclotomic Subgroup, Hash Functions, Collision Resistance
27	Suzanne Rivoire, Rebecca Schultz, Tomofumi Okuda, Christos Kozyrakis	Vector Lane Threading.	ICPP	2006	DBLP DOI BibTeX RDF
27	Hyun Wook Ok, Seong-Deok Lee, Wonhee Choe, Du-Sik Park, Chang-Yeong Kim	Color processing for multi-primary display devices.	ICIP (3)	2005	DBLP DOI BibTeX RDF
27	Yunlei Zhao, Robert H. Deng, Binyu Zang, Yiming Zhao	Practical Zero-Knowledge Arguments from Sigma-Protocols.	WINE	2005	DBLP DOI BibTeX RDF
27	Shorin Kyo, Shin'ichiro Okazaki, Tamio Arai	An Integrated Memory Array Processor Architecture for Embedded Image Recognition Systems.	ISCA	2005	DBLP DOI BibTeX RDF
27	Esther Salamí, Mateo Valero	Initial Evaluation of Multimedia Extensions on VLIW Architectures.	SAMOS	2004	DBLP DOI BibTeX RDF
27	Gerald Pfeifer	Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs.	LPNMR	2004	DBLP DOI BibTeX RDF
27	Terrance Swift	Deduction in Ontologies via ASP.	LPNMR	2004	DBLP DOI BibTeX RDF
27	Michiel Hildebrand, Anton Eliëns, Zhisheng Huang, Cees T. Visser	Interactive Agents Learning Their Environment.	IVA	2003	DBLP DOI BibTeX RDF
27	Zhisheng Huang, Anton Eliëns, Cees T. Visser	3D agent-based virtual communities.	Web3D	2002	DBLP DOI BibTeX RDF	distributed logic programming, agents, VRML, virtual community, networked virtual environments, ACL
27	Stefania Costantini, Ramón P. Otero, Alessandro Provetti, Tran Cao Son	Disjunctive Logic Programs with Inheritance Revisited.	ISMIS	2002	DBLP DOI BibTeX RDF
25	Antoine Joux, Reynald Lercier, David Naccache, Emmanuel Thomé	Oracle-Assisted Static Diffie-Hellman Is Easier Than Discrete Logarithms.	IMACC	2009	DBLP DOI BibTeX RDF	sdhp, ffs, nfs, dlp
25	David J. Malan, Matt Welsh, Michael D. Smith 0001	Implementing public-key infrastructure for sensor networks.	ACM Trans. Sens. Networks	2008	DBLP DOI BibTeX RDF	ECDLP, MICA2, TinySec, sensor networks, ECC, elliptic curve cryptography, TinyOS, motes, Diffie-Hellman, DLP
25	Hillery C. Hunter, Jaime H. Moreno	A new look at exploiting data parallelism in embedded systems.	CASES	2003	DBLP DOI BibTeX RDF	sub-word parallelism, architecture, embedded, DSP, telecommunications, SIMD, VLIW, processor, ILP, media, DLP, data-level parallelism
24	Sara Porat, Boaz Carmeli, Tamar Domany, Tal Drory, Ksenya Kveler, Alex Melament, Haim Nelken	Masking Gateway for Enterprises.	Languages: From Formal to Natural	2009	DBLP DOI BibTeX RDF	Data Leakage Prevention (DLP), de-identification, Service Oriented Architecture (SOA), anonymization, Optical Character Recognition (OCR), data masking
24	Jun Zhang, LiQun Chen	An Improved Algorithm for Discrete Logarithm Problem.	ESIAT (2)	2009	DBLP DOI BibTeX RDF	discrete logarithm problem (DLP), baby-step giant-step, primitive-root, hash table
21	Xiangquan Gui, Binxuan Zhang, Li Li, Yi Yang	DLP-GAN: learning to draw modern Chinese landscape photos with generative adversarial network.	Neural Comput. Appl.	2024	DBLP DOI BibTeX RDF
21	Hao Lin	DLP-personality detection: a text-based personality detection framework with psycholinguistic features and pre-trained features.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
21	Xiangquan Gui, Binxuan Zhang, Li Li, Yi Yang	DLP-GAN: learning to draw modern Chinese landscape photos with generative adversarial network.	CoRR	2024	DBLP DOI BibTeX RDF
21	Hyejin S. Kim, Hyonyoung Han, Ji Yeon Son	Anomaly Detection During Additive Processes for DLP 3D Printing.	ICACT	2024	DBLP DOI BibTeX RDF
21	Jingjing Wan, Lechen Sun, Tianhao Du	Design and Applications of Soft Actuators Based on Digital Light Processing (DLP) 3D Printing.	IEEE Access	2023	DBLP DOI BibTeX RDF
21	Martin Ekerå	On the success probability of the quantum algorithm for the short DLP.	CoRR	2023	DBLP DOI BibTeX RDF
21	Kishu Gupta, Ashwani Kush	A Learning oriented DLP System based on Classification Model.	CoRR	2023	DBLP DOI BibTeX RDF
21	Kishu Gupta, Ashwani Kush	A Forecasting-Based DLP Approach for Data Security.	CoRR	2023	DBLP DOI BibTeX RDF
21	Yoshinori Aono, Junji Shikata	Anonymous Broadcast Authentication with Logarithmic-order Ciphertexts from DLP or LWE.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
21	Zonghao Ying, Bin Wu 0011	DLP: towards active defense against backdoor attacks with decoupled learning process.	Cybersecur.	2023	DBLP DOI BibTeX RDF
21	Benn W. B. Proper, Brandon Caasenbrood, Irene A. Kuling	Easy Cleaning of 3D SLA/DLP Printed Soft Fluidic Actuators with Complex Internal Geometry.	RoboSoft	2023	DBLP DOI BibTeX RDF
21	Qinghua Yu, Zixiao Zhu, Xiru Fan, Dong Wang	Integrated DLP and DIW 3D Printer for Flexible Electronics.	ICIRA (4)	2023	DBLP DOI BibTeX RDF
21	Gessica Alecci, Simone Dutto, Nadir Murru	Pell hyperbolas in DLP-based cryptosystems.	Finite Fields Their Appl.	2022	DBLP DOI BibTeX RDF
21	Jiezhen Tang, Hui Zhu 0001, Rongxing Lu, Xiaodong Lin 0001, Hui Li 0006, Fengwei Wang	DLP: Achieve Customizable Location Privacy With Deceptive Dummy Techniques in LBS Applications.	IEEE Internet Things J.	2022	DBLP DOI BibTeX RDF
21	Jiao Han, Jincheng Zhuang	DLP in semigroups: Algorithms and lower bounds.	J. Math. Cryptol.	2022	DBLP DOI BibTeX RDF
21	Lidong Zhao, Zening Men, Lifang Wu, Zhi Zhao, Yan Zhang, Ge Shi 0002	Simulation of resin filling distance during the pulling-up stage for rapid DLP printing.	VRCAI	2022	DBLP DOI BibTeX RDF
21	Alexander Mandl, Uwe Egly	Implementations for Shor's algorithm for the DLP.	GI-Jahrestagung	2022	DBLP DOI BibTeX RDF
21	Lingxin Cao, Lihao Tian, Hao Peng, Yu Zhou, Lin Lu	Constrained stacking in DLP 3D printing.	Comput. Graph.	2021	DBLP DOI BibTeX RDF
21	Gessica Alecci, Simone Dutto, Nadir Murru	Pell hyperbolas in DLP-based cryptosystems.	CoRR	2021	DBLP BibTeX RDF
21	Qutaiba Alsandi, Masaomi Ikeda, Yoshinori Arisaka, Toru Nikaido, Yumi Tsuchida, Alireza Sadr, Nobuhiko Yui, Junji Tagami	Evaluation of Mechanical and Physical Properties of Light and Heat Polymerized UDMA for DLP 3D Printer.	Sensors	2021	DBLP DOI BibTeX RDF
21	Riccardo Colella, Francesco Paolo Chietera, Luca Catarinucci	Analysis of FDM and DLP 3D-Printing Technologies to Prototype Electromagnetic Devices for RFID Applications.	Sensors	2021	DBLP DOI BibTeX RDF
21	Guy Amit, Amir Yeshooroon, Michael Kiperberg, Nezer J. Zaidenberg	DLP-Visor: A Hypervisor-based Data Leakage Prevention System.	ICISSP	2021	DBLP DOI BibTeX RDF
21	Mohammed A. Alsuwaie, Babak Habibnia, Pavel Gladyshev	Data Leakage Prevention Adoption Model & DLP Maturity Level Assessment.	ISCSIC	2021	DBLP DOI BibTeX RDF
21	Yang Li, Xianfeng Li, Mingtao Chen, Weikang Zhou, Fan Deng 0002	SALAD: Static Analyzer for Loop Acceleration by Exploiting DLP.	HP3C	2021	DBLP DOI BibTeX RDF
21	Jayson Haebich, Christian Sandor, Álvaro Cassinelli	Integration of stereoscopic laser-based geometry into 3D video using DLP Link synchronisation.	SIGGRAPH ASIA Emerging Technologies	2021	DBLP DOI BibTeX RDF
21	Zechao Liu, Yandong Li, Lifang Wu, Kejian Cui, Jianhua Yan, Hui Yu 0001	Model guided DLP 3D printing for solid and hollow structure.	HSI	2021	DBLP DOI BibTeX RDF