|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 289 occurrences of 237 keywords
|
|
|
Results
Found 902 publication records. Showing 902 according to the selection in the facets
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 |
|
Displaying result #801 - #900 of 902 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|