Search results for "puzzles"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Frank Li 0001, Prateek Mittal, Matthew Caesar 0001, Nikita Borisov	SybilControl: Practical Sybil Defense with Computational Puzzles	CoRR	2012	DBLP BibTeX RDF
16	Abishek Kumarasubramanian, Rafail Ostrovsky, Omkant Pandey, Akshay Wadia	Cryptography Using CAPTCHA Puzzles.	IACR Cryptol. ePrint Arch.	2012	DBLP BibTeX RDF
16	Nelishia Pillay	Finding solutions to sudoku puzzles using human intuitive heuristics.	South Afr. Comput. J.	2012	DBLP DOI BibTeX RDF
16	Sarah Eagle	Learning in the early years: Social interactions around picturebooks, puzzles and digital technologies.	Comput. Educ.	2012	DBLP DOI BibTeX RDF
16	Hideki Tsuiki	Imaginary Cubes and Their Puzzles.	Algorithms	2012	DBLP DOI BibTeX RDF
16	Peng Song 0001, Chi-Wing Fu, Daniel Cohen-Or	Recursive interlocking puzzles.	ACM Trans. Graph.	2012	DBLP DOI BibTeX RDF
16	Lakshmi Kuppusamy, Jothi Rangasamy, Douglas Stebila, Colin Boyd, Juan Manuel González Nieto	Practical client puzzles in the standard model.	AsiaCCS	2012	DBLP DOI BibTeX RDF
16	Shlomi Dolev, Nova Fandina, Ximing Li 0001	Nested Merkle's Puzzles against Sampling Attacks.	Inscrypt	2012	DBLP DOI BibTeX RDF
16	Yves Igor Jerschow, Martin Mauve	Secure Client Puzzles Based on Random Beacons.	Networking (2)	2012	DBLP DOI BibTeX RDF
16	Jaime Carvalho, Luís Duarte, Luís Carriço	An Analysis of Player Strategies and Performance in Audio Puzzles.	ICEC	2012	DBLP DOI BibTeX RDF
16	Frédéric Dandurand, Denis Cousineau 0001, Thomas R. Shultz	Solving nonogram puzzles by reinforcement learning.	CogSci	2012	DBLP BibTeX RDF
16	Bogdan Groza, Bogdan Warinschi	Revisiting Difficulty Notions for Client Puzzles and DoS Resilience.	ISC	2012	DBLP DOI BibTeX RDF
16	Fernanda A. Andaló, Gabriel Taubin, Siome Goldenstein	Solving Image Puzzles with a Simple Quadratic Programming Formulation.	SIBGRAPI	2012	DBLP DOI BibTeX RDF
16	Jothi Rangasamy, Douglas Stebila, Colin Boyd, Juan Manuel González Nieto, Lakshmi Kuppusamy	Effort-Release Public-Key Encryption from Cryptographic Puzzles.	ACISP	2012	DBLP DOI BibTeX RDF
16	Kemal Efe	Generalizations and optimal solutions for coin sorting puzzles.	CGAMES	2012	DBLP DOI BibTeX RDF
16	Aaron C. Port, Roman V. Yampolskiy	Using a GA and Wisdom of Artificial Crowds to solve solitaire battleship puzzles.	CGAMES	2012	DBLP DOI BibTeX RDF
16	Andrew C. Gallagher	Jigsaw puzzles with pieces of unknown orientation.	CVPR	2012	DBLP DOI BibTeX RDF
16	Ning Chen, Sunghun Kim 0001	Puzzle-based automatic testing: bringing humans into the loop by solving puzzles.	ASE	2012	DBLP DOI BibTeX RDF
16	Chitta Baral, Juraj Dzifcak	Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation.	KR	2012	DBLP BibTeX RDF
16	Chuzo Iwamoto, Kento Sasaki, Kenichi Morita	Computational Complexity of String Puzzles.	CATS	2012	DBLP BibTeX RDF
16	Erik D. Demaine, Martin L. Demaine, Yair N. Minsky, Joseph S. B. Mitchell, Ronald L. Rivest, Mihai Patrascu	Picture-Hanging Puzzles.	FUN	2012	DBLP DOI BibTeX RDF
16	Clara Fernández-Vara, Alec Thomson	Procedural Generation of Narrative Puzzles in Adventure Games: The Puzzle-Dice System.	PCG@FDG	2012	DBLP DOI BibTeX RDF
16	Yves Igor Jerschow	Attackers, Packets, and Puzzles: On Denial-of-Service Prevention in Local Area Networks.		2012	RDF
16		Client Puzzles.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
16		Cryptographic Puzzles.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
16	XiaoFeng Wang 0001	Computational Puzzles.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
16	Petri Ihantola, Ville Karavirta	Two-Dimensional Parson's Puzzles: The Concept, Tools, and First Observations.	J. Inf. Technol. Educ. Innov. Pract.	2011	DBLP DOI BibTeX RDF
16	Marianne Winslett	Dennis Shasha speaks out: on how puzzles helped his career, what drives him to write, how we can help biologists, the principles underlying database tuning, why he wears shorts all year, and more.	SIGMOD Rec.	2011	DBLP DOI BibTeX RDF
16	Martin J. Chlond	Puzzle - Integer Programming and League Table Puzzles.	INFORMS Trans. Educ.	2011	DBLP BibTeX RDF
16	Martin J. Chlond	Puzzle - Minesweeper Puzzles.	INFORMS Trans. Educ.	2011	DBLP BibTeX RDF
16	Chitta Baral, Juraj Dzifcak	Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation.	CoRR	2011	DBLP BibTeX RDF
16	Peter Winkler 0001	Review: Famous Puzzles of Great Mathematicians. American Mathematical Society, Providence, RI, 2009, xviii + 325 pp., ISBN 978-0-8218-4814-2, $36. by Miodrag S. Petkovič.	Am. Math. Mon.	2011	DBLP DOI BibTeX RDF
16	Daniel Apon	Review of games, puzzles, & computation by Robert A. Hearn and Erik D. Demaine.	SIGACT News	2011	DBLP DOI BibTeX RDF
16	Lev Reyzin	Review of famous puzzles of great mathematicians by Miodrag S. Petkoviç.	SIGACT News	2011	DBLP DOI BibTeX RDF
16	Jothi Rangasamy, Douglas Stebila, Lakshmi Kuppusamy, Colin Boyd, Juan Manuel González Nieto	Efficient Modular Exponentiation-based Puzzles for Denial-of-Service Protection.	IACR Cryptol. ePrint Arch.	2011	DBLP BibTeX RDF
16	Armin Schmutzler	A unified approach to comparative statics puzzles in experiments.	Games Econ. Behav.	2011	DBLP DOI BibTeX RDF
16	Shi-Qing Xin, Chi-Fu Lai, Chi-Wing Fu, Tien-Tsin Wong, Ying He 0001, Daniel Cohen-Or	Making burr puzzles from 3D models.	ACM Trans. Graph.	2011	DBLP DOI BibTeX RDF
16	Christopher Jefferson, Wendy Moncur, Karen E. Petrie	Combination: automated generation of puzzles with constraints.	SAC	2011	DBLP DOI BibTeX RDF
16	Thomas Holenstein, Grant Schoenebeck	General Hardness Amplification of Predicates and Puzzles - (Extended Abstract).	TCC	2011	DBLP DOI BibTeX RDF
16	Yves Igor Jerschow, Martin Mauve	Non-Parallelizable and Non-Interactive Client Puzzles from Modular Square Roots.	ARES	2011	DBLP DOI BibTeX RDF
16	Marius Cristea, Bogdan Groza	Augmenting a Webmail Application with Cryptographic Puzzles to Deflect Spam.	NTMS	2011	DBLP DOI BibTeX RDF
16	Warin Wattanapornprom, Prabhas Chongstitvatana	Solving multimodal combinatorial puzzles with edge-based estimation of distribution algorithm.	GECCO (Companion)	2011	DBLP DOI BibTeX RDF
16	Xingwei Yang, Nagesh Adluru, Longin Jan Latecki	Particle filter with state permutations for solving image jigsaw puzzles.	CVPR	2011	DBLP DOI BibTeX RDF
16	Jothi Rangasamy, Douglas Stebila, Lakshmi Kuppusamy, Colin Boyd, Juan Manuel González Nieto	Efficient Modular Exponentiation-Based Puzzles for Denial-of-Service Protection.	ICISC	2011	DBLP DOI BibTeX RDF
16	Chitta Baral, Juraj Dzifcak	Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How To Do That Translation.	AAAI Fall Symposium: Advances in Cognitive Systems	2011	DBLP BibTeX RDF
16	Felipe Bacim, Cheryl Stinson, Bireswar Laha, Doug A. Bowman	Building blocks: A novel metaphor for solving 3D puzzles.	3DUI	2011	DBLP DOI BibTeX RDF
16	Douglas Stebila, Lakshmi Kuppusamy, Jothi Rangasamy, Colin Boyd, Juan Manuel González Nieto	Stronger Difficulty Notions for Client Puzzles and Denial-of-Service-Resistant Protocols.	CT-RSA	2011	DBLP DOI BibTeX RDF
16	Gilles Brassard, Peter Høyer, Kassem Kalach, Marc Kaplan, Sophie Laplante, Louis Salvail	Merkle Puzzles in a Quantum World.	CRYPTO	2011	DBLP DOI BibTeX RDF
16	Mohammad Mahmoody, Tal Moran, Salil P. Vadhan	Time-Lock Puzzles in the Random Oracle Model.	CRYPTO	2011	DBLP DOI BibTeX RDF
16	Baylor Wetzel	Transfer Learning in Spatial Reasoning Puzzles.	IJCAI	2011	DBLP DOI BibTeX RDF
16	Petr Jarusek, Radek Pelánek	What Determines Difficulty of Transport Puzzles?	FLAIRS	2011	DBLP BibTeX RDF
16	Radek Pelánek	Difficulty Rating of Sudoku Puzzles by a Computational Model.	FLAIRS	2011	DBLP BibTeX RDF
16	Jinn-Tsong Tsai, Ping-Yi Chou	Solving Japanese puzzles by genetic algorithms.	ICMLC	2011	DBLP DOI BibTeX RDF
16	S. Naranan	A Statistical Study of Failures in Solving Crossword Puzzles.	J. Quant. Linguistics	2010	DBLP DOI BibTeX RDF
16	Chuzo Iwamoto, Kento Sasaki, Kenji Nishio, Kenichi Morita	NP-Hard and k-EXPSPACE-Hard Cast Puzzles.	IEICE Trans. Inf. Syst.	2010	DBLP DOI BibTeX RDF
16	Kit Fine	Some Puzzles of Ground.	Notre Dame J. Formal Log.	2010	DBLP DOI BibTeX RDF
16	Michael Makridis, Nikos Papamarkos	A New Technique for Solving Puzzles.	IEEE Trans. Syst. Man Cybern. Part B	2010	DBLP DOI BibTeX RDF
16	Thomas Holenstein, Grant Schoenebeck	General Hardness Amplification of Predicates and Puzzles	CoRR	2010	DBLP BibTeX RDF
16	Douglas Stebila, Lakshmi Kuppusamy, Jothi Rangasamy, Colin Boyd, Juan Manuel González Nieto	Stronger difficulty notions for client puzzles and denial-of-service-resistant protocols.	IACR Cryptol. ePrint Arch.	2010	DBLP BibTeX RDF
16	Uwe Pfeiffer, Tomas Karnagel, Guido Scheffler	A Sudoku-Solver for Large Puzzles using SAT.	LPAR short papers(Yogyakarta)	2010	DBLP DOI BibTeX RDF
16	Yves Igor Jerschow, Martin Mauve	Offline Submission with RSA Time-Lock Puzzles.	CIT	2010	DBLP DOI BibTeX RDF	timed-release cryptography, protocol, implementation, public key cryptography, puzzle
16	Penelope M. Sanderson	The Power and the Puzzles of Auditory Interfaces.	HCIS	2010	DBLP DOI BibTeX RDF
16	Gill Barequet, Shahar Tal	Solving General Lattice Puzzles.	FAW	2010	DBLP DOI BibTeX RDF
16	David Oranchak	Evolutionary Algorithm for Generation of Entertaining Shinro Logic Puzzles.	EvoApplications (1)	2010	DBLP DOI BibTeX RDF
16	Suratose Tritilanunt	Performance Evaluation of Non-parallelizable Client Puzzles for Defeating DoS Attacks in Authentication Protocols. (PDF / PS)	DBSec	2010	DBLP DOI BibTeX RDF
16	Daniel Binkele-Raible, Ljiljana Brankovic, Henning Fernau, Joachim Kneis, Dieter Kratsch, Alexander Langer, Mathieu Liedloff, Peter Rossmanith	A Parameterized Route to Exact Puzzles: Breaking the 2n-Barrier for Irredundance.	CIAC	2010	DBLP DOI BibTeX RDF
16	Sudheendra Vijayanarasimhan, Kristen Grauman	Top-down pairwise potentials for piecing together multi-class segmentation puzzles.	CVPR Workshops	2010	DBLP DOI BibTeX RDF
16	Sean Davis, Matthew Henderson, Andrew Smith	Modeling Sudoku Puzzles with Python.	SciPy	2010	DBLP DOI BibTeX RDF
16	Harikrishna Narasimhan, Venkatanathan Varadarajan, C. Pandu Rangan	Game Theoretic Resistance to Denial of Service Attacks Using Hidden Difficulty Puzzles.	ISPEC	2010	DBLP DOI BibTeX RDF
16	Ghassan Karame, Srdjan Capkun	Low-Cost Client Puzzles Based on Modular Exponentiation.	ESORICS	2010	DBLP DOI BibTeX RDF
16	Miika Komu, Sasu Tarkoma, Andrey Lukyanenko	Mitigation of Unsolicited Traffic across Domains with Host Identities and Puzzles.	NordSec	2010	DBLP DOI BibTeX RDF
16	Antonios Antoniadis 0001, Andrzej Lingas	Approximability of Edge Matching Puzzles.	SOFSEM	2010	DBLP DOI BibTeX RDF
16	Andreas M. Hinz, Anton Kostov, Fabian Kneißl, Fatma Sürer, Adrian Danek	A mathematical model and a computer tool for the Tower of Hanoi and Tower of London puzzles.	Inf. Sci.	2009	DBLP DOI BibTeX RDF
16	Emilio G. Ortíz-García, Sancho Salcedo-Sanz, Ángel M. Pérez-Bellido, Leopoldo Carro-Calvo, Antonio Portilla-Figueras, Xin Yao 0001	Improving the performance of evolutionary algorithms in grid-based puzzles resolution.	Evol. Intell.	2009	DBLP DOI BibTeX RDF
16	Robert Tybon, Donald Kerr	Automated solutions to incomplete jigsaw puzzles.	Artif. Intell. Rev.	2009	DBLP DOI BibTeX RDF
16	Ljiljana Brankovic, Henning Fernau, Joachim Kneis, Dieter Kratsch, Alexander Langer, Mathieu Liedloff, Daniel Raible 0001, Peter Rossmanith	Breaking the 2^n-Barrier for Irredundance: A Parameterized Route to Solving Exact Puzzles	CoRR	2009	DBLP BibTeX RDF
16	Behrooz Parhami	Motivating Computer Engineering Freshmen Through Mathematical and Logical Puzzles.	IEEE Trans. Educ.	2009	DBLP DOI BibTeX RDF
16	Harikrishna Narasimhan, Venkatanathan Varadarajan, C. Pandu Rangan	Game Theoretic Resistance to Denial of Service Attacks Using Hidden Difficulty Puzzles.	IACR Cryptol. ePrint Arch.	2009	DBLP BibTeX RDF
16		Efficient Client Puzzles based on Repeated-Squaring.	IACR Cryptol. ePrint Arch.	2009	DBLP BibTeX RDF
16	Liqun Chen 0002, Paul Morrissey, Nigel P. Smart, Bogdan Warinschi	Security Notions and Generic Constructions for Client Puzzles.	IACR Cryptol. ePrint Arch.	2009	DBLP BibTeX RDF
16	Robert A. Hearn, Erik D. Demaine	Games, puzzles and computation.		2009	RDF
16	Chuzo Iwamoto, Kento Sasaki, Kenji Nishio, Kenichi Morita	Computational Complexity of Cast Puzzles.	ISAAC	2009	DBLP DOI BibTeX RDF
16	Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robert Trypuz	Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles.	KI	2009	DBLP DOI BibTeX RDF	multi-agent systems, knowledge representation, Prolog, dynamic epistemic logic
16	Rick Nouwen	Two Puzzles about Requirements.	Amsterdam Colloquium on Logic, Language and Meaning	2009	DBLP DOI BibTeX RDF
16	Elpida Tzafestas	Extra-sliding puzzles: Experiments in Cognitive Modeling and Representation for Problem Solving.	IICAI	2009	DBLP BibTeX RDF
16	Jarke J. van Wijk	Keynote address Knots, maps, and tiles: Three visual puzzles.	PacificVis	2009	DBLP DOI BibTeX RDF
16	Ramón Béjar, Cèsar Fernández, Carles Mateu, Nuria Pascual	Bounding the Phase Transition on Edge Matching Puzzles.	ISMVL	2009	DBLP DOI BibTeX RDF
16	Boaz Barak, Mohammad Mahmoody-Ghidary	Merkle Puzzles Are Optimal - An O(n2)-Query Attack on Any Key Exchange from a Random Oracle.	CRYPTO	2009	DBLP DOI BibTeX RDF
16	Mehmet Çelik, Halit Erdogan, Firat Tahaoglu, Tansel Uras, Esra Erdem 0001	Comparing ASP and CP on Four Grid Puzzles.	RCRA@AI*IA	2009	DBLP BibTeX RDF
16	Graham Kendall, Andrew J. Parkes, Kristian Spoerer	A Survey of NP-Complete Puzzles.	J. Int. Comput. Games Assoc.	2008	DBLP BibTeX RDF
16	Ture R. Nielsen, Peter Drewsen, Klaus Hansen	Solving jigsaw puzzles using image features.	Pattern Recognit. Lett.	2008	DBLP DOI BibTeX RDF
16	Helmut Hlavacs, Wilfried N. Gansterer, Hannes Schabauer, Joachim Zottl, Martin Petraschek, Thomas Hoeher, Oliver Jung	Enhancing ZRTP by using Computational Puzzles.	J. Univers. Comput. Sci.	2008	DBLP DOI BibTeX RDF
16	Joseph Almog	Frege Puzzles?	J. Philos. Log.	2008	DBLP DOI BibTeX RDF
16	Boaz Barak, Mohammad Mahmoody-Ghidary	Merkle Puzzles are Optimal	CoRR	2008	DBLP BibTeX RDF
16	Boaz Barak, Mohammad Mahmoody-Ghidary	Merkle Puzzles are Optimal.	IACR Cryptol. ePrint Arch.	2008	DBLP BibTeX RDF
16	Jong-Chul Yoon, In-Kwon Lee, Henry Kang	A Hidden-picture Puzzles Generator.	Comput. Graph. Forum	2008	DBLP DOI BibTeX RDF
16	David E. Goldschmidt, Mukkai S. Krishnamoorthy	Comparing keyword search to semantic search: a case study in solving crossword puzzles using the GoogleTM API.	Softw. Pract. Exp.	2008	DBLP DOI BibTeX RDF
16	James M. Hereford, Hunter Gerlach	Integer-valued Particle Swarm Optimization applied to Sudoku puzzles.	SIS	2008	DBLP DOI BibTeX RDF
16	Kazuki Jimbo, Hiroya Takamura, Manabu Okumura	Solving Crossword Puzzles Using Extended Potts Model.	JSAI	2008	DBLP DOI BibTeX RDF
16	R. P. Davies, Paul A. Roach, S. Perkins	Automation of the Solution of Kakuro Puzzles.	SGAI Conf.	2008	DBLP DOI BibTeX RDF