Search results for "puzzle"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Christoph Benzmüller, Sebastian Reiche	Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOL.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
14	Lais Tono Cardozo, Victor Travassos Sarinho, Luís Henrique Montrezor, Lucila Ludmila Paula Gutierrez, Érica Maria Granjeiro, Fernanda Klein Marcondes	Cardiac Cycle Puzzle: Development and Analysis of Students' Perception of an Online Digital Version for Teaching Cardiac Physiology.	J. Interact. Syst.	2021	DBLP DOI BibTeX RDF
14	Elizabeth Rowe, Ma. Victoria Almeda, Jodi Asbell-Clarke, Richard Scruggs, Ryan Baker 0001, Erin Bardar, Santiago Gasca	Assessing implicit computational thinking in Zoombinis puzzle gameplay.	Comput. Hum. Behav.	2021	DBLP DOI BibTeX RDF
14	Konrad Werner	Structural coupling and the puzzle of surfaces: ontology of boundaries from the minimally cognitive perspective.	Adapt. Behav.	2021	DBLP DOI BibTeX RDF
14	Sun Bing	Wireless network for computer puzzle online software cloud platform based on CBIR and sustainable computing.	Int. J. Netw. Virtual Organisations	2021	DBLP DOI BibTeX RDF
14	Sanghyun Jo, In-Jae Yu	Puzzle-CAM: Improved Localization Via Matching Partial And Full Features.	ICIP	2021	DBLP DOI BibTeX RDF
14	Ahti-Veikko Pietarinen	Peirce's Diagrammatic Solutions to 'Peirce's Puzzle'.	Diagrams	2021	DBLP DOI BibTeX RDF
14	Aydin Abadi, Aggelos Kiayias	Multi-instance Publicly Verifiable Time-Lock Puzzle and Its Applications.	Financial Cryptography (2)	2021	DBLP DOI BibTeX RDF
14	Xavier Anadón, Pablo Sanahuja, V. Javier Traver, Angeles López, José Ribelles	Characterising Players of a Cube Puzzle Game with a Two-level Bag of Words.	UMAP (Adjunct Publication)	2021	DBLP DOI BibTeX RDF
14	Amruth N. Kumar	Using Markov Transition Matrix to Analyze Parsons Puzzle Solutions (Short Paper).	EDM (Workshops)	2021	DBLP BibTeX RDF
14	Mayank Raikwar, Danilo Gligoroski	Non-Interactive VDF Client Puzzle for DoS Mitigation.	EICC	2021	DBLP DOI BibTeX RDF
14	Sven Heiberg, Kristjan Krips, Jan Willemson, Priit Vinkel	Facial Recognition for Remote Electronic Voting - Missing Piece of the Puzzle or Yet Another Liability?	ETAA	2021	DBLP DOI BibTeX RDF
14	Marius Schlegel, Peter Amthor 0001	The Missing Piece of the ABAC Puzzle: A Modeling Scheme for Dynamic Analysis.	SECRYPT	2021	DBLP DOI BibTeX RDF
14	Gianni Viardo Vercelli, Saverio Iacono, Mario Vallarino, Daniele Zolezzi	Puzzle Battle 2.0: A Revisited Serious Game in VR During Pandemic's Period.	GALA	2021	DBLP DOI BibTeX RDF
14	Hsiang-Chieh Chen, Chun-Ting Tsai, Chen-Yu Lin	Completing a Six-sided 3D Puzzle using SCARA.	ICSSE	2021	DBLP DOI BibTeX RDF
14	Ben Prystawski, Rebekah Gelpi, Chris Lucas 0001, Daphna Buchsbaum	Modelling Recognition in Human Puzzle Solving.	CogSci	2021	DBLP BibTeX RDF
14	Mathieu Riand, Laurent Dollé, Patrick Le Callet	Implicitly using Human Skeleton in Self-supervised Learning: Influence on Spatio-temporal Puzzle Solving and on Video Action Recognition.	ROBOVIS	2021	DBLP DOI BibTeX RDF
14	Aline Hufschmitt, Adrien Dombrowsky, Adam J. Sporka	Soundoku: A sound puzzle game.	CoG	2021	DBLP DOI BibTeX RDF
14	Francesco Venco, Pier Luca Lanzi	An Agent-Based Approach for Procedural Puzzle Generation in Graph-Based Maps.	CoG	2021	DBLP DOI BibTeX RDF
14	Connor Gregor	Measuring Difficulty of Novel Clockwork Puzzle Instances Using Evolutionary Algorithms.	CoG	2021	DBLP DOI BibTeX RDF
14	Jeppe Theiss Kristensen, Arturo Valdivia, Paolo Burelli	Statistical Modelling of Level Difficulty in Puzzle Games.	CoG	2021	DBLP DOI BibTeX RDF
14	Elise Deitrick	Graphical Parsons Puzzle Creator: Sharing the Full Power of 2D Parsons Problems Through a Graphical, Open-source Online Tool.	SIGCSE	2021	DBLP DOI BibTeX RDF
14	Wei Yan, Maya Israel, Feiya Luo, Ruohan Liu	Exploring Elementary Students' Debugging Behaviors in Puzzle-based Programming: A Learning Trajectory Approach.	SIGCSE	2021	DBLP DOI BibTeX RDF
14	Jingsai Liang	Name Search Puzzle: Learning Cultural Competence Through a Programming Lab.	SIGCSE	2021	DBLP DOI BibTeX RDF
14	Rainer Müller, Ali Kanso, Xiaomei Xu	Intelligent Robotic System for Solving Dissection Puzzle Combining K-Nearest Neighbors, Decision Tree and Deep Q Network.	CASE	2021	DBLP DOI BibTeX RDF
14	John Allen, Caitlin Kelleher	Quantifying Novice Behavior, Experience, and Mental Effort in Code Puzzle Pathways.	CHI Extended Abstracts	2021	DBLP DOI BibTeX RDF
14	Suthee Ruangwises, Toshiya Itoh	Physical ZKP for Connected Spanning Subgraph: Applications to Bridges Puzzle and Other Problems.	UCNC	2021	DBLP DOI BibTeX RDF
14	Michael Wessel	A Tangram Puzzle Solver in Common Lisp.	ELS	2021	DBLP BibTeX RDF
14	Lukasz Spierewka, Rafal Szrajber, Dominik Szajerman	Procedural Level Generation with Difficulty Level Estimation for Puzzle Games.	ICCS (5)	2021	DBLP DOI BibTeX RDF
14	Alexandros Tremopoulos, George E. Raptis, Christos Katsanos	WhatShapeWhatColor: Designing a Puzzle Game to Elicit the Field Dependence-Independence Cognitive Style.	PCI	2021	DBLP DOI BibTeX RDF
14	Chen-Yu Lin, Chun-Ting Tsai, Hsiang-Chieh Chen	A Robotic System for Doing Six-sided Puzzle.	ISPACS	2021	DBLP DOI BibTeX RDF
14	Ajrina Hysaj	Group Reports in the Online Platform: A Puzzle, a Ride in the Park or a Steep Slope: A Case Study of Multicultural Undergraduate Students in the United Arab Emirates.	TALE	2021	DBLP DOI BibTeX RDF
14	Marina Khoroshiltseva, Ben Vardi, Alessandro Torcinovich, Arianna Traviglia, Ohad Ben-Shahar, Marcello Pelillo	Jigsaw Puzzle Solving as a Consistent Labeling Problem.	CAIP (2)	2021	DBLP DOI BibTeX RDF
14	Jake Gonzalez, Chau Pham 0001, Afamefuna Umejiaku, Juanita Benjamin, Tommy Dang	SkeletonVR: Educating Human Anatomy Through An Interactive Puzzle Assembly.	IAIT	2021	DBLP DOI BibTeX RDF
14	Archana Shrivastava	Are Millennials Communication Deficient? Solving a Generational Puzzle in an Indian Context.	IEEE Trans. Prof. Commun.	2020	DBLP DOI BibTeX RDF
14	Mario González-Sales, Olivier Barrière, Olivier Tremblay Pierre, Guillaume Bonnefois, Julie Desrochers, Fahima Nekka	Assembling Pharmacometric Datasets in R - The puzzle Package.	R J.	2020	DBLP DOI BibTeX RDF
14	Hadeel Elayan, Osama Amin, Basem Shihada, Raed M. Shubair, Mohamed-Slim Alouini	Terahertz Band: The Last Piece of RF Spectrum Puzzle for Communication Systems.	IEEE Open J. Commun. Soc.	2020	DBLP DOI BibTeX RDF
14	John Barr	Scrabble puzzle challenge.	Inroads	2020	DBLP DOI BibTeX RDF
14	Doug Lloyd 0001	A CS50 puzzle.	Inroads	2020	DBLP DOI BibTeX RDF
14	Jérémy Foxcroft, Daniel A. Ashlock	A polyomino puzzle for arithmetic practice.	J. Int. Comput. Games Assoc.	2020	DBLP DOI BibTeX RDF
14	Yuexin Zhang, Xinyi Huang 0001, Xiaofeng Chen 0001, Leo Yu Zhang, Jun Zhang 0010, Yang Xiang 0001	A Hybrid Key Agreement Scheme for Smart Homes Using the Merkle Puzzle.	IEEE Internet Things J.	2020	DBLP DOI BibTeX RDF
14	Diego Luis Gonzalez, Simone Giannerini, Rodolfo Rosa	Rumer's transformation: A symmetry puzzle standing for half a century.	Biosyst.	2020	DBLP DOI BibTeX RDF
14	Srilekha Mukherjee, Goutam Sanyal	Image steganography with N-puzzle encryption.	Multim. Tools Appl.	2020	DBLP DOI BibTeX RDF
14	Su-Ju Lu, Ying-Chieh Liu 0001, Po-Ju Chen, Mu-Rong Hsieh	Evaluation of AR embedded physical puzzle game on students' learning achievement and motivation on elementary natural science.	Interact. Learn. Environ.	2020	DBLP DOI BibTeX RDF
14	Barbara De Kegel, Mads Haahr	Procedural Puzzle Generation: A Survey.	IEEE Trans. Games	2020	DBLP DOI BibTeX RDF
14	Ryan M. Nefdt	A Puzzle concerning Compositionality in Machines.	Minds Mach.	2020	DBLP DOI BibTeX RDF
14	Diana Urbano, Maria de Fátima Chouzal, Maria Teresa Restivo	Evaluating an online augmented reality puzzle for DC circuits: Students' feedback and conceptual knowledge gain.	Comput. Appl. Eng. Educ.	2020	DBLP DOI BibTeX RDF
14	Jeppe Theiss Kristensen, Paolo Burelli	Strategies for Using Proximal Policy Optimization in Mobile Puzzle Games.	CoRR	2020	DBLP BibTeX RDF
14	Joep Hamersma, Marc J. van Kreveld, Yushi Uno, Tom C. van der Zanden	Gourds: a sliding-block puzzle with turning.	CoRR	2020	DBLP BibTeX RDF
14	Andrey Rukhin	On the Parallel Tower of Hanoi Puzzle: Acyclicity and a Conditional Triangle Inequality.	CoRR	2020	DBLP BibTeX RDF
14	Charu Agarwal, Rushikesh K. Joshi	Automation Strategies for Unconstrained Crossword Puzzle Generation.	CoRR	2020	DBLP BibTeX RDF
14	Mohammadreza Salehi, Ainaz Eftekhar, Niousha Sadjadi, Mohammad Hossein Rohban, Hamid R. Rabiee	Puzzle-AE: Novelty Detection in Images through Solving Puzzles.	CoRR	2020	DBLP BibTeX RDF
14	Jang-Hyun Kim, Wonho Choo, Hyun Oh Song	Puzzle Mix: Exploiting Saliency and Local Statistics for Optimal Mixup.	CoRR	2020	DBLP BibTeX RDF
14	Suthee Ruangwises, Toshiya Itoh	Physical Zero-Knowledge Proof for Connected Spanning Subgraph Problem and Bridges Puzzle.	CoRR	2020	DBLP BibTeX RDF
14	Fuqing Zhao, Xuan He, Yi Zhang 0096, Wenchang Lei, Weimin Ma, Chuck Zhang, Houbin Song	A jigsaw puzzle inspired algorithm for solving large-scale no-wait flow shop scheduling problems.	Appl. Intell.	2020	DBLP DOI BibTeX RDF
14	Xinya Zhang, Robert Belfer, Paul G. Kry, Etienne Vouga	C-Space tunnel discovery for puzzle path planning.	ACM Trans. Graph.	2020	DBLP DOI BibTeX RDF
14	Joep Hamersma, Marc J. van Kreveld, Yushi Uno, Tom C. van der Zanden	Gourds: A Sliding-Block Puzzle with Turning.	ISAAC	2020	DBLP DOI BibTeX RDF
14	Salil Maharjan, Amruth Kumar 0001	Analyzing Parsons Puzzle Solutions using Modified Levenshtein's Algorithm.	CSEDM@EDM	2020	DBLP BibTeX RDF
14	Léo Robert, Daiki Miyahara, Pascal Lafourcade 0001, Takaaki Mizuki	Physical Zero-Knowledge Proof for Suguru Puzzle.	SSS	2020	DBLP DOI BibTeX RDF
14	Marco Scirea	Adaptive Puzzle Generation for Computational Thinking.	HCI (31)	2020	DBLP DOI BibTeX RDF
14	Junwu Wang, Lijuan Liu, Muling Huang, Weilin Jiang, Cheng Yao, Fangtian Ying	PuzMap: Designing a Multi-sensory Puzzle Map for Children to Learn Geography.	HCI (23)	2020	DBLP DOI BibTeX RDF
14	Hiroki Ito, Hiromitsu Shimakawa, Fumiko Harada	Advanced Comprehension Analysis Using Code Puzzle - Considering the Programming Thinking Ability.	ISM@FedCSIS	2020	DBLP DOI BibTeX RDF
14	Hiroki Ito, Hiromitsu Shimakawa, Fumiko Harada	Comprehension analysis considering programming thinking ability using code puzzle.	FedCSIS	2020	DBLP DOI BibTeX RDF
14	Reza Tourani, George Torres, Satyajayant Misra	PERSIA: a PuzzlE-based InteReSt FloodIng Attack Countermeasure.	ICN	2020	DBLP DOI BibTeX RDF
14	Nicola Capece, Ugo Erra, Monica Gruosso, Marco Anastasio	Archaeo Puzzle: An Educational Game Using Natural User Interface for Historical Artifacts.	GCH	2020	DBLP DOI BibTeX RDF
14	Lawrence Ong, Badri N. Vellambi	Secure Network and Index Coding Equivalence: The Last Piece of the Puzzle.	ISIT	2020	DBLP DOI BibTeX RDF
14	Tomohiko Igasaki, Sho Hiramatsu, Daiki Yanagihara, Yuta Baba	Emotion Evaluation During Working on a Puzzle by Spatiotemporal Pattern of Band Power of Electroencephalogram.	EMBC	2020	DBLP DOI BibTeX RDF
14	Yulia Zhiglova	Deconstructing a "puzzle" of visual experiences of blind and low-vision visual artists.	ASSETS	2020	DBLP DOI BibTeX RDF
14	Jeppe Theiss Kristensen, Arturo Valdivia, Paolo Burelli	Estimating Player Completion Rate in Mobile Puzzle Games Using Reinforcement Learning.	CoG	2020	DBLP DOI BibTeX RDF
14	Hrishikesh V. Rao, Sile O'Modhrain	2Across: A Comparison of Audio-Tactile and Screen-Reader based Representations of a Crossword Puzzle.	CHI	2020	DBLP DOI BibTeX RDF
14	Chaima Jemmali, Carter Ithier, Seth Cooper, Magy Seif El-Nasr	Grammar Based Modular Level Generator for a Programming Puzzle Game.	AIIDE Workshops	2020	DBLP BibTeX RDF
14	Annika Kaltenhauser, Verena Rheinstädter, Andreas Butz, Dieter P. Wallach	"You Have to Piece the Puzzle Together": Implications for Designing Decision Support in Intensive Care.	Conference on Designing Interactive Systems	2020	DBLP DOI BibTeX RDF
14	Changlong Sun, Yating Zhang, Qiong Zhang, Xiaozhong Liu	Legal Artificial Intelligence - Have You Lost a Piece from Jigsaw Puzzle?	AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering (1)	2020	DBLP BibTeX RDF
14	Sven Löffler, Ke Liu 0006, Petra Hofstedt	Exploring Properties of the Instant Insanity Puzzle with Constraint Satisfaction Approach.	ICAART (2)	2020	DBLP DOI BibTeX RDF
14	Kaiyue Pang, Yongxin Yang, Timothy M. Hospedales, Tao Xiang 0002, Yi-Zhe Song	Solving Mixed-Modal Jigsaw Puzzle for Fine-Grained Sketch-Based Image Retrieval.	CVPR	2020	DBLP BibTeX RDF
14	Peipei Gao, Yuanhong Zhao, Fang Wang 0010, Mingxiao Lu	A New Teaching Pattern and Evaluation System of Knowledge Point Puzzle in Massive Online Computer Courses.	ICCSE	2020	DBLP DOI BibTeX RDF
14	Yingzhuo Yang, Chang Xu 0001	M.R. Hunter: Hunting for Metamorphic Relations by Puzzle Solving.	ICSE (Workshops)	2020	DBLP DOI BibTeX RDF
14	Olivia Johanna Erdélyi, Gábor Erdélyi	The AI Liability Puzzle and a Fund-Based Work-Around.	AIES	2020	DBLP DOI BibTeX RDF
14	Adrian Macias, Karina Caro, Luís A. Castro 0001, Jose-Fernando Parra	Exploring Player Experience of an Augmented Puzzle and Wearables for Studying Interactions between Parents and Children with Down Syndrome.	PervasiveHealth	2020	DBLP DOI BibTeX RDF
14	Jang-Hyun Kim, Wonho Choo, Hyun Oh Song	Puzzle Mix: Exploiting Saliency and Local Statistics for Optimal Mixup.	ICML	2020	DBLP BibTeX RDF
14	Jeppe Theiss Kristensen, Paolo Burelli	Strategies for Using Proximal Policy Optimization in Mobile Puzzle Games.	FDG	2020	DBLP DOI BibTeX RDF
14	Andreas Hald, Jens Struckmann Hansen, Jeppe Kristensen, Paolo Burelli	Procedural Content Generation of Puzzle Games using Conditional Generative Adversarial Networks.	FDG	2020	DBLP DOI BibTeX RDF
14	Ali Shakir Mahmood	Design Random Number Generator Utilizing The Futoshiki Puzzle.	J. Inf. Hiding Multim. Signal Process.	2019	DBLP BibTeX RDF
14	Altan Yalcin, Achim Koberstein, Kai-Oliver Schocke	An optimal and a heuristic algorithm for the single-item retrieval problem in puzzle-based storage systems with multiple escorts.	Int. J. Prod. Res.	2019	DBLP DOI BibTeX RDF
14	Jared Peterson	A puzzle about desire.	Synth.	2019	DBLP DOI BibTeX RDF
14	Mona Simion	A puzzle for epistemic WAMs.	Synth.	2019	DBLP DOI BibTeX RDF
14	Ziwen Liu, Chao Yang 0003	Hanano Puzzle is NP-hard.	Inf. Process. Lett.	2019	DBLP DOI BibTeX RDF
14	Andrey Kravchenko	Large-scale holistic approach to Web block classification: assembling the jigsaws of a Web page puzzle.	World Wide Web	2019	DBLP DOI BibTeX RDF
14	Nadeem Iqbal 0001, Sagheer Abbas, Muhammad Adnan Khan 0001, Tahir Alyas, Areej Fatima, Aiesha Ahmad	An RGB Image Cipher Using Chaotic Systems, 15-Puzzle Problem and DNA Computing.	IEEE Access	2019	DBLP DOI BibTeX RDF
14	Cameron Browne, Antonios Liapis, Mark H. M. Winands	Special Issue on Computer Aided Game and Puzzle Design.	J. Int. Comput. Games Assoc.	2019	DBLP DOI BibTeX RDF
14	Mark Richard Johnson	Casual Games Before Casual Games: Historicizing Paper Puzzle Games in an Era of Digital Play.	Games Cult.	2019	DBLP DOI BibTeX RDF
14	Ning Cai 0002, Chen Diao, Bo-Han Yan	A Social Computing-Based Analysis on Monogamous Marriage Puzzle of Human.	IEEE Trans. Comput. Soc. Syst.	2019	DBLP DOI BibTeX RDF
14	Shih-Syun Lin, Juo-Yu Yang, Huang-Sin Syu, Chao-Hung Lin, Tun-Wen Pai	Automatic generation of puzzle tile maps for spatial-temporal data visualization.	Comput. Graph.	2019	DBLP DOI BibTeX RDF
14	Leandro C. Coelho, Gilbert Laporte, Arinei Lindbeck, Thibaut Vidal	Benchmark Instances and Branch-and-Cut Algorithm for the Hashiwokakero Puzzle.	CoRR	2019	DBLP BibTeX RDF
14	Olivia Johanna Erdélyi, Gábor Erdélyi	The AI Liability Puzzle and A Fund-Based Work-Around.	CoRR	2019	DBLP BibTeX RDF
14	Jieyi Long, Ribao Wei	Nakamoto Consensus with Verifiable Delay Puzzle.	CoRR	2019	DBLP BibTeX RDF
14	Hadeel Elayan, Osama Amin, Basem Shihada, Raed M. Shubair, Mohamed-Slim Alouini	Terahertz Band: The Last Piece of RF Spectrum Puzzle for Communication Systems.	CoRR	2019	DBLP BibTeX RDF
14	Kilho Son, James Hays, David B. Cooper	Solving Square Jigsaw Puzzle by Hierarchical Loop Constraints.	IEEE Trans. Pattern Anal. Mach. Intell.	2019	DBLP DOI BibTeX RDF
14	Deborah E. Seacrest, Tyler Seacrest	The Prisoner Shouting Puzzle and Variations.	Am. Math. Mon.	2019	DBLP DOI BibTeX RDF
14	A. T. M. Golam Bari, Alessio Gaspar, R. Paul Wiegand, Jennifer L. Albert, Anthony Bucci, Amruth N. Kumar	EvoParsons: design, implementation and preliminary evaluation of evolutionary Parsons puzzle.	Genet. Program. Evolvable Mach.	2019	DBLP DOI BibTeX RDF