Search results for "puzzles"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	P. D. Smith	XENO: Computer-Assisted Compilation of Crossword Puzzles.	Comput. J.	1983	DBLP DOI BibTeX RDF
16	Lawrence J. Mazlack	Computer Construction of Crossword Puzzles Using Precedence Relationships.	Artif. Intell.	1976	DBLP DOI BibTeX RDF
16	Lawrence J. Mazlack	Machine Selection of Elements in Crossword Puzzles: An Application of Computational Linguistics.	SIAM J. Comput.	1976	DBLP DOI BibTeX RDF
16	Rod M. Burstall	A Program for Solving Word Sum Puzzles.	Comput. J.	1969	DBLP DOI BibTeX RDF
16	Herbert Freeman, L. Garder	Apictorial Jigsaw Puzzles: The Computer Solution of a Problem in Pattern Recognition.	IEEE Trans. Electron. Comput.	1964	DBLP DOI BibTeX RDF
16	H. Bluhme	Three-Dimensional Crossword Puzzles in Hebrew	Inf. Control.	1963	DBLP DOI BibTeX RDF
12	Winslow Burleson, Camilla Nørgaard Jensen	Slow computing gifts (abstract only).	TEI	2010	DBLP DOI BibTeX RDF
12	Todd K. Moon, Jacob H. Gunther, J. J. Kupin	Sinkhorn Solves Sudoku.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
12	Peter Winkler 0001	Puzzled - Understanding relationships among numbers.	Commun. ACM	2009	DBLP DOI BibTeX RDF
12	Peter Winkler 0001	Puzzled - Probability and intuition.	Commun. ACM	2009	DBLP DOI BibTeX RDF
12	Peter Winkler 0001	Puzzled - Will my algorithm terminate?	Commun. ACM	2009	DBLP DOI BibTeX RDF
12	Dmitry Berenson, Siddhartha S. Srinivasa, Dave Ferguson 0001, James J. Kuffner	Manipulation planning on constraint manifolds.	ICRA	2009	DBLP DOI BibTeX RDF
12	Ewing L. Lusk	Using MPI to Implement Scalable Libraries.	PVM/MPI	2009	DBLP DOI BibTeX RDF
12	Alfred M. Bruckstein, Doron Shaked	Crazy Cuts: Dissecting Planar Shapes into Two Identical Parts.	IMA Conference on the Mathematics of Surfaces	2009	DBLP DOI BibTeX RDF
12	Alexandru Iosup	POGGI: Puzzle-Based Online Games on Grid Infrastructures.	Euro-Par	2009	DBLP DOI BibTeX RDF
12	Alissa Nicole Antle, Milena Droumeva, Daniel Ha	Hands on what?: comparing children's mouse-based and tangible-based interaction.	IDC	2009	DBLP DOI BibTeX RDF	comparative experiment, jigsaw puzzle, evaluation, children, methodology, video analysis, tangible interaction, embodied interaction, interaction styles, object manipulation, input methods, digital tabletop, tangible computing
12	Alexandra Boldyreva, David Cash, Marc Fischlin, Bogdan Warinschi	Foundations of Non-malleable Hash and One-Way Functions.	ASIACRYPT	2009	DBLP DOI BibTeX RDF
12	Douglas Stebila, Berkant Ustaoglu	Towards Denial-of-Service-Resilient Key Agreement Protocols.	ACISP	2009	DBLP DOI BibTeX RDF
12	Jihad M. Alja'am, Samir ElSeoud, Arthur Edwards Block, Miguel Ángel García-Ruíz, Ali Jaoua	An Assistive Computerized System for Children with Intellectual and Learning Disabilities.	ICOST	2009	DBLP DOI BibTeX RDF	Multimedia Tutorials, Intellectual Disabilities, Special Education
12	Huei-Yung Lin, Wen-Cheng Fan-Chiang	Image-Based Techniques for Shredded Document Reconstruction.	PSIVT	2009	DBLP DOI BibTeX RDF
12	Man Fai Lau, Yuen-Tak Yu	On Comparing Testing Criteria for Logical Decisions.	Ada-Europe	2009	DBLP DOI BibTeX RDF	condition coverage, condition/decision coverage, control flow criteria, decision coverage, modified condition/ decision coverage (MC/DC), software testing, Boolean expression
12	Patrick Traynor, Michael Chien, Scott Weaver, Boniface Hicks, Patrick D. McDaniel	Noninvasive Methods for Host Certification.	ACM Trans. Inf. Syst. Secur.	2008	DBLP DOI BibTeX RDF	network security, Certification, malware, assurance
12	Peter Winkler 0001	Puzzled: Circular food.	Commun. ACM	2008	DBLP DOI BibTeX RDF
12	Lisa Friedland, James Allan	Joke retrieval: recognizing the same joke told differently.	CIKM	2008	DBLP DOI BibTeX RDF	domain-specific retrieval, document similarity, humor
12	Ellick Chan, Carl A. Gunter, Sonia Jahid, Evgeni Peryshkin, Daniel Rebolledo	Using rhythmic nonces for puzzle-based DoS resistance.	CSAW	2008	DBLP DOI BibTeX RDF	security
12	Jonathan J. H. Zhu, Tao Meng, Zhengmao Xie, Geng Li, Xiaoming Li	A teapot graph and its hierarchical structure of the chinese web.	WWW	2008	DBLP DOI BibTeX RDF	bow tie graph, daisy graph, teapot graph, self similarity
12	Raymond T. Boute	Simple Gedanken Experiments in Leveraging Applications of Formal Methods.	ISoLA	2008	DBLP DOI BibTeX RDF
12	Christian Müller-Tomfelde, Claudia Schremmer	Touchers and mousers: commonalities and differences in co-located collaboration with multiple input devices.	CHI	2008	DBLP DOI BibTeX RDF	direct and indirect input devices, multiple input devices, human factors, trajectories, tabletop, co-located collaboration
12	Antonia Bertolino	Software Testing Forever: Old and New Processes and Techniques for Validating Today's Applications.	PROFES	2008	DBLP DOI BibTeX RDF	Software testing research challenges, Testing and monitoring of dynamic systems, Testing for functional and non-functional properties
12	Jakob Leitner, Michael Haller, Kyungdahm Yun, Woontack Woo, Maki Sugimoto, Masahiko Inami	IncreTable, a mixed reality tabletop game experience.	Advances in Computer Entertainment Technology	2008	DBLP DOI BibTeX RDF	interaction design, tangible user interfaces, mixed reality, pervasive games, tabletop gaming
12	Sieu Phan, Fazel Famili, Ziying Liu, Lourdes Peña Castillo	Bio-Intelligence: A Research Program Facilitating the Development of New Paradigms for Tomorrow's Patient Care.	IT Revolutions	2008	DBLP DOI BibTeX RDF	Information technology, patient care
12	Deyou Tang, Jianqing Xi, Jinguo You, Chuan Zhang, Shujun Xu	Data Evolution and Its Modeling.	FSKD (5)	2008	DBLP DOI BibTeX RDF
12	Ling-Jyh Chen, Bo-Chun Wang, Kuan-Ta Chen, Irwin King, Jimmy Ho-Man Lee	An Analytical Study of Puzzle Selection Strategies for the ESP Game.	Web Intelligence	2008	DBLP DOI BibTeX RDF
12	Chien-Wei Lin, Kuan-Ta Chen, Ling-Jyh Chen, Irwin King, Jimmy Ho-Man Lee	An Analytical Approach to Optimizing the Utility of ESP Games.	Web Intelligence	2008	DBLP DOI BibTeX RDF
12	Jihad M. Alja'am, Haya Alsuwaidi, Noor Alkuwari, Hamda Aldosari	Tutorials-based system to assist Qatari children with special needs.	AICCSA	2008	DBLP DOI BibTeX RDF
12	Erik D. Demaine, Robert A. Hearn	Constraint Logic: A Uniform Framework for Modeling Computation as Games.	CCC	2008	DBLP DOI BibTeX RDF	games, undecidability, hardness
12	J. Alex Halderman, Brent Waters	Harvesting verifiable challenges from oblivious online sources.	CCS	2007	DBLP DOI BibTeX RDF
12	Rhydian Lewis	On the Combination of Constraint Programming and Stochastic Search: The Sudoku Case.	Hybrid Metaheuristics	2007	DBLP DOI BibTeX RDF
12	Emilio G. Ortíz-García, Sancho Salcedo-Sanz, Ángel M. Pérez-Bellido, Antonio Portilla-Figueras	A hybrid hopfield network-genetic algorithm approach for the lights-up puzzle.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
12	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo	Playing with Maude.	All About Maude	2007	DBLP DOI BibTeX RDF
12	Dorothea Baumeister, Jörg Rothe	Satisfiability Parsimoniously Reduces to the TantrixTM Rotation Puzzle Problem.	MCU	2007	DBLP DOI BibTeX RDF	rotation puzzle, tiling of the plane, parsimonious reduction, computational complexity, counting problem
12	Paul Curzon	Serious fun in computer science.	ITiCSE	2007	DBLP DOI BibTeX RDF	cs4fn, widening participation in higher education, innovation, fun, computational thinking, outreach
12	Taifu Li, Yingying Su, Bingxiang Zhong	Remodeling for Fuzzy PID Controller Based on Neural Networks.	ICFIE	2007	DBLP DOI BibTeX RDF	fuzzy PID, remodeling, neural network, MATLAB, function approximation
12	Mary Keeler	Revelator Game of Inquiry: A Peircean Challenge for Conceptual Structures in Application and Evolution.	ICCS	2007	DBLP DOI BibTeX RDF
12	Kouki Kimoto, Hiroyuki Tsuji, Yasuyuki Murai, Shinji Tokumasu	A solution of three-dimensional polyomino packing problems.	SMC	2007	DBLP DOI BibTeX RDF
12	Ingmar Baumgart, Sebastian Mies	S/Kademlia: A practicable approach towards secure key-based routing.	ICPADS	2007	DBLP DOI BibTeX RDF
12	Zong Woo Geem	Harmony Search Algorithm for Solving Sudoku.	KES (1)	2007	DBLP DOI BibTeX RDF	Sudoku puzzle, combinatorial optimization, harmony search
12	Amey Shevtekar, Nirwan Ansari	A Proactive Test Based Differentiation Technique to Mitigate Low Rate DoS Attacks.	ICCCN	2007	DBLP DOI BibTeX RDF
12	Ivan Martinovic, Frank A. Zdarsky, Jens B. Schmitt	Regional-based authentication against dos attacks in wireless networks.	Q2SWinet	2007	DBLP DOI BibTeX RDF	denial-of-service (DoS) attacks, wireless LAN, impersonation attacks
12	Paul Gardner-Stephen	Escalating The War On SPAM Through Practical PoW Exchange.	ICON	2007	DBLP DOI BibTeX RDF
12	Takaaki Mizuki, Yoshinori Kugimoto, Hideaki Sone	Secure Multiparty Computations Using the 15 Puzzle.	COCOA	2007	DBLP DOI BibTeX RDF
12	Daniel Chen 0004, Jamie Hart, Roel Vertegaal	Towards a Physiological Model of User Interruptability.	INTERACT (2)	2007	DBLP DOI BibTeX RDF	Attentive User Interfaces (AUIs), Blogs, Interruptions
12	Mary Keeler, Arun K. Majumdar, John F. Sowa	Revelator's challenge.	K-CAP	2007	DBLP DOI BibTeX RDF	reasoning with captured knowledge, evaluation methodology
12	Daniel Andersson	HIROIMONO Is NP-Complete.	FUN	2007	DBLP DOI BibTeX RDF
12	Matt Bishop	Teaching context in information security.	ACM J. Educ. Resour. Comput.	2006	DBLP DOI BibTeX RDF	computer security, Environment, instruction, judgment
12	Chunxia Xiao, Yongwei Miao, Shu Liu, Qunsheng Peng 0001	A dynamic balanced flow for filtering point-sampled geometry.	Vis. Comput.	2006	DBLP DOI BibTeX RDF	Anisotropic diffusion flow, Dynamic balanced flow, Filtering, Point-sampled geometry, Covariance analysis
12	Michael Makridis, Nikos Papamarkos	A New Technique for Solving a Jigsaw Puzzle.	ICIP	2006	DBLP DOI BibTeX RDF
12	Marco Gori, Marco Ernandes, Giovanni Angelini	Cracking Crosswords: The Computer Challenge.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
12	Yu Sun 0005, Cungen Cao 0001, Yuefei Sui	A Formal Description of Agents' Epistemic States and Environments.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	Epistemic state, Ontology, Agent, Environment, Modality
12	Anthony Wirth, Michael Bertolacci	New algorithms research for first year students.	ITiCSE	2006	DBLP DOI BibTeX RDF	research-led teaching, undergraduate research/capstones, approximation algorithms, haskell, CS1/2
12	Raja Afandi, Jianqing Zhang, Munawar Hafiz, Carl A. Gunter	AMPol: Adaptive Messaging Policy.	ECOWS	2006	DBLP DOI BibTeX RDF
12	Jason Smith 0001, Juan Manuel González Nieto, Colin Boyd	Modelling denial of service attacks on JFK with Meadows's cost-based framework.	ACSW	2006	DBLP BibTeX RDF	security analysis methodologies, cryptographic protocols, denial of service
12	Dennis Hofheinz, Dominique Unruh	Simulatable Security and Polynomially Bounded Concurrent Composability.	S&P	2006	DBLP DOI BibTeX RDF	Reactive Simulatability, Universal Composability, concurrent composition
12	Miguel Nicolau, Conor Ryan	Solving Sudoku with the GAuGE System.	EuroGP	2006	DBLP DOI BibTeX RDF
12	Mordechai Ben-Ari	Minesweeper as an NP-complete problem.	ACM SIGCSE Bull.	2005	DBLP DOI BibTeX RDF	minesweeper, NP-complete, SAT
12	Ajay Mahimkar, Vitaly Shmatikov	Game-Based Analysis of Denial-of-Service Prevention Protocols.	CSFW	2005	DBLP DOI BibTeX RDF
12	Greg Niemeyer, Dan Perkel, Ryan Shaw 0001, Jane McGonigal	Organum: individual presence through collaborative play.	ACM Multimedia	2005	DBLP DOI BibTeX RDF	music authoring, performative play, plurality, thematic abstraction, voice box, video game, voice, character, group dynamics
12	Jean-Paul Allouche, Amir Sapir	Restricted Towers of Hanoi and Morphisms.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
12	Tiziana Ligorio, Susan L. Epstein	Partial Redundant Modeling.	CP	2005	DBLP DOI BibTeX RDF
12	Vincent Vidal 0001, Hector Geffner	Solving Simple Planning Problems with More Inference and No Search.	CP	2005	DBLP DOI BibTeX RDF
12	Julian Szymanski, Tomasz Sarnatowicz, Wlodzislaw Duch	Semantic Memory for Avatars in Cyberspace.	CW	2005	DBLP DOI BibTeX RDF
12	Abelardo Pardo, Carlos Delgado Kloos	Deploying interactive e-labs for a course on operating systems.	SIGITE Conference	2005	DBLP DOI BibTeX RDF	competitive programming, e-laboratories, automatic assessment
12	Michael G. Madden, Tom Howley	Transfer of Experience Between Reinforcement Learning Environments with Progressive Difficulty.	Artif. Intell. Rev.	2004	DBLP DOI BibTeX RDF	experience transfer, Progressive RL, reinforcement learning, Naive Bayes, Q-learning, rule learning, C4.5, PART
12	William Fahle	Review of "Introduction to the Design and Analysis of Algorithms by Ananay Levitin", Addison-Wesley.	SIGACT News	2004	DBLP DOI BibTeX RDF
12	Mark Wallace 0001, Joachim Schimpf, Kish Shen, Warwick Harvey	On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's "A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains".	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	solver performance, Benchmarking, ECLiPSe, Unit Testing, constraint logic programming, Finite Domain, CLP
12	Ross J. Anderson	The Dancing Bear: A New Way of Composing Ciphers.	Security Protocols Workshop	2004	DBLP DOI BibTeX RDF
12	Darren Gergle, David R. Millen, Robert E. Kraut, Susan R. Fussell	Persistence matters: making the most of chat in tightly-coupled work.	CHI	2004	DBLP DOI BibTeX RDF	communication, empirical studies, computer-mediated communication, language, persistence, text chat, shared visual space
12	J. Paul Gibson	A noughts and crosses Java applet to teach programming to primary school children.	PPPJ	2003	DBLP BibTeX RDF
12	Virgil D. Gligor	Guaranteeing Access in Spite of Distributed Service-Flooding Attacks.	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
12	Andrew M. Odlyzko	The Unsolvable Privacy Problem and Its Implications for Security Technologies.	ACISP	2003	DBLP DOI BibTeX RDF
12	Carlo H. Séquin	Keynote lecture: aesthetic engineering.	Symposium on Solid Modeling and Applications	2003	DBLP DOI BibTeX RDF
12	Chengzheng Sun	Undo as concurrent inverse in group editors.	ACM Trans. Comput. Hum. Interact.	2002	DBLP DOI BibTeX RDF	distributed systems, computer-supported cooperative work, concurrency control, REDUCE, operational transformation, collaborative applications, consistence maintenance, Group undo
12	Edsger W. Dijkstra	EWD1300: The Notational Conventions I Adopted, and Why.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF
12	Adi Botea, Martin Müller 0003, Jonathan Schaeffer	Using Abstraction for Planning in Sokoban.	Computers and Games	2002	DBLP DOI BibTeX RDF
12	Pieter W. G. Bots, Hans de Bruijn	Effective Knowledge Management in Professional Organizations: Going by the Rules.	HICSS	2002	DBLP DOI BibTeX RDF	process rules, knowledge management, process management, actor networks
12	Brahim Hnich, Toby Walsh	Models of Injection Problems.	CP	2002	DBLP DOI BibTeX RDF
12	Adi Botea	Using Abstraction for Heuristic Search and Planning.	SARA	2002	DBLP DOI BibTeX RDF
12	Kori Inkpen	Drag-and-drop versus point-and-click mouse interaction styles for children.	ACM Trans. Comput. Hum. Interact.	2001	DBLP DOI BibTeX RDF	electronic games, mouse interaction, point-and-click, children, interface design, gender, interaction styles, drag-and-drop, computers in education, input techniques
12	Wenbo Mao	Timed-Release Cryptography.	Selected Areas in Cryptography	2001	DBLP DOI BibTeX RDF
12	Erik D. Demaine	Playing Games with Algorithms: Algorithmic Combinatorial Game Theory.	MFCS	2001	DBLP DOI BibTeX RDF
12	Emmanouil Magkos, Panayiotis Kotzanikolaou, Vassilios Chrissikopoulos	An Asymmetric Traceability Scheme for Copyright Protection without Trust Assumptions.	EC-Web	2001	DBLP DOI BibTeX RDF
12	Chengzheng Sun	Undo any operation at any time in group editors.	CSCW	2000	DBLP DOI BibTeX RDF	distributed computing, groupware, operational transformation, group editors, group undo
12	Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini	Formalizing Belief Reports - The Approach and a Case Study.	AIMSA	1998	DBLP DOI BibTeX RDF
12	Yoshio Murase, Hitoshi Matsubara, Yuzuru Hiraga	Automatic Making of Sokoban Problems.	PRICAI	1996	DBLP DOI BibTeX RDF
12	Pascal Boldini	Vagueness and Type Theory.	LACL	1996	DBLP DOI BibTeX RDF
12	Wayne Wobcke	The representation of plans in rational agent architectures.	ANZIIS	1996	DBLP DOI BibTeX RDF
12	Tom DeMarco	What 'Lean and Mean' Really Means.	IEEE Softw.	1995	DBLP DOI BibTeX RDF
12	Marc-Michel Corsini, Alain Griffault, Antoine Rauzy	Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms.	LPAR	1993	DBLP DOI BibTeX RDF	Key-words Constraints Languages, Transition Systems, calculus, Mutual Exclusion Algorithms
12	Charlie Rothwell, Andrew Zisserman, David A. Forsyth, Joseph L. Mundy	Canonical Frames for Planar Object Recognition.	ECCV	1992	DBLP DOI BibTeX RDF
12	John A. Ruf	A Note Introducing Syntax Through Semantic Routines.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF