Search results for "counter"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Yun-Che Wen, Kuen-Jong Lee	An on Chip ADC Test Structure.	DATE	2000	DBLP DOI BibTeX RDF
12	Daisuke Ikeda, Sachio Hirokawa	Extraction Positive and Negative Keywords for Web Communities.	Discovery Science	2000	DBLP DOI BibTeX RDF
12	Ariel Tankus, Yehezkel Yeshurun	A Model for Visual Camouflage Breaking.	Biologically Motivated Computer Vision	2000	DBLP DOI BibTeX RDF
12	Maria Eleftheriou, Marios Mavronicolas	Linearizability in the Presence of Drifting Clocks and Under Different Delay Assumptions.	DISC	1999	DBLP DOI BibTeX RDF
12	Elvi Räisänen-Ruotsalainen, Timo Rahkonen, Juha Kostamovaara	A BiCMOS time-to-digital converter with 30 ps resolution.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
12	Mihir Bellare, Oded Goldreich 0001, Hugo Krawczyk	Stateless Evaluation of Pseudorandom Functions: Security beyond the Birthday Barrier.	CRYPTO	1999	DBLP DOI BibTeX RDF
12	Hubert Comon, Yan Jurski	Multiple Counters Automata, Safety Analysis and Presburger Arithmetic.	CAV	1998	DBLP DOI BibTeX RDF
12	James L. Caldwell	Classical Propositional Decidability via Nuprl Proof Extraction.	TPHOLs	1998	DBLP DOI BibTeX RDF
12	Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens	The Regular Real-Time Languages.	ICALP	1998	DBLP DOI BibTeX RDF
12	Karl-Heinz Zimmermann	A Unifying Lattice-Based Approach for the Partitioning of Systolic Arrays via LPGS and LSGP.	J. VLSI Signal Process.	1997	DBLP DOI BibTeX RDF
12	Daniel M. Lavery, Wen-mei W. Hwu	Modulo Scheduling of Loops in Control-intensive Non-numeric Programs.	MICRO	1996	DBLP DOI BibTeX RDF	control-intensive, modulo variable expansion, instruction-level parallelism, software pipelining, speculation, modulo scheduling
12	Arthur W. Berger, Ward Whitt	A comparison of the sliding window and the leaky bucket.	Queueing Syst. Theory Appl.	1995	DBLP DOI BibTeX RDF	broadband ISDN, leaky-bucket algorithm, sliding-window algorithm, partial characterization of point processes, traffic descriptors, ATM, Communication networks, queues, extreme values
12	Richard Lee	Sterling software: an NLToolset-based system for MUC-6.	MUC	1995	DBLP DOI BibTeX RDF
12	Moon-Soo Chang, Sun-Mee Kang, Woo-Sik Rho, Heok-Gu Kim, Duck-Jin Kim	Improved binarization algorithm for document image by histogram and edge detection.	ICDAR	1995	DBLP DOI BibTeX RDF	improved binarization algorithm, stroke connectivity problems, mid-level-quality binary image scanning system, erroneous recognition, blemished document surface, integrated binarization scheme, adaptive thresholding technique, variable histogram equalization, background noise removal, gray level histogram equalization, enhanced gray level, edge image composition technique, edge detection, character recognition, character recognition, document image, image distortions
12	Peter F. M. Nacken	Openings Can Introduce Zero Crossings in Boundary Curvature.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	boundary curvature, image processing, mathematical morphology, zero crossings, morphological openings
12	Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis	Timing Verification by Successive Approximation.	CAV	1992	DBLP DOI BibTeX RDF
12	Keiho Akiyama, Kewal K. Saluja	A method of reducing aliasing in a built-in self-test environment.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
12	Paulo Urbano	Learning by Explanation of Failures.	EWSL	1991	DBLP DOI BibTeX RDF	failure, Explanation based learning
12	Sophie Pinchinat	Ordinal Processes in Comparative Concurrency Semantics.	CSL	1991	DBLP DOI BibTeX RDF
12	Ivana Cerná	Some Properties of Zerotesting Bounded One-Way Multicounter Machines.	MFCS	1990	DBLP DOI BibTeX RDF
12	João Falcão e Cunha	Simplifying and Correcting the Treatment of Intentionality in Montague Semantics.	EAIA	1990	DBLP DOI BibTeX RDF
12	Rainer Amann, Utz G. Baitinger	Optimal state chains and state codes in finite state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
12	Albert R. Meyer, Kurt Sieber	Towards Fully Abstract Semantics for Local Variables.	POPL	1988	DBLP DOI BibTeX RDF	ALGOL
12	Jon Bondy	Uninitialized Modula-2 Abstract Object Instances, Yet Again.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	Modula-2
12	Franz-Josef Brandenburg	Intersections of Some Families of Languages.	ICALP	1986	DBLP DOI BibTeX RDF
12	Jacob Gonczaroski	Decidable Properties of Monadic Recursive Schemas with a Depth Parameter.	CAAP	1983	DBLP DOI BibTeX RDF
12	Luc Boasson, Maurice Nivat	Centers of Languages.	Theoretical Computer Science	1981	DBLP DOI BibTeX RDF
12	Werner Dilger, Peter Raulefs	Monadic Program Schemes Under Restricted Classes of Free Interpretations.	ICALP	1974	DBLP DOI BibTeX RDF
12	Neta Elad, Oded Padon, Sharon Shoham	An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
12	Nicola Lusardi, Fabio Garzetti, Andrea Costa, Enrico Ronconi, Angelo Geraci	From Multiphase to Novel Single-Phase Multichannel Shift-Clock Fast Counter Time-to-Digital Converter.	IEEE Trans. Ind. Electron.	2024	DBLP DOI BibTeX RDF
12	Rundong Huang, Zhiping Dong, Zaixin Song, Chunhua Liu	A Novel Counter-Rotating AFPM Machine Based on Magnetic-Field Modulation for Underwater Propulsion System.	IEEE Trans. Ind. Electron.	2024	DBLP DOI BibTeX RDF
12	Loïc France, Florent Bruguier, David Novo, Maria Mushtaq, Pascal Benoit	Reducing the Silicon Area Overhead of Counter-Based Rowhammer Mitigations.	IEEE Comput. Archit. Lett.	2024	DBLP DOI BibTeX RDF
12	Chen Luo, Yijia Zhu, Anfan Chen	What motivates people to counter misinformation on social media? Unpacking the roles of perceived consequences, third-person perception and social media use.	Online Inf. Rev.	2024	DBLP DOI BibTeX RDF
12	Eunsong Kang, Da-Woon Heo, Jiwon Lee, Heung-Il Suk	A Learnable Counter-Condition Analysis Framework for Functional Connectivity-Based Neurological Disorder Diagnosis.	IEEE Trans. Medical Imaging	2024	DBLP DOI BibTeX RDF
12	Karel Pärlin, Taneli Riihonen, Vincent Le Nir, Marc Adrat	Physical-Layer Reliability of Drones and Their Counter-Measures: Full Versus Half Duplex.	IEEE Trans. Wirel. Commun.	2024	DBLP DOI BibTeX RDF
12	Cesare Carissimo	Counter-Intuitive Effects of Q-Learning Exploration in a Congestion Dilemma.	IEEE Access	2024	DBLP DOI BibTeX RDF
12	Myoung-Ho Chae, Seong-Ook Park, Seung-Ho Choi, Chae-Taek Choi	Reinforcement Learning-Based Counter Fixed-Wing Drone System Using GNSS Deception.	IEEE Access	2024	DBLP DOI BibTeX RDF
12	C. Atheeq, Zameer Gulzar, Mana Saleh Al Reshan, Hani Alshahrani, Adel Sulaiman, Asadullah Shaikh	Securing UAV Networks: A Lightweight Chaotic-Frequency Hopping Approach to Counter Jamming Attacks.	IEEE Access	2024	DBLP DOI BibTeX RDF
12	Oscar Arruda d'alva, Edemilson Paraná	Official statistics and big data in Latin America: Data enclosures and counter-movements.	Big Data Soc.	2024	DBLP DOI BibTeX RDF
12	Eslam Eldeeb, Hirley Alves	LoRaWAN-Enabled Smart Campus: The Data Set and a People Counter Use Case.	IEEE Internet Things J.	2024	DBLP DOI BibTeX RDF
12		Retraction Note: Intrusion detection based on machine learning in the internet of things, attacks and counter measures.	J. Supercomput.	2024	DBLP DOI BibTeX RDF
12	Linda Schlegel	Extremist Activities in Digital Gaming Spaces: Challenges and Opportunities for Counter-extremism.	Games Res. Pract.	2024	DBLP DOI BibTeX RDF
12	Jaspal Kaur Saini, Divya Bansal	Computational techniques to counter terrorism: a systematic survey.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
12	D. Sagar, M. Saidi Reddy	A brief review on security issues and counter measure techniques for future generation communication system (LTE/LTE-A).	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
12	Naonori Kakimura, Riku Nitta	Randomized counter-based algorithms for frequency estimation over data streams in O(log⁡log⁡N) space.	Theor. Comput. Sci.	2024	DBLP DOI BibTeX RDF
12	Bo Wei, Teng Huang, Xi Zhang, Jiaming Liang, Yunhao Li, Cong Cao, Dan Li, Yongfeng Chen, Huagang Xiong, Feng Jiang, Xiqiu Zhang	Cam-PC: A Novel Method for Camouflaging Point Clouds to Counter Adversarial Deception in Remote Sensing.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2024	DBLP DOI BibTeX RDF
12	Thao Dang 0001, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha	Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications.	CoRR	2024	DBLP DOI BibTeX RDF
12	Jiarui Li, Ye Yuan, Zehua Zhang	Enhancing LLM Factual Accuracy with RAG to Counter Hallucinations: A Case Study on Domain-Specific Queries in Private Knowledge-Bases.	CoRR	2024	DBLP DOI BibTeX RDF
12	Jaylen Jones, Lingbo Mo, Eric Fosler-Lussier, Huan Sun 0001	A Multi-Aspect Framework for Counter Narrative Evaluation using Large Language Models.	CoRR	2024	DBLP DOI BibTeX RDF
12	Xinbang Dai, Yuncheng Hua, Tongtong Wu, Yang Sheng, Guilin Qi	Counter-intuitive: Large Language Models Can Better Understand Knowledge Graphs Than We Thought.	CoRR	2024	DBLP DOI BibTeX RDF
12	Bruno Pereira Cipriano, Pedro Alves, Paul Denny 0001	A Picture Is Worth a Thousand Words: Exploring Diagram and Video-Based OOP Exercises to Counter LLM Over-Reliance.	CoRR	2024	DBLP DOI BibTeX RDF
12	Roey Bokobza, Yisroel Mirsky	Counter-Samples: A Stateless Strategy to Neutralize Black Box Adversarial Attacks.	CoRR	2024	DBLP DOI BibTeX RDF
12	Jaione Bengoetxea, Yi-Ling Chung, Marco Guerini, Rodrigo Agerri	Basque and Spanish Counter Narrative Generation: Data Creation and Evaluation.	CoRR	2024	DBLP DOI BibTeX RDF
12	Maryam Al-Fehani, Saif Al-Kuwari	Recent Advances in Digital Image and Video Forensics, Anti-forensics and Counter Anti-forensics.	CoRR	2024	DBLP DOI BibTeX RDF
12	Yosuke Ueno, Satoshi Imamura, Yuna Tomida, Teruo Tanimoto, Masamitsu Tanaka, Yutaka Tabuchi, Koji Inoue, Hiroshi Nakamura	SFQ counter-based precomputation for large-scale cryogenic VQE machines.	CoRR	2024	DBLP DOI BibTeX RDF
12	Lingxuan Wu, Xiao Yang, Yinpeng Dong, Liuwei Xie, Hang Su, Jun Zhu	Embodied Active Defense: Leveraging Recurrent Feedback to Counter Adversarial Patches.	CoRR	2024	DBLP DOI BibTeX RDF
12	Seungyoon Lee, Dahyun Jung, Chanjun Park, Seolhwa Lee, Heuiseok Lim	Alternative Speech: Complementary Method to Counter-Narrative for Better Discourse.	CoRR	2024	DBLP DOI BibTeX RDF
12	Kaike Ping, Anisha Kumar, Xiaohan Ding, Eugenia H. Rho	Behind the Counter: Exploring the Motivations and Barriers of Online Counterspeech Writing.	CoRR	2024	DBLP DOI BibTeX RDF
12	Tim Leys, Guillermo A. Pérez 0001	Inform: From Compartmental Models to Stochastic Bounded Counter Machines.	CoRR	2024	DBLP DOI BibTeX RDF
12	Sujanavan Tiruvayipati, Rama Devi Yellasiri, Vikram Narayandas, Maruthavanan Archana, Anupama Meduri	Methodology for Developing an IoT-based Parking Space Counter System using XNO.	Scalable Comput. Pract. Exp.	2024	DBLP DOI BibTeX RDF
12	Juliusz Chroboczek, Toke Høiland-Jørgensen	Relaxed Packet Counter Verification for Babel MAC Authentication.	RFC	2024	DBLP DOI BibTeX RDF
12	Matea Mustafaj, Sonya Dal Cin	Preexisting Stereotypes and Selection of Counter-Stereotypical Genius Representations in Entertainment Media.	J. Media Psychol. Theor. Methods Appl.	2024	DBLP DOI BibTeX RDF
12	Emiliano Zampetti, Maria Aurora Mancuso, Alessandro Capocecera, Paolo Papa, Antonella Macagnano	Improving Aerosol Characterization Using an Optical Particle Counter Coupled with a Quartz Crystal Microbalance with an Integrated Microheater.	Sensors	2024	DBLP DOI BibTeX RDF
12	Peng Lean Chong, Daniel Ismail, Poh Kiat Ng, Feng Yuan Kong, Mohammed Reyasudin Basir Khan, Sargunam Thirugnanam	A TRIZ Approach for Designing a Smart Lighting and Control System for Classrooms Based on Counter Application with Dual PIR Sensors.	Sensors	2024	DBLP DOI BibTeX RDF
12	Martin Kutrib, Andreas Malcher	Reversible Computations of One-Way Counter Automata.	RAIRO Theor. Informatics Appl.	2024	DBLP DOI BibTeX RDF
12	Roberto Magán-Carrión, Daniel Urda, Ignacio Díaz-Cano, Bernabé Dorronsoro	Evaluating the Impact of Different Feature as a Counter Data Aggregation approaches on the Performance of NIDSs and Their Selected Features.	Log. J. IGPL	2024	DBLP DOI BibTeX RDF
12	Jean-Luc Dugelay	A Review on Malicious Facial Image Processing and Possible Counter-Measures.	ICPRAM	2024	DBLP BibTeX RDF
12	Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun	Dimension-Minimality and Primality of Counter Nets.	FoSSaCS (2)	2024	DBLP DOI BibTeX RDF
12	Arijit Shaw, Brendan Juba, Kuldeep S. Meel	An Approximate Skolem Function Counter.	AAAI	2024	DBLP DOI BibTeX RDF
12	Suwei Yang, Kuldeep S. Meel	Engineering an Exact Pseudo-Boolean Model Counter.	AAAI	2024	DBLP DOI BibTeX RDF
12	Matías Tailanián, Marina Gardella, Álvaro Pardo, Pablo Musé	Diffusion models meet image counter-forensics.	WACV	2024	DBLP DOI BibTeX RDF
12	David Milec, Ondrej Kubícek, Viliam Lisý	Continual Depth-limited Responses for Computing Counter-strategies in Sequential Games.	AAMAS	2024	DBLP BibTeX RDF
12	Felipe R. Toledo, Juan García-Serna, Gonzalo A. Núñez, José M. del Valle	Simulation of a flexible multi-vessel extraction plant with counter-current contacting between a solid substrate and supercritical CO2.	Comput. Chem. Eng.	2023	DBLP DOI BibTeX RDF
12	Daniele Masti, Filippo Fabiani, Giorgio Gnecco, Alberto Bemporad	Counter-Example Guided Inductive Synthesis of Control Lyapunov Functions for Uncertain Systems.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
12	Baptiste Goujaud, Aymeric Dieuleveut, Adrien B. Taylor	Counter-Examples in First-Order Optimization: A Constructive Approach.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
12	Stan Lipovetsky	Chance, Logic and Intuition: An Introduction to the Counter-Intuitive Logic of Chance: by Steven Tijms, Singapore: World Scientific, 2021, 256 pp., $34.00 (pbk), ISBN 978-981-124-783-5.	Technometrics	2023	DBLP DOI BibTeX RDF
12	Kutub Uddin, Yoonmo Yang, Byung Tae Oh	Deep learning-based counter anti-forensic of GAN-based attack in HEVC compressed domain using coding pattern analysis.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
12	Byungchoul Park, Hyun-Seung Choi, Jinwoong Jeong, Taewoo Kim 0007, Myung-Jae Lee, Youngcheol Chae	A 113.3-dB Dynamic Range 600 Frames/s SPAD X-Ray Detector With Seamless Global Shutter and Time-Encoded Extrapolation Counter.	IEEE J. Solid State Circuits	2023	DBLP DOI BibTeX RDF
12	Guibin Chen, Qingjie Wang, Dijuan Xu, Hongwen Li, Jin He, Caiyun Lu	Design and experimental research on the counter roll differential speed solid organic fertilizer crusher based on DEM.	Comput. Electron. Agric.	2023	DBLP DOI BibTeX RDF
12	Shanshan Zhao, Biao Xie, Ziwei Liu, Jirui An	Reconfigurable Intelligent Surface-Assisted Radar Deception Electronic Counter-Countermeasures.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
12	Joshua Reginald Pullagura, Dhulipalla Venkata Rao	Black-hole attack and counter measure in ad hoc networks using traditional routing optimization.	Concurr. Comput. Pract. Exp.	2023	DBLP DOI BibTeX RDF
12	Mohammad Gholami, Zaman Amirzadeh	Low-power, high-speed, and area-efficient sequential circuits by quantum-dot cellular automata: T-latch and counter study.	Frontiers Inf. Technol. Electron. Eng.	2023	DBLP DOI BibTeX RDF
12	Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Pérez 0001	Continuous One-counter Automata.	ACM Trans. Comput. Log.	2023	DBLP DOI BibTeX RDF
12	Jeyakumar Ponraj, R. Jeyabharath, P. Veena, Tharumar Srihari	High-performance multiply-accumulate unit by integrating binary carry select adder and counter-based modular wallace tree multiplier for embedding system.	Integr.	2023	DBLP DOI BibTeX RDF
12	Abdulhadi Shoufan, Ernesto Damiani	Contingency Clarification Protocols for Reliable Counter-Drone Operation.	IEEE Trans. Aerosp. Electron. Syst.	2023	DBLP DOI BibTeX RDF
12	Nehru Kandasamy, Nagarjuna Telagam, K. Chitra	Design of novel low power architectures of 4:2, 5:2 compressors and 2-bit counter using 7 nm FinFET technology.	J. Ambient Intell. Humaniz. Comput.	2023	DBLP DOI BibTeX RDF
12	Jean-Elie Pierre, Xiang Sun 0001, Rafael Fierro	Multi-Agent Partial Observable Safe Reinforcement Learning for Counter Uncrewed Aerial Systems.	IEEE Access	2023	DBLP DOI BibTeX RDF
12	Ki Ryung Nam, Kwang Soo Kim, Woo Young Choi	Electrical Characterization by Counter-Doped Pocket Design in Tunnel FETs.	IEEE Access	2023	DBLP DOI BibTeX RDF
12	Irith Pomeranz	Storage and Counter Based Logic Built-In Self-Test.	IEEE Access	2023	DBLP DOI BibTeX RDF
12	Douglas Lopes Da Silva, Renato B. Machado, Olympio L. Coutinho, Felix Antreich	A Soft-Kill Reinforcement Learning Counter Unmanned Aerial System (C-UAS) With Accelerated Training.	IEEE Access	2023	DBLP DOI BibTeX RDF
12	Chanin Jung, Yulhwa Lee, Haeun Yum, Chani Kwon, Changsoon Jang, Luca Quagliato, Taeyong Lee	Counter-Rotating Hoop Stabilizer and SVR Control for Two-Wheels Vehicle Applications.	IEEE Access	2023	DBLP DOI BibTeX RDF
12	Fahad Ali Khan, Gang Li, Anam Nawaz Khan, Qazi Waqas Khan, Myriam Hadjouni, Hela Elmannai	AI-Driven Counter-Terrorism: Enhancing Global Security Through Advanced Predictive Analytics.	IEEE Access	2023	DBLP DOI BibTeX RDF
12	Kyubin Kim, Jaehong Kim 0003, Han-Gyeol Lee, Jihoon Choi, Jiancun Fan, Jingon Joung	UAV Chasing Based on YOLOv3 and Object Tracker for Counter UAV Systems.	IEEE Access	2023	DBLP DOI BibTeX RDF
12	Jaewook Kim, Jaekwang Yun, Joo-Hyung Chae, Suhwan Kim	A 50-1600 MHz Wide-Range Digital Duty-Cycle Corrector With Counter-Based Half-Cycle Delay Line.	IEEE Access	2023	DBLP DOI BibTeX RDF
12	Astrid Mager	European Search? How to counter-imagine and counteract hegemonic search with European search engine projects.	Big Data Soc.	2023	DBLP DOI BibTeX RDF
12	S. K. Binu Siva Singh, K. V. Karthikeyan	High resolution digital pulse width modulator architecture using reversible synchronous sequential counter and synchronous phase-shifted circuit.	Int. J. High Perform. Syst. Archit.	2023	DBLP DOI BibTeX RDF
12	Shruti Konwar, Bibhu Datta Sahoo 0002	Johnson Counter-Based Multiphase Generation for VCO-Based ADC for Direct Digitization of Low Amplitude Sensor Signals.	IEEE Trans. Instrum. Meas.	2023	DBLP DOI BibTeX RDF
12	Gökhan Kayhan, Ismail Iseri	Counter Propagation Network Based Extreme Learning Machine.	Neural Process. Lett.	2023	DBLP DOI BibTeX RDF
12	Jingyi Wei, Yachao Li, Rui Yang, Endi Zhu, Jiabao Ding, Mingyue Ding, Pan Zhang	A Time-Domain Filtering Method Based on Intrapulse Joint Interpulse Coding to Counter Interrupted Sampling Repeater Jamming in SAR.	IEEE Trans. Geosci. Remote. Sens.	2023	DBLP DOI BibTeX RDF
12	Nan Wang, Louisa F. Rieger	Swaying Individuals' Privacy Concerns via Amplifying versus Diminishing Counter Argument.	Pac. Asia J. Assoc. Inf. Syst.	2023	DBLP BibTeX RDF