Search results for "arcade"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
103	Yukiharu Sambe	Japan's Arcade Games and Their Technology.	ICEC	2009	DBLP DOI BibTeX RDF
93	Norman Makoto Su	Street fighter IV: braggadocio off and on-line.	CSCW	2010	DBLP DOI BibTeX RDF	fighting games, gaming culture, hype, street fighter iv, trash talking, video arcade, video games, discourse analysis
83	Koji Matsuda, Kang G. Shin	Applicability of Cyclic-Memory Networks and IEEE1394 for Fine Motion Control and Arcade Games.	RTCSA	1999	DBLP DOI BibTeX RDF	arcade games, Cyclic Memory, IEEE1394, Isochronous mode, common-memory architecture, Motion control
73	Giles Reger, Dmitriy Traytel	A Report of ARCADE 2017.	ARCADE@CADE	2017	DBLP DOI BibTeX RDF
71	K. Suzanne Barber, Thomas J. Graser, Jim Holt, Geoff Baker	Arcade: early dynamic property evaluation of requirements using partitioned software architecture models.	Requir. Eng.	2003	DBLP DOI BibTeX RDF	Software architecture, Requirements models, Dynamic properties
64	K. Suzanne Barber, Thomas J. Graser, Jim Holt	Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation.	ASE	2002	DBLP DOI BibTeX RDF
61	Ashok R. Basawapatna, Alexander Repenning	Cyberspace meets brick and mortar: an investigation into how students engage in peer to peer feedback using both cyberlearning and physical infrastructures.	ITiCSE	2010	DBLP DOI BibTeX RDF	agentsheets, cyberlearning infrastructure, open classroom, peer to peer interaction, physical classroom, scalable game design, scalable game design arcade, traditional learning, computational thinking, programming education
55	Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga	Architectural dependability evaluation with Arcade.	DSN	2008	DBLP DOI BibTeX RDF
55	Alex Koller, Greg Foster, Madeleine Wright	Java Micro Edition and Adobe Flash Lite for arcade-style mobile phone game development: a comparative study.	SAICSIT	2008	DBLP DOI BibTeX RDF	ActionScript, Adobe flash lite, Java micro edition, mobile games, cell phones, comparative study, mobile data services
55	Zeina Jrad, Francine Krief	An Intelligent Interface for the Dynamic Negotiation of QoS in ARCADE.	ICPS	2004	DBLP DOI BibTeX RDF
51	Martin Suda 0001, Sarah Winkler (eds.)	Proceedings of the Third International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2021, Virtual Event, July 16, 2021.	ARCADE@CADE	2021	DBLP BibTeX RDF
51	Geoff Sutcliffe	The Expansion, Modernisation, and Future of the TPTP World.	ARCADE@CADE	2021	DBLP BibTeX RDF
51	David A. Plaisted	Relevance and Abstraction.	ARCADE@CADE	2021	DBLP BibTeX RDF
51	David A. Plaisted	Search Spaces for Theorem Proving Strategies.	ARCADE@CADE	2021	DBLP BibTeX RDF
51	Erika Ábrahám, James H. Davenport, Matthew England 0001, Gereon Kremer	Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic.	ARCADE@CADE	2021	DBLP BibTeX RDF
51	Geoff Sutcliffe, David A. Plaisted	Management of the TPTP Problem Set.	ARCADE@CADE	2021	DBLP BibTeX RDF
51	Michael Rawson 0001, Giles Reger	On Evaluating Theorem Provers.	ARCADE@CADE	2021	DBLP BibTeX RDF
51	Martin Suda 0001, Sarah Winkler (eds.)	Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2019, Natal, Brazil, August 26, 2019.	ARCADE@CADE	2019	DBLP DOI BibTeX RDF
51	Claudia Schon, Sophie Siebert, Frieder Stolzenburg	Using ConceptNet to Teach Common Sense to an Automated Theorem Prover.	ARCADE@CADE	2019	DBLP DOI BibTeX RDF
51	Naveen Sundar Govindarajulu, Selmer Bringsjord, Matthew Peveler	On Quantified Modal Theorem Proving for Modeling Ethics.	ARCADE@CADE	2019	DBLP DOI BibTeX RDF
51	Giles Reger	Boldly Going Where No Prover Has Gone Before.	ARCADE@CADE	2019	DBLP DOI BibTeX RDF
51	Sarah Winkler, Georg Moser	Smarter Features, Simpler Learning?	ARCADE@CADE	2019	DBLP DOI BibTeX RDF
51	Christoph Weidenbach	The Challenge of Unifying Semantic and Syntactic Inference Restrictions.	ARCADE@CADE	2019	DBLP DOI BibTeX RDF
51	Giles Reger, Dmitriy Traytel (eds.)	ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017	ARCADE@CADE	2017	DBLP BibTeX RDF
51	Marijn Heule, Benjamin Kiesl	The Potential of Interference-Based Proof Systems.	ARCADE@CADE	2017	DBLP DOI BibTeX RDF
51	Maria Paola Bonacina	Automated Reasoning for Explainable Artificial Intelligence.	ARCADE@CADE	2017	DBLP DOI BibTeX RDF
51	Gopal Gupta 0001, Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin	A Case for Query-driven Predicate Answer Set Programming.	ARCADE@CADE	2017	DBLP DOI BibTeX RDF
51	Andrew Reynolds 0001	Challenges for Fast Synthesis Procedures in SMT.	ARCADE@CADE	2017	DBLP DOI BibTeX RDF
51	Stephan Schulz 0001	We know (nearly) nothing!l But can we learn?	ARCADE@CADE	2017	DBLP DOI BibTeX RDF
51	Josef Urban	AI at CADE/IJCAR.	ARCADE@CADE	2017	DBLP DOI BibTeX RDF
51	Bertram Felgenhauer	Beyond DRAT: Challenges in Certifying UNSAT.	ARCADE@CADE	2017	DBLP DOI BibTeX RDF
51	Giles Reger, Martin Suda 0001	Checkable Proofs for First-Order Theorem Proving.	ARCADE@CADE	2017	DBLP DOI BibTeX RDF
51	Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England 0001, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler	SC-square: when Satisfiability Checking and Symbolic Computation join forces.	ARCADE@CADE	2017	DBLP DOI BibTeX RDF
51	Reiner Hähnle, Marieke Huisman	24 Challenges in Deductive Software Verification.	ARCADE@CADE	2017	DBLP DOI BibTeX RDF
51	Jasmin Christian Blanchette, Pascal Fontaine, Stephan Schulz 0001, Uwe Waldmann	Towards Strong Higher-Order Automation for Fast Interactive Verification.	ARCADE@CADE	2017	DBLP DOI BibTeX RDF
51	Simon Cruanes	Making Automatic Theorem Provers more Versatile.	ARCADE@CADE	2017	DBLP DOI BibTeX RDF
51	Christoph Weidenbach	Do Portfolio Solvers Harm?	ARCADE@CADE	2017	DBLP DOI BibTeX RDF
51	J Strother Moore, Marijn J. H. Heule	Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions.	ARCADE@CADE	2017	DBLP DOI BibTeX RDF
45	Darius Muyizere, Arcade Nshimiyimana, Theophile Mugerwa, Lawrence K. Letting, Bernard B. Munyazikwiye	Reliability Assessment of Distribution System Grid-Connected Multi-Inverter for Solar Photo-Voltaic Systems: A Case Study.	Int. J. Perform. Eng.	2024	DBLP DOI BibTeX RDF
45	Anne Arcade, Aymeric Labourdette, Matthieu Falque, Brigitte Mangin, Fabien Chardon, Alain Charcosset, Johann Joets	BioMercator: integrating genetic maps and QTL towards discovery of candidate genes.	Bioinform.	2004	DBLP DOI BibTeX RDF
45	Laure Berti-Équille, Fouzia Moussouni, Anne Arcade	Integration of biological data on transcriptome.	Ingénierie des Systèmes d Inf.	2001	DBLP BibTeX RDF
45	Viviane Guéraud	Un jeu de rôles dans le laboratoire Arcade : une autre façon d'enseigner la programmation. (Role-playing game in the Arcade laboratory : another way so seach programming).		1988	RDF
44	Thorsten Blum, Nikolaus Vahrenkamp, Kai Welke, Ole Ciliox, Richard Gutleber, Thomas Hawranke	Space invaders 360: an interactive multiplayer gaming installation that makes you move.	MindTrek	2008	DBLP DOI BibTeX RDF	arcade, gaming installation, hemispherical display, retrogaming, space invaders 360, virtual reality, immersion
38	Daniel L. Schuster	CS1, arcade games and the free Java book.	SIGCSE	2010	DBLP DOI BibTeX RDF	acm java, free java book, games, cs1
38	Sanjeev Satheesh, Harikrishna Narasimhan, Pramala Senthil	Evolving player-specific content for level based arcade games.	FDG	2009	DBLP DOI BibTeX RDF	player entertainment, evolution, content creation
32	K. Suzanne Barber, Jim Holt, Geoff Baker	Performance evaluation of domain reference architectures.	SEKE	2002	DBLP DOI BibTeX RDF	performance, software architecture
32	Ahmed Al-Theneyan, Amol Jakatdar, Mohammad Zubair, Piyush Mehrotra	XML-Based Visual Specification of Multidisciplinary Applications.	CCGRID	2001	DBLP DOI BibTeX RDF
32	K. Suzanne Barber, Thomas J. Graser, Jim Holt	Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures.	ASE	2001	DBLP DOI BibTeX RDF
28	Nick Montfort, Ian Bogost	Random and Raster: Display Technologies and the Development of Videogames.	IEEE Ann. Hist. Comput.	2009	DBLP DOI BibTeX RDF	arcade games, cathode-ray tube displays, random scan displays, raster scan displays, History of computing, videogames, porting, vector graphics
22	José Alfredo Soto-Álvarez, Iván Cruz-Aceves, Arturo Hernández Aguirre, Martha Alicia Hernandez-Gonzalez, Luis Miguel Lopez-Montero, Sergio Solorio-Meza	Numerical Modeling of the Major Temporal Arcade Using BUMDA and Jacobi Polynomials.	Axioms	2023	DBLP DOI BibTeX RDF
22	Willian Tessaro Lunardi, Martin Andreoni Lopez, Jean Pierre Giacalone	ARCADE: Adversarially Regularized Convolutional Autoencoder for Network Anomaly Detection.	IEEE Trans. Netw. Serv. Manag.	2023	DBLP DOI BibTeX RDF
22	Sean Loesch, Ryan Hrastich, Jordan Herbert, Ben Drangstveit, Jacob Weber, Mounika Vanamala	Secure Arcade: A Gamified Defense Against Cyber Attacks.	CoRR	2023	DBLP DOI BibTeX RDF
22	Zheyuan Kuang, Jiaxin Zhang, Yiying Huang, Yunqin Li	Advancing Urban Renewal: An Automated Approach to Generating Historical Arcade Facades with Stable Diffusion Models.	CoRR	2023	DBLP DOI BibTeX RDF
22	Camilo C. Almendra, Carla T. L. L. Silva	ARCADE: A Framework for Integrated Management of Safety Assurance Information.	RE	2023	DBLP DOI BibTeX RDF
22	Alejandra Beghelli, Moshe Simon	Dynamic Optical Networks as Arcade Games: Lessons Learnt and Next Steps.	OFC	2023	DBLP DOI BibTeX RDF
22	Matthew Aitchison, Penny Sweetser, Marcus Hutter	Atari-5: Distilling the Arcade Learning Environment down to Five Games.	ICML	2023	DBLP BibTeX RDF
22	Yuexian Gao, Chang Liu, Naying Gao, Mohd Nor Akmal Khalid, Hiroyuki Iida	Nature of arcade games.	Entertain. Comput.	2022	DBLP DOI BibTeX RDF
22	Willian T. Lunardi, Martin Andreoni Lopez, Jean Pierre Giacalone	ARCADE: Adversarially Regularized Convolutional Autoencoder for Network Anomaly Detection.	CoRR	2022	DBLP DOI BibTeX RDF
22	Matthew Aitchison, Penny Sweetser, Marcus Hutter	Atari-5: Distilling the Arcade Learning Environment down to Five Games.	CoRR	2022	DBLP DOI BibTeX RDF
22	Eleonora Chitti, N. Alberto Borghese, Federica Anello, Pier Luca Lanzi, Fabrizia Corona, Giovanni Filocamo, Michaela Foà, Antonella Petaccia, Amalia Lopopolo	Evaluation of the V-Arcade serious games framework to support upper limbs rehabilitation at home for children with Juvenile Idiopathic Arthritis.	SeGAH	2022	DBLP DOI BibTeX RDF
22	Daniel Shamsudin, Meng Chew Leow, Lee-Yeng Ong	Clustering Algorithms Analysis Based on Arcade Game Player Behavior.	AIKE	2022	DBLP DOI BibTeX RDF
22	Charles Rizzo, Catherine D. Schuman, James S. Plank	Event-Based Camera Simulation Wrapper for Arcade Learning Environment.	ICONS	2022	DBLP DOI BibTeX RDF
22	Peter Gyory, Perry Owens, Matthew Bethancourt, Amy Banic, Clement Zheng, Ellen Yi-Luen Do	Build Your Own Arcade Machine with Tinycade.	Creativity & Cognition	2022	DBLP DOI BibTeX RDF
22	Paul Tylkin, Tsun-Hsuan Wang, Tim Seyde, Kyle Palko, Ross E. Allen, Alexander Amini, Daniela Rus	Autonomous Flight Arcade Challenge: Single- and Multi-Agent Learning Environments for Aerial Vehicles. (PDF / PS)	AAMAS	2022	DBLP BibTeX RDF
22	Benjamin Litherland	Ludosity, Radical Contextualism, and a New Games History: Pleasure, Truth, and Deception in the Mid-20th-Century London Arcade.	Games Cult.	2021	DBLP DOI BibTeX RDF
22	Edward W. Staley, Chace Ashcraft, Benjamin Stoler, Jared Markowitz, Gautam K. Vallabha, Christopher Ratto, Kapil D. Katyal	Meta Arcade: A Configurable Environment Suite for Meta-Learning.	CoRR	2021	DBLP BibTeX RDF
22	Adrien Ali Taïga, William Fedus, Marlos C. Machado, Aaron C. Courville, Marc G. Bellemare	On Bonus-Based Exploration Methods in the Arcade Learning Environment.	CoRR	2021	DBLP BibTeX RDF
22	Eleonora Chitti, N. Alberto Borghese, Federica Anello, Pier Luca Lanzi, Fabrizia Corona, Giovanni Filocamo, Michaela Foà, Antonella Petaccia, Amalia Lopopolo	V-Arcade: design and development of a serious games framework to support the upper limbs rehabilitation.	SEGAH	2021	DBLP DOI BibTeX RDF
22	Bill Siever, Michael P. Rogers	Game On! Inspired CS Education with MakeCode Arcade.	SIGCSE	2021	DBLP DOI BibTeX RDF
22	Kieran Nolan	VR SuperGun: Interfacing 1980s Arcade Hardware with Online Virtual Reality.	SIGGRAPH Immersive Pavilion	2021	DBLP DOI BibTeX RDF
22	Ahmed Frikha 0002, Denis Krompaß, Volker Tresp	ARCADe: A Rapid Continual Anomaly Detector.	CoRR	2020	DBLP BibTeX RDF
22	Justin K. Terry, Benjamin Black	Multiplayer Support for the Arcade Learning Environment.	CoRR	2020	DBLP BibTeX RDF
22	Luca Chittaro, Fabio Buttussi	Corrigendum to "Exploring the use of arcade game elements for attitude change: Two studies in the aviation safety domain" [International Journal of Human-Computer Studies 127 (2019) 112-123].	Int. J. Hum. Comput. Stud.	2020	DBLP DOI BibTeX RDF
22	Giorgio Delzanno, Giovanna Guerrini, Viviana Mascardi, Daniele Traversaro	PyWeCode: Towards a Collaborative Coding Framework based on the arcade Python Library.	UMAP (Adjunct Publication)	2020	DBLP DOI BibTeX RDF
22	Shih-Chieh Liao, Fong-Gong Wu, Chia-Hui Feng, Cheng-Yan Shuai	A Research on How to Enhance User Experience by Improving Arcade Joystick in Side-Scrolling Shooter Games.	HCI (48)	2020	DBLP DOI BibTeX RDF
22	Ahmed Frikha 0002, Denis Krompaß, Volker Tresp	ARCADe: A Rapid Continual Anomaly Detector.	ICPR	2020	DBLP DOI BibTeX RDF
22	Marcelo Schmitt Laser, Nenad Medvidovic, Duc Minh Le, Joshua Garcia	ARCADE: an extensible workbench for architecture recovery, change, and decay evaluation.	ESEC/SIGSOFT FSE	2020	DBLP DOI BibTeX RDF
22	Yuexian Gao, Naying Gao, Mohd Nor Akmal Khalid, Hiroyuki Iida	Finding Flow in Training Activities by Exploring Single-Agent Arcade Game Information Dynamics.	ICEC	2020	DBLP DOI BibTeX RDF
22	Matheus Lorenzato Braga, Victor Martins de Sousa, Clara Scheffer Emerich, Rafael Américo Führich	Attractive Arcade-Based Platform Approach to Exam Preparation.	ICCSA (5)	2020	DBLP DOI BibTeX RDF
22	Carlos Marín-Lora, Alejandro Cercós, Miguel Chover, José Martínez Sotoca	A First Step to Specify Arcade Games as Multi-agent Systems.	WorldCIST (1)	2020	DBLP DOI BibTeX RDF
22	Adrien Ali Taïga, William Fedus, Marlos C. Machado, Aaron C. Courville, Marc G. Bellemare	On Bonus Based Exploration Methods In The Arcade Learning Environment.	ICLR	2020	DBLP BibTeX RDF
22	Adrien Ali Taïga, William Fedus, Marlos C. Machado, Aaron C. Courville, Marc G. Bellemare	Benchmarking Bonus-Based Exploration Methods on the Arcade Learning Environment.	CoRR	2019	DBLP BibTeX RDF
22	Andrew Melnik, Sascha Fleer, Malte Schilling, Helge J. Ritter	Modularization of End-to-End Learning: Case Study in Arcade Games.	CoRR	2019	DBLP BibTeX RDF
22	Luca Chittaro, Fabio Buttussi	Exploring the use of arcade game elements for attitude change: Two studies in the aviation safety domain.	Int. J. Hum. Comput. Stud.	2019	DBLP DOI BibTeX RDF
22	Michael Black, Joseph Matta	Teaching AVR Assembly by Building an Arduino Arcade Machine.	ITiCSE	2019	DBLP DOI BibTeX RDF
22	Pawel Jemiolo, Barbara Gizycka, Grzegorz J. Nalepa	Prototypes of Arcade Games Enabling Affective Interaction.	ICAISC (2)	2019	DBLP DOI BibTeX RDF
22	Philipp Rohlfshagen, Jialin Liu 0001, Diego Perez Liebana, Simon M. Lucas	Pac-ManConquers Academia: Two Decades of Research Using a Classic Arcade Game.	IEEE Trans. Games	2018	DBLP DOI BibTeX RDF
22	Marlos C. Machado, Marc G. Bellemare, Erik Talvitie, Joel Veness, Matthew J. Hausknecht, Michael Bowling	Revisiting the Arcade Learning Environment: Evaluation Protocols and Open Problems for General Agents.	J. Artif. Intell. Res.	2018	DBLP DOI BibTeX RDF
22	Emilie M. Reed	Exhibition Strategies for Videogames in Art Institutions: Blank Arcade 2016.	Trans. Digit. Games Res. Assoc.	2018	DBLP DOI BibTeX RDF
22	Kieran Nolan	The Human Machine Art Interface: Arcade Port Aesthetics and Production Practices.	DiGRA Conference	2018	DBLP BibTeX RDF
22	Saverio Iacono, Daniele Zolezzi, Gianni Viardo Vercelli	Virtual Reality Arcade Game in Game-Based Learning for Cultural Heritage.	AVR (2)	2018	DBLP DOI BibTeX RDF
22	Kieran Nolan	Bridging Authenticity and Virtualisation in Arcade Videogame Interaction.	GEM	2018	DBLP DOI BibTeX RDF
22	Marlos C. Machado, Marc G. Bellemare, Erik Talvitie, Joel Veness, Matthew J. Hausknecht, Michael Bowling	Revisiting the Arcade Learning Environment: Evaluation Protocols and Open Problems for General Agents (Extended Abstract).	IJCAI	2018	DBLP DOI BibTeX RDF
22	Benjamin Nicoll	Bridging the Gap: The Neo Geo, the Media Imaginary, and the Domestication of Arcade Games.	Games Cult.	2017	DBLP DOI BibTeX RDF
22	Marlos C. Machado, Marc G. Bellemare, Erik Talvitie, Joel Veness, Matthew J. Hausknecht, Michael Bowling	Revisiting the Arcade Learning Environment: Evaluation Protocols and Open Problems for General Agents.	CoRR	2017	DBLP BibTeX RDF
22	Emilie M. Reed	Exhibition Strategies for Videogames in Art Institutions: Blank Arcade 2017.	DiGRA Conference	2017	DBLP BibTeX RDF
22	Bastian Andelefski, Stefan Schiffer 0002	Assisted Feature Engineering and Feature Learning to Build Knowledge-based Agents for Arcade Games.	ICAART (2)	2017	DBLP DOI BibTeX RDF
22	Jenna Gavin, Andy M. Connor	Reinventing the Arcade: Computer Game Mediated Play Spaces for Physical Interaction.	CoRR	2016	DBLP BibTeX RDF
22	Antonios Liapis	Exploring the Visual Styles of Arcade Game Assets.	EvoMUSART	2016	DBLP DOI BibTeX RDF
22	Adelina Moura	Using arcade games to engage students in the learning of foreign and mother languages.	EAI Endorsed Trans. e Learn.	2015	DBLP DOI BibTeX RDF