Search results for "CSP"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Haofeng Yuan	CSP & GCP for Column Generation.		2023	DOI RDF
13	Julia Chuzhoy, Mina Dalirrooyfard, Vadim Grinberg, Zihan Tan	A New Conjecture on Hardness of 2-CSP's with Implications to Hardness of Densest k-Subgraph and Other Problems.	ITCS	2023	DBLP DOI BibTeX RDF
13	Yingjia Du, Yuan Fei, Sini Chen, Huibiao Zhu	Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP.	SEKE	2023	DBLP DOI BibTeX RDF
13	Peishan Huang, Weijiang Hong, Zhenbang Chen, Ji Wang 0001	CSP based Formal Modeling and Verification of Behavior Trees.	QRS Companion	2023	DBLP DOI BibTeX RDF
13	Jin-Yi Cai, Ben Young	Planar #CSP Equality Corresponds to Quantum Isomorphism - A Holant Viewpoint.	ICALP	2023	DBLP DOI BibTeX RDF
13	Hans L. Bodlaender, Carla Groenland, Michal Pilipczuk	Parameterized Complexity of Binary CSP: Vertex Cover, Treedepth, and Related Parameters.	ICALP	2023	DBLP DOI BibTeX RDF
13	Wei Lin, Sini Chen, Huibiao Zhu	Formalization and Verification of MQTT-SN Communication Using CSP.	ECBS	2023	DBLP DOI BibTeX RDF
13	Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan	Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP.	ECBS	2023	DBLP DOI BibTeX RDF
13	Shipeng Wang, Qingzhong Li, Lizhen Cui, Yali Jiang, Zhiqi Shen 0001, Han Yu 0001	CSP-RM: Reputation Management Decision Support for Crowdsourcing Service Providers.	ICWS	2023	DBLP DOI BibTeX RDF
13	Ning Qin, Hongyan Mao, Yiwen Liu, Kai Chen	Modeling and Verifying Privacy-Preserving Authentication Scheme for VANET Using CSP.	COMPSAC	2023	DBLP DOI BibTeX RDF
13	Yixiao Lv, Jiaqi Yin, Sini Chen, Huibiao Zhu	Formalization and Verification of the ICC Mechanism in Android System Using CSP.	ISSREW	2023	DBLP DOI BibTeX RDF
13	Wei Mu, Junkongshuai Wang, Lu Wang, Pengchao Wang, Jiaguan Han, Lan Niu, Jianxiong Bin, Lusheng Liu, Jing Zhang, Jie Jia, Lihua Zhang, Xiaoyang Kang 0001	A Channel Selection Method for Motor Imagery EEG Based on Fisher Score of OVR-CSP.	BCI	2023	DBLP DOI BibTeX RDF
13	Clément Boin, Tristan Groléat, Xavier Guillaume, Gilles Grimaud, Michaël Hauspie	Scale matters: a Comparative Study of Datasets for DDoS Attack Detection in CSP Infrastructure.	CloudNet	2023	DBLP DOI BibTeX RDF
13	Yiwen Liu, Hongyan Mao, Ning Qin, Kai Chen	Formalization and Verification of RocketMQ Using CSP.	ICPADS	2023	DBLP DOI BibTeX RDF
13	Zouhayra Ayadi, Wadii Boulila, Imed Riadh Farah	Modeling Complex Object Changes in Satellite Image Time-Series: Approach based on CSP and Spatiotemporal Graphs.	KES	2023	DBLP DOI BibTeX RDF
13	P. E. R. Bezerra, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte, Dalay Israel de Almeida Pereira	CSP Specification and Verification of a Relay-Based Railway Interlocking System.	SBMF	2023	DBLP DOI BibTeX RDF
13	Nibel Nadjeh, Sabrina Abdellaoui, Fahima Nader	CSP-DC: Data Cleaning via Constraint Satisfaction Problem Solving.	ICAART (2)	2023	DBLP DOI BibTeX RDF
13	Maximilian Bels, Sven Löffler, Ilja Becker, Petra Hofstedt	Constraint-Based Filtering and Evaluation of CSP Search Trees.	ICAART (3)	2023	DBLP DOI BibTeX RDF
13	Kexin Zheng, Ang Li, Han Zhang, T. K. Satish Kumar	FastMapSVM for Predicting CSP Satisfiability.	CP	2023	DBLP DOI BibTeX RDF
13	Alejandro Pereira, Carlos Silva 0003, Marilton S. de Aguiar, Daniel Welfer, Marcelo Dias, Marcelo Ribeiro, Reza Ahmadi	Detection of retinal microlesions through YOLOR-CSP architecture and image slicing with the SAHI algorithm.	IJCNN	2023	DBLP DOI BibTeX RDF
13	Zhiping Liang, Haolan Zhan	CL-CSP: Contrastive Learning with Continuous Semantic Perturbations for Neural Dialogue Generation.	IJCNN	2023	DBLP DOI BibTeX RDF
13	Matteo Golinelli, Francesco Bonomi, Bruno Crispo	The Nonce-nce of Web Security: An Investigation of CSP Nonces Reuse.	ESORICS Workshops (2)	2023	DBLP DOI BibTeX RDF
13	Joshua Brakensiek, Venkatesan Guruswami, Sai Sandeep	SDPs and Robust Satisfiability of Promise CSP.	STOC	2023	DBLP DOI BibTeX RDF
13	Omar Alrabiah, Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar	A Near-Cubic Lower Bound for 3-Query Locally Decodable Codes from Semirandom CSP Refutation.	STOC	2023	DBLP DOI BibTeX RDF
13	Lauri Hella	The Expressive Power of CSP-Quantifiers.	CSL	2023	DBLP DOI BibTeX RDF
13	Jerrin Thomas Panachakel, Ranjana H, Sana Parveen K, Sidharth, Ashish Abraham Samuel	CSP- LSTM Based Emotion Recognition from EEG Signals.	MetroXRAINE	2023	DBLP DOI BibTeX RDF
13	Arndt Kadelka, Gerd Zimmermann, Jan Plachý, Oliver Holschke	A CSP's View on Opportunities and Challenges of Integrated Communications and Sensing.	JC&S	2023	DBLP DOI BibTeX RDF
13	Ying Liu	Exponential Time Complexity of the Complex Weighted Boolean #CSP.	COCOON (1)	2023	DBLP DOI BibTeX RDF
13	Gengchen Mai, Ni Lao, Yutong He, Jiaming Song, Stefano Ermon	CSP: Self-Supervised Contrastive Spatial Pre-Training for Geospatial-Visual Representations.	ICML	2023	DBLP BibTeX RDF
13	Jan Tönshoff, Berke Kisin, Jakob Lindner, Martin Grohe	One Model, Any CSP: Graph Neural Networks as Fast Global Search Heuristics for Constraint Satisfaction.	IJCAI	2023	DBLP DOI BibTeX RDF
13	Saeed Banaeian Far, Azadeh Imani Rad, Maryam Rajabzadeh Asaar	BB-CSP: An Efficient Blockchain-Based Collective Salary Payment Framework Using Weighted Functional Encryption.	SN Comput. Sci.	2022	DBLP DOI BibTeX RDF
13	Wentao Li 0002, Liang Wei Li, Shi Yu Li, Jinchao Mou, Yong Qiang Hei	Efficient Vertex Coordinate Prediction-Based CSP-Hourglass Net for Object OBB Detection in Remote Sensing.	IEEE Geosci. Remote. Sens. Lett.	2022	DBLP DOI BibTeX RDF
13	Yijing Guo, Yixin Zeng, Fengqiang Gao, Yi Qiu, Xuqiang Zhou, Linwei Zhong, Choujun Zhan	Improved YOLOV4-CSP Algorithm for Detection of Bamboo Surface Sliver Defects With Extreme Aspect Ratio.	IEEE Access	2022	DBLP DOI BibTeX RDF
13	James Baxter 0001, Pedro Ribeiro 0002, Ana Cavalcanti 0001	Correction to: Sound reasoning in tock-CSP.	Acta Informatica	2022	DBLP DOI BibTeX RDF
13	James Baxter 0001, Pedro Ribeiro 0002, Ana Cavalcanti 0001	Sound reasoning in tock-CSP.	Acta Informatica	2022	DBLP DOI BibTeX RDF
13	Ningning Chen, Huibiao Zhu, Jiaqi Yin, Yuan Fei, Lili Xiao, Minghua Zhu	Modeling and verifying NDN-based IoV using CSP.	J. Softw. Evol. Process.	2022	DBLP DOI BibTeX RDF
13	Ameen Abdelmutalab, Chunyan Wang 0004	Pedestrian Detection Using MB-CSP Model and Boosted Identity Aware Non-Maximum Suppression.	IEEE Trans. Intell. Transp. Syst.	2022	DBLP DOI BibTeX RDF
13	Omar Alrabiah, Venkatesan Guruswami, Pravesh Kothari, Peter Manohar	A Near-Cubic Lower Bound for 3-Query Locally Decodable Codes from Semirandom CSP Refutation.	Electron. Colloquium Comput. Complex.	2022	DBLP BibTeX RDF
13	Pancha Yannick Hertz, Jérôme Folla Kamdem, Noumbissi Sidze Laure Vanessa, Wembe Tafo Evariste, Essimbi Zobo Bernard	A PVT power immune compact 65 nm CMOS CSP design with a leakage current compensation feedback for CdZnTe/CdTe sensors dedicated to PET applications.	Int. J. Circuit Theory Appl.	2022	DBLP DOI BibTeX RDF
13	Ziyang Zheng, Ting Zhang, Zhaoying Liu, Bo Liu 0011, Yujian Li, Changming Sun	Arbitrarily Oriented Object Detection in Remote Sensing Images Based on Improved YOLOv4-CSP.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2022	DBLP DOI BibTeX RDF
13	Ben Young	Equality on all #CSP Instances Yields Constraint Function Isomorphism via Interpolation and Intertwiners.	CoRR	2022	DBLP DOI BibTeX RDF
13	Jin-Yi Cai, Ben Young	Planar #CSP Equality Corresponds to Quantum Isomorphism - A Holant Viewpoint.	CoRR	2022	DBLP DOI BibTeX RDF
13	Jan Tönshoff, Berke Kisin, Jakob Lindner, Martin Grohe	One Model, Any CSP: Graph Neural Networks as Fast Global Search Heuristics for Constraint Satisfaction.	CoRR	2022	DBLP DOI BibTeX RDF
13	Ying Liu	The Exponential-Time Complexity of the complex weighted #CSP.	CoRR	2022	DBLP BibTeX RDF
13	Ambroise Baril, Miguel Couceiro, Victor Lagerkvist	Component twin-width as a parameter for BINARY-CSP and its semiring generalisations.	CoRR	2022	DBLP DOI BibTeX RDF
13	Joshua Brakensiek, Venkatesan Guruswami, Sai Sandeep	SDPs and Robust Satisfiability of Promise CSP.	CoRR	2022	DBLP DOI BibTeX RDF
13	Julia Chuzhoy, Mina Dalirrooyfard, Vadim Grinberg, Zihan Tan	A New Conjecture on Hardness of Low-Degree 2-CSP's with Implications to Hardness of Densest k-Subgraph and Other Problems.	CoRR	2022	DBLP DOI BibTeX RDF
13	Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan	Modelling the Turtle Python library in CSP.	AREA@IJCAI-ECAI	2022	DBLP DOI BibTeX RDF
13	Hans L. Bodlaender	The Parameterized Complexity Binary CSP for Graphs with a Small Vertex Cover and Related Results.	CoRR	2022	DBLP DOI BibTeX RDF
13	Miguel Angel Pérez-Cutiño, Juan Sebastián Valverde, José Miguel Díaz-Báñez	Detecting broken Absorber Tubes in CSP plants using intelligent sampling and dual loss.	CoRR	2022	DBLP DOI BibTeX RDF
13	Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield	From CCS to CSP: the m-among-n Synchronisation Approach.	EXPRESS/SOS	2022	DBLP DOI BibTeX RDF
13	Atta Ur Rahman, Abdallah Tubaishat, Feras N. Al-Obeidat, Zahid Halim, Madiha Tahir, Fawad Qayum	Extended ICA and M-CSP with BiLSTM towards improved classification of EEG signals.	Soft Comput.	2022	DBLP DOI BibTeX RDF
13	Lili Xiao, Huibiao Zhu, Qiwen Xu, Phan Cong Vinh	Modeling and Verifying PSO Memory Model Using CSP.	Mob. Networks Appl.	2022	DBLP DOI BibTeX RDF
13	Shaorong Zhang, Zhibin Zhu, Benxin Zhang, Bao Feng, Tianyou Yu, Zhi Li, Zhiguo Zhang, Gan Huang, Zhen Liang	Overall optimization of CSP based on ensemble learning for motor imagery EEG decoding.	Biomed. Signal Process. Control.	2022	DBLP DOI BibTeX RDF
13	Victor Lagerkvist, Magnus Wahlström	The (Coarse) Fine-Grained Structure of NP-Hard SAT and CSP Problems.	ACM Trans. Comput. Theory	2022	DBLP DOI BibTeX RDF
13	Hai Hu, Zihang Pu, Haohan Li, Zhexian Liu, Peng Wang	Learning Optimal Time-Frequency-Spatial Features by the CiSSA-CSP Method for Motor Imagery EEG Classification.	Sensors	2022	DBLP DOI BibTeX RDF
13	Mary Judith Antony, Baghavathi Priya Sankaralingam, Rakesh Kumar Mahendran, Akber Abid Gardezi, Muhammad Shafiq 0002, Jin-Ghoo Choi, Habib Hamam	Classification of EEG Using Adaptive SVM Classifier with CSP and Online Recursive Independent Component Analysis.	Sensors	2022	DBLP DOI BibTeX RDF
13	Cunbo Li, Ning Li, Yuan Qiu 0010, Yueheng Peng, Yifeng Wang, Lili Deng, Teng Ma, Fali Li, Dezhong Yao 0001, Peng Xu 0001	Multimodal collaborative BCI system based on the improved CSP feature extraction algorithm.	Virtual Real. Intell. Hardw.	2022	DBLP DOI BibTeX RDF
13	Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun	Translating a large subset of stateflow to hybrid CSP with code optimization.	J. Syst. Archit.	2022	DBLP DOI BibTeX RDF
13	Jin-Yi Cai, Zhiguo Fu	Holographic Algorithm with Matchgates Is Universal for Planar \#CSP over Boolean Domain.	SIAM J. Comput.	2022	DBLP DOI BibTeX RDF
13	P. Padma Priya Dharishini, Prakriya Ramana Murthy	Static Analyzer for Computing WCET of Multithreaded Programs using Hoare's CSP.	ISEC	2022	DBLP DOI BibTeX RDF
13	Yang Windhorse, Nader Almadbooh	Optimizing ML Algorithms Under CSP and Riemannian Covariance in MI-BCIs.	HCI (44)	2022	DBLP DOI BibTeX RDF
13	Hongqin Zhang, Huibiao Zhu, Jiaqi Yin, Ningning Chen	Modeling and Verifying AUPS Using CSP.	SEKE	2022	DBLP DOI BibTeX RDF
13	Peimu Li, Jiaqi Yin, Huibiao Zhu	Formal Verification of COCO Database Framework Using CSP.	SEKE	2022	DBLP DOI BibTeX RDF
13	Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, P. E. R. Bezerra, Philippe Bon, Simon Collart Dutilleul	CSP specification and verification of relay-based railway interlocking systems.	SAC	2022	DBLP DOI BibTeX RDF
13	William Gasarch, Michael C. Laskowski, Shaopeng Zhu	$(\mathbb {Z}, \text {succ}, U), (\mathbb {Z}, E, U)$, and Their CSP's.	TAMC	2022	DBLP DOI BibTeX RDF
13	Sricheta Parui, Deborsi Basu, Uttam Ghosh, Raja Datta	A Brain to UAV Communication Model using Stacked Ensemble CSP algorithm based on Motor Imagery EEG signal.	ICC	2022	DBLP DOI BibTeX RDF
13	Or Zamir	Faster Algorithm for Unique (k, 2)-CSP.	ESA	2022	DBLP DOI BibTeX RDF
13	Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir	Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
13	Lalit Singh Parmar, Sudhir Kumar Singh	A Study of Performance and Analysis CSP Renewable based on Solar Tower Power Plant.	IC3I	2022	DBLP DOI BibTeX RDF
13	Han Wu, Jian Jia, Rui Zhang	Research on classification of motor imagery EEG signals based on TQWT-CSP.	CSAI	2022	DBLP DOI BibTeX RDF
13	Jin-Yi Cai, Daniel P. Szabo	Bounded Degree Nonnegative Counting CSP.	MFCS	2022	DBLP DOI BibTeX RDF
13	Peimu Li, Jiaqi Yin, Huibiao Zhu, Lili Xiao, Miroslav Popovic	Formal Analysis and Verification of DPSTM v2 Architecture Using CSP.	COMPSAC	2022	DBLP DOI BibTeX RDF
13	Xinglin He, Li Zhao, Tongning Meng, Zhiwen Zhang	Feature extraction of Motion-onset visual evoked potential based on CSP and FBCSP.	ICMIP	2022	DBLP DOI BibTeX RDF
13	Jan Dreier, Sebastian Ordyniak, Stefan Szeider	CSP Beyond Tractable Constraint Languages.	CP	2022	DBLP DOI BibTeX RDF
13	Peter Stolz, Sebastian Roth, Ben Stock	To hash or not to hash: A security assessment of CSP's unsafe-hashes expression.	SP (Workshops)	2022	DBLP DOI BibTeX RDF
13	Andrei A. Bulatov, Akbar Rafiey	On the complexity of CSP-based ideal membership problems.	STOC	2022	DBLP DOI BibTeX RDF
13	Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar	Algorithms and certificates for Boolean CSP refutation: smoothed is no harder than random.	STOC	2022	DBLP DOI BibTeX RDF
13	T. E. Boukelia, Oguz Arslan	Techno-economic feasibility of a new combined CSP-geothermal power plant.	SSD	2022	DBLP DOI BibTeX RDF
13	Aymen Ben Said, Malek Mouhoub	A Constraint Satisfaction Problem (CSP) Approach for the Nurse Scheduling Problem.	SSCI	2022	DBLP DOI BibTeX RDF
13	Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen	Formalization and Verification of SIP Using CSP.	PDCAT	2022	DBLP DOI BibTeX RDF
13	Lili Xiao, Huibiao Zhu, Shuangqing Xiang, Phan Cong Vinh	Modeling and verifying SDN under Multi-controller architectures using CSP.	Concurr. Comput. Pract. Exp.	2021	DBLP DOI BibTeX RDF
13	Atef Jaballah, Aref Meddeb	A new algorithm based CSP framework for RFID network planning.	J. Ambient Intell. Humaniz. Comput.	2021	DBLP DOI BibTeX RDF
13	Itsaso Rodríguez-Moreno, José María Martínez-Otzeta, Izaro Goienetxea, Igor Rodriguez Rodriguez, Basilio Sierra	A New Approach for Video Action Recognition: CSP-Based Filtering for Video to Image Transformation.	IEEE Access	2021	DBLP DOI BibTeX RDF
13	Jorge Segarra-Tamarit, Emilio Pérez, Eric Moya, Pablo Ayuso, Hector Beltran	Deep learning-based forecasting of aggregated CSP production.	Math. Comput. Simul.	2021	DBLP DOI BibTeX RDF
13	Oded Goldreich 0001, Tom Gur	Universal locally verifiable codes and 3-round interactive proofs of proximity for CSP.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
13	Carlos Galindo 0002, Naoki Nishida 0001, Josep Silva, Salvador Tamarit	Reversible CSP Computations.	IEEE Trans. Parallel Distributed Syst.	2021	DBLP DOI BibTeX RDF
13	Noah Singer, Madhu Sudan 0001, Santhoshini Velusamy	Streaming approximation resistance of every ordering CSP.	Electron. Colloquium Comput. Complex.	2021	DBLP BibTeX RDF
13	Dmitriy Zhuk	The complexity of the Quantified CSP having the polynomially generated powers property.	CoRR	2021	DBLP BibTeX RDF
13	Michal Koucký 0001, Vojtech Rödl, Navid Talebanfard	A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm.	CoRR	2021	DBLP BibTeX RDF
13	Noah Singer, Madhu Sudan 0001, Santhoshini Velusamy	Streaming approximation resistance of every ordering CSP.	CoRR	2021	DBLP BibTeX RDF
13	Abdulrazaq Abba, Ana Cavalcanti 0001, Jeremy Jacob	Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata.	CoRR	2021	DBLP BibTeX RDF
13	Or Zamir	Faster algorithm for Unique (k, 2)-CSP.	CoRR	2021	DBLP BibTeX RDF
13	Shibo Li, Dominik Scheder	Impatient PPSZ - a Faster algorithm for CSP.	CoRR	2021	DBLP BibTeX RDF
13	Libor Barto, Zarathustra Brady, Andrei Bulatov, Marcin Kozik, Dmitriy Zhuk	Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP.	CoRR	2021	DBLP BibTeX RDF
13	Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar	Algorithms and Certificates for Boolean CSP Refutation: "Smoothed is no harder than Random".	CoRR	2021	DBLP BibTeX RDF
13	Abdelfetah Saadi, Youcef Hammal, Mourad Chabane Oussalah	A CSP-Based Approach for Managing the Dynamic Reconfiguration of Software Architecture.	Int. J. Inf. Technol. Syst. Approach	2021	DBLP DOI BibTeX RDF
13	Michal Koucký 0001, Vojtech Rödl, Navid Talebanfard	A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm.	Log. Methods Comput. Sci.	2021	DBLP DOI BibTeX RDF
13	Nicolás Rojas-Morales, María Cristina Riff, Bertrand Neveu	Learning and focusing strategies to improve ACO that solves CSP.	Eng. Appl. Artif. Intell.	2021	DBLP DOI BibTeX RDF
13	Luis F. González-Portillo, Kevin Albrecht, Clifford K. Ho	Techno-Economic Optimization of CSP Plants with Free-Falling Particle Receivers.	Entropy	2021	DBLP DOI BibTeX RDF