Search results for "hare"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
93	Huiqing Li, Simon J. Thompson	Tool support for refactoring functional programs.	PEPM	2008	DBLP DOI BibTeX RDF	hare, static/dynamic semantics, wrangler, program transformation, program analysis, refactoring, haskell, erlang
52	Christopher Brown 0002, Simon J. Thompson	Clone detection and elimination for Haskell.	PEPM	2010	DBLP DOI BibTeX RDF	hare, program transformation, program analysis, refactoring, haskell, generalisation, duplicated code
52	Grégory Quere, Ludovic Cavalier, Benoît Rigolleau	ARSEN: un système de conception et d'utilisation de jeux de piste " augmentés ".	IHM	2005	DBLP DOI BibTeX RDF	hare and hounds, miexed reality, multimodality
47	Alessandro Panconesi, Mauro Sozio	Fast Hare: A Fast Heuristic for Single Individual SNP Haplotype Reconstruction.	WABI	2004	DBLP DOI BibTeX RDF
47	Dan Teodosiu 0002	HARE: an optimizing portable compiler for Scheme.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	SCHEME
42	Jothi P. Neelamegam, Srigurunath Chakravarthi, Manoj Apte, Anthony Skjellum	PromisQoS: An Architecture for Delivering QoS to High-Performance Applications on Myrinet Clusters.	LCN	2003	DBLP DOI BibTeX RDF
39	Brid C. Doherty, Peter T. O'Hare, Michael J. O'Grady, Gregory M. P. O'Hare	Entre-pass: Personalising u-learning with Intelligent Agents.	WMTE	2006	DBLP DOI BibTeX RDF
39	T. D. Lowen, Peter T. O'Hare, Gregory M. P. O'Hare	The WAY Ahead: Entity Rendezvous through Mobile Agents.	HICSS	2004	DBLP DOI BibTeX RDF
39	Peter T. O'Hare, Gregory M. P. O'Hare, T. D. Lowen	Far and A WAY: Context Sensitive Service Delivery through Mobile Lightweight PDA Hosted Agents.	FLAIRS	2002	DBLP BibTeX RDF
39	T. D. Lowen, Gregory M. P. O'Hare, Peter T. O'Hare	Mobile agents point the WAY: context sensitive service delivery through mobile lightweight agents.	AAMAS	2002	DBLP DOI BibTeX RDF	context sensitive services, mobile computing, mobile agents, agent architectures
26	Taewon Song, Woong-Hee Lee	HARE: Hybrid ARQ-Based Adaptive Retransmission Control Scheme for Synchronous Multi-Link in Wireless LANs.	IEEE Trans. Veh. Technol.	2023	DBLP DOI BibTeX RDF
26	Sukwoong Choi, William S. Moses, Neil Thompson	The Quantum Tortoise and the Classical Hare: A simple framework for understanding which problems quantum computing will accelerate (and which it will not).	CoRR	2023	DBLP DOI BibTeX RDF
26	Yongjin Yang, Joonkee Kim, Yujin Kim, Namgyu Ho, James Thorne, Se-young Yun	HARE: Explainable Hate Speech Detection with Step-by-Step Reasoning.	CoRR	2023	DBLP DOI BibTeX RDF
26	Orhan Konak, Robin Van De Water, Valentin Döring, Tobias Fiedler, Lucas Liebe, Leander Masopust, Kirill Postnov, Franz Sauerwald, Felix Treykorn, Alexander Wischmann, Hristijan Gjoreski, Mitja Lustrek, Bert Arnrich	HARE: Unifying the Human Activity Recognition Engineering Workflow.	Sensors	2023	DBLP DOI BibTeX RDF
26	Olivier Danvy	The Tortoise and the Hare Algorithm for Finite Lists, Compositionally.	ACM Trans. Program. Lang. Syst.	2023	DBLP DOI BibTeX RDF
26	Rex Perez Bringula, Ann Joizelle D. Enverzo, Ma. Gracia G. Gonzales, Maria Mercedes T. Rodrigo	Modeling "Stag and Hare Hunting" Behaviors Using Interaction Data from an mCSCL Application for Grade 5 Mathematics.	Multimodal Technol. Interact.	2023	DBLP DOI BibTeX RDF
26	Yongjin Yang, Joonkee Kim, Yujin Kim, Namgyu Ho, James Thorne, Se-Young Yun	HARE: Explainable Hate Speech Detection with Step-by-Step Reasoning.	EMNLP (Findings)	2023	DBLP DOI BibTeX RDF
26	Tor-Arne S. Nordmo, Michael A. Riegler, Håvard D. Johansen, Dag Johansen	Arctic HARE: A Machine Learning-Based System for Performance Analysis of Cross-Country Skiers.	MMM (1)	2023	DBLP DOI BibTeX RDF
26	Stan Lipovetsky	Analyzing Spatial Models of Choice and Judgment, Second Edition: by David A. Armstrong II, Ryan Bakker, Royce Carroll, Christopher Hare, Keith T. Poole, and Howard Rosenthal. CRC Press. Taylor & Francis Group, Chapman and Hall, Boca Raton, FL, 2021, ISBN 978-1-138-71533-2, 320 pp., $63.96 (hbk).	Technometrics	2022	DBLP DOI BibTeX RDF
26	Fahao Chen, Peng Li 0017, Celimuge Wu, Song Guo 0001	Hare: Exploiting Inter-job and Intra-job Parallelism of Distributed Machine Learning on Heterogeneous GPUs.	HPDC	2022	DBLP DOI BibTeX RDF
26	Fabian Hertel, Nicolas Huber, Jonas Kittelberger, Ralf Küsters, Julian Liedtke, Daniel Rausch 0001	Extending the Tally-Hiding Ordinos System: Implementations for Borda, Hare-Niemeyer, Condorcet, and Instant-Runoff Voting.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
26	Pumezo Mzoxolo Kwinana, Phumzile Nomnga, Mncedi Rani, Mantile L. Lekala	Real Laboratories Available Online: Establishment of ReVEL as a Conceptual Framework for Implementing Remote Experimentation in South African Higher Education Institutions and Rural-Based Schools - A Case Study at the University of Fort Hare.	REV	2020	DBLP DOI BibTeX RDF
26	Comfort Makwanya, Olabanji Oni	E-Books Preference Compared to Print Books Based on Student Perceptions: A Case of University of Fort Hare Students.	Int. J. Interact. Mob. Technol.	2019	DBLP DOI BibTeX RDF
26	Kang Jin, Cunlu Li, Dezun Dong, Binzhang Fu	HARE: History-Aware Adaptive Routing Algorithm for Endpoint Congestion in Networks-on-Chip.	Int. J. Parallel Program.	2019	DBLP DOI BibTeX RDF
26	Denis Newman-Griffis, Eric Fosler-Lussier	HARE: a Flexible Highlighting Annotator for Ranking and Exploration.	CoRR	2019	DBLP BibTeX RDF
26	Agustin Zuniga, Huber Flores, Eemil Lagerspetz, Petteri Nurmi, Sasu Tarkoma, Pan Hui 0001, Jukka Manner	Tortoise or Hare? Quantifying the Effects of Performance on Mobile App Retention.	WWW	2019	DBLP DOI BibTeX RDF
26	Denis Newman-Griffis, Eric Fosler-Lussier	HARE: a Flexible Highlighting Annotator for Ranking and Exploration.	EMNLP/IJCNLP (3)	2019	DBLP DOI BibTeX RDF
26	Anne G. E. Collins	The Tortoise and the Hare: Interactions between Reinforcement Learning and Working Memory.	J. Cogn. Neurosci.	2018	DBLP DOI BibTeX RDF
26	Nane Kratzke	About being the Tortoise or the Hare? - A Position Paper on Making Cloud Applications too Fast and Furious for Attackers.	CoRR	2018	DBLP BibTeX RDF
26	Toni Adame, Sergio Barrachina-Muñoz, Boris Bellalta, Albert Bel	HARE: Supporting Efficient Uplink Multi-Hop Communications in Self-Organizing LPWANs.	Sensors	2018	DBLP DOI BibTeX RDF
26	Daniel Porto 0002, João Leitão 0001, Flavio Junqueira, Rodrigo Rodrigues 0001	The Tortoise and the Hare: Characterizing Synchrony in Distributed Environments (Practical Experience Report).	DSN	2018	DBLP DOI BibTeX RDF
26	Maribel Acosta, Elena Simperl, Fabian Flöck, Maria-Esther Vidal	HARE: An Engine for Enhancing Answer Completeness of SPARQL Queries via Crowdsourcing.	WWW (Companion Volume)	2018	DBLP DOI BibTeX RDF
26	Nane Kratzke	About being the Tortoise or the Hare? - A Position Paper on Making Cloud Applications too Fast and Furious for Attackers.	CLOSER	2018	DBLP DOI BibTeX RDF
26	Cynthia Maushagen, Marc Neveling, Jörg Rothe, Ann-Kathrin Selker	Complexity of Shift Bribery in Hare, Coombs, Baldwin, and Nanson Elections.	ISAIM	2018	DBLP BibTeX RDF
26	Toni Adame, Sergio Barrachina-Muñoz, Boris Bellalta, Albert Bel	HARE: Supporting efficient uplink multi-hop communications in self-organizing LPWANs.	CoRR	2017	DBLP BibTeX RDF
26	Daniel J. Rea, Mahdi Rahmani Hanzaki, Neil D. B. Bruce, James E. Young	Tortoise and the Hare Robot: Slow and steady almost wins the race, but finishes more safely.	RO-MAN	2017	DBLP DOI BibTeX RDF
26	Jian-Jia Chen, Wen-Hung Huang 0001, Zheng Dong 0002, Cong Liu 0005	Fixed-priority scheduling of mixed soft and hare real-time tasks on multiprocessors.	RTCSA	2017	DBLP DOI BibTeX RDF
26	Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan 0001	HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata.	TACAS (1)	2017	DBLP DOI BibTeX RDF
26	Vaibhav Gogte, Aasheesh Kolli, Michael J. Cafarella, Loris D'Antoni, Thomas F. Wenisch	HARE: Hardware accelerator for regular expressions.	MICRO	2016	DBLP DOI BibTeX RDF
26	Christian Thiel 0003, Christoph Thiel	Hare and Tortoise.	Datenschutz und Datensicherheit	2015	DBLP DOI BibTeX RDF
26	Yousra Aafer, Nan Zhang 0018, Zhongwen Zhang, Xiao Zhang, Kai Chen 0012, XiaoFeng Wang 0001, Xiao-yong Zhou, Wenliang Du, Michael Grace	Hare Hunting in the Wild Android: A Study on the Threat of Hanging Attribute References.	CCS	2015	DBLP DOI BibTeX RDF
26	Timo Hönig, Christopher Eibel, Benedict Herzog, Heiko Janker, Peter Wägemann, Wolfgang Schröder-Preikschat	Playing Hare and Tortoise: The FigarOS Kernel for Fine-Grained System-Level Energy Optimizations.	SBESC	2015	DBLP DOI BibTeX RDF
26	Maribel Acosta, Elena Simperl, Fabian Flöck, Maria-Esther Vidal	HARE: A Hybrid SPARQL Engine to Enhance Query Answers via Crowdsourcing.	K-CAP	2015	DBLP DOI BibTeX RDF
26	Charles Gruenwald III, Filippo Sironi, M. Frans Kaashoek, Nickolai Zeldovich	Hare: a file system for non-cache-coherent multicores.	EuroSys	2015	DBLP DOI BibTeX RDF
26	Soheil Hassas Yeganeh, Yashar Ganjali	Turning the tortoise to the hare: an alternative perspective on event handling in SDN.	BigSystem@HPDC	2014	DBLP DOI BibTeX RDF
26	Charles Gruenwald	Providing a Shared File System in the Hare POSIX Multikernel.		2014	RDF
26	Rongsong Liu, Stephen A. Gourley, Donald L. DeAngelis, John P. Bryant	A Mathematical Model of Woody Plant Chemical Defenses and Snowshoe Hare Feeding Behavior in Boreal Forests: The Effect of Age-Dependent Toxicity of Twig Segments.	SIAM J. Appl. Math.	2013	DBLP DOI BibTeX RDF
26	Anirudh Badam, Michael Kaminsky, Dongsu Han, Konstantina Papagiannaki, David G. Andersen, Srinivasan Seshan	The hare and the tortoise: taming wireless losses by exploiting wired reliability.	MobiHoc	2011	DBLP DOI BibTeX RDF
26	Ioannis Doudalis, Milos Prvulovic	HARE: Hardware assisted reverse execution.	HPCA	2010	DBLP DOI BibTeX RDF
26	Timothy Baldwin	The hare and the tortoise: speed and accuracy in translation retrieval.	Mach. Transl.	2009	DBLP DOI BibTeX RDF
26	Colin Latchem, Insung Jung, Kumiko Aoki, Ali Ekrem Ozkul	The tortoise and the hare enigma in e-transformation in Japanese and Korean higher education.	Br. J. Educ. Technol.	2008	DBLP DOI BibTeX RDF
26	Huiqing Li, Simon J. Thompson, Claus Reinke	The Haskell Refactorer, HaRe, and its API.	LDTA@ETAPS	2005	DBLP DOI BibTeX RDF
26	Giulio Borsari, Claudia Cevenini, Giuseppe Contissa, Stefano Morini, Giovanni Sartor, Peter Still	HARE: An Italian Application of SoftLaw's STATUTE Expert Technology.	ICAIL	2005	DBLP DOI BibTeX RDF
26	David Lazer, Allan Friedman	The hare and the tortoise: the network structure of exploration and exploitation.	DG.O	2005	DBLP BibTeX RDF	collaboration, networks, small world
26	Mark Embree	The Tortoise and the Hare Restart GMRES.	SIAM Rev.	2003	DBLP DOI BibTeX RDF
26	Georg Kamp	Hare, R. M.: Sorting out ethics.	Poiesis Prax.	2001	DBLP DOI BibTeX RDF
26	Larry Graham	Softlaw - The Legal Tortoise and the Technology Hare.	IEEE Softw.	2000	DBLP DOI BibTeX RDF
26	Michael Luck	Foundations of Distributed Artificial Intelligence by G. M. P. O'Hare and N. R. Jennings (eds.), Wiley, 1996, ISBN 0-471-00675-0.	Knowl. Eng. Rev.	1999	DBLP DOI BibTeX RDF
26	William Y. Arms	Relaxing Assumptions about the Future of Digital Libraries: The Hare and the Tortoise.	D Lib Mag.	1997	DBLP BibTeX RDF
26	Allen Van Gelder	Efficient Loop Detection in Prolog using the Tortoise-and-Hare Technique.	J. Log. Program.	1987	DBLP DOI BibTeX RDF
21	Mici Halse, Brenda Mallinson, Greg Foster	A Prototype Live Virtual Classroom for Shared Tertiary Instruction.	ICALT	2007	DBLP DOI BibTeX RDF
21	Ming Dong 0001, Jing Wu	Localized Support Vector Machines for Classification.	IJCNN	2006	DBLP DOI BibTeX RDF
21	Katie Atkinson, Trevor J. M. Bench-Capon	Addressing Moral Problems Through Practical Reasoning.	DEON	2006	DBLP DOI BibTeX RDF
21	Hiroki Yoshizawa, Shuji Hashimoto	Structure oriented search algorithm to solve knapsack problems.	SMC (6)	2004	DBLP DOI BibTeX RDF
21	Michael Kreutzer, Martin Kähmer	Ubiquitous computing technology in infrastructureless environments.	SMC (6)	2004	DBLP DOI BibTeX RDF
21	Karl Erich Wolff	Towards a Conceptual Theory of Indistinguishable Objects.	ICFCA	2004	DBLP DOI BibTeX RDF
21	Simon J. Thompson	Refactoring Functional Programs.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
21	Gary Gumpert, Susan Drucker	The Perfections of Sustainability and Imperfections in the Digital Community: Paradoxes of Connection and Disconnection.	Digital Cities	2003	DBLP DOI BibTeX RDF
21	Alois Ferscha, Christoph Scheiner	Collective Choice in Virtual Teams.	WETICE	1999	DBLP DOI BibTeX RDF	Collective Choice Theory, Virtual Teams, Electronic Voting, Group Decision Making
19	Trent M. Hare, Randolph L. Kirk, Michael T. Bland, Donna M. Galuszka, Jason R. Laura, David P. Mayer, Bonnie L. Redding, Benjamin H. Wheeler	Current Status of the Community Sensor Model Standard for the Generation of Planetary Digital Terrain Models.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
19	Jiacun Wang, Ying Tang 0001, Ryan Hare, Fei-Yue Wang	Parallel intelligent education with ChatGPT.	Frontiers Inf. Technol. Electron. Eng.	2024	DBLP DOI BibTeX RDF
19	Sulaiman Sadiq, Jonathon S. Hare, Simon Craske, Partha Maji, Geoff V. Merrett	Enabling ImageNet-Scale Deep Learning on MCUs for Accurate and Efficient Inference.	IEEE Internet Things J.	2024	DBLP DOI BibTeX RDF
19	Joshua W. Caldwell, Kevin G. Hare, Tomás Vávra	Non-expansive matrix number systems with bases similar to certain Jordan blocks.	J. Comb. Theory, Ser. A	2024	DBLP DOI BibTeX RDF
19	Manish Srivastava, Alessandro Ferro, Aleksandr Sidun, José M. de la Rosa 0001, Kilian O'Donoghue, Pádraig Cantillon-Murphy, Daniel O'Hare	A Small-Area 2nd-Order Adder-Less Continuous-Time ΔΣ Modulator With Pulse Shaping FIR DAC for Magnetic Sensing.	IEEE Open J. Circuits Syst.	2024	DBLP DOI BibTeX RDF
19	Lei Xun, Jonathon S. Hare, Geoff V. Merrett	Dynamic DNNs and Runtime Management for Efficient Inference on Mobile/Embedded Devices.	CoRR	2024	DBLP DOI BibTeX RDF
19	Sean Kulinski, Nicholas R. Waytowich, James Z. Hare, David I. Inouye	StarCraftImage: A Dataset For Prototyping Spatial Reasoning Methods For Multi-Agent Environments.	CoRR	2024	DBLP DOI BibTeX RDF
19	Lei Xun, Mingyu Hu, Hengrui Zhao, Amit Kumar Singh 0002, Jonathon Hare, Geoff V. Merrett	Fluid Dynamic DNNs for Reliable and Adaptive Distributed Inference on Edge Devices.	CoRR	2024	DBLP DOI BibTeX RDF
19	Christopher Rost, Riccardo Tommasini 0001, Angela Bonifati, Emanuele Della Valle, Erhard Rahm, Keith W. Hare, Stefan Plantikow, Petra Selmer, Hannes Voigt	Seraph: Continuous Queries on Property Graph Streams.	EDBT	2024	DBLP DOI BibTeX RDF
19	Matthew P. Hare, Doug Salt, Ric Colasanti, Richard Milton, Mike Batty, Alison J. Heppenstall, Gary Polhill	Taking Agent-Based Social Simulation to the Next Level Using Exascale Computing: Potential Use-Cases, Capacity Requirements and Threats.	AAMAS	2024	DBLP BibTeX RDF
19	Hemant Kumar Gupta, Hare Ram Shah	Deep Learning-Based Approach to Identify the Potato Leaf Disease and Help in Mitigation Using IOT.	SN Comput. Sci.	2023	DBLP DOI BibTeX RDF
19	Anthony O'Hare	A toy model of food production in a connected landscape.	Frontiers Appl. Math. Stat.	2023	DBLP DOI BibTeX RDF
19	Eva Dziadula, John O'Hare, Carl Colglazier, Marie C. Clay, Paul R. Brenner	Modeling economic migration on a global scale.	J. Comput. Soc. Sci.	2023	DBLP DOI BibTeX RDF
19	Luobin Cui, Chengzhang Zhu, Ryan Hare, Ying Tang 0001	MetaEdu: a new framework for future education.	Discov. Artif. Intell.	2023	DBLP DOI BibTeX RDF
19	Hare Krishna Mishra, Manpreet Kaur	Classification of brain tumour based on texture and deep features of magnetic resonance images.	Expert Syst. J. Knowl. Eng.	2023	DBLP DOI BibTeX RDF
19	Ryan Hare, Ying Tang 0001	Player Modeling and Adaptation Methods Within Adaptive Serious Games.	IEEE Trans. Comput. Soc. Syst.	2023	DBLP DOI BibTeX RDF
19	Jing Liang 0008, Ying Tang 0001, Ryan Hare, Ben Wu, Fei-Yue Wang 0001	A Learning-Embedded Attributed Petri Net to Optimize Student Learning in a Serious Game.	IEEE Trans. Comput. Soc. Syst.	2023	DBLP DOI BibTeX RDF
19	Warren L. Hare, Gabriel Jarry-Bolduc, Chayne Planiden	Nicely structured positive bases with maximal cosine measure.	Optim. Lett.	2023	DBLP DOI BibTeX RDF
19	Warren L. Hare, Clément W. Royer	Detecting negative eigenvalues of exact and approximate Hessian matrices in optimization.	Optim. Lett.	2023	DBLP DOI BibTeX RDF
19	Nate C. Apathy, Allison J. Hare, Sarah Fendrich, Dori A. Cross	I had not time to make it shorter: an exploratory analysis of how physicians reduce note length and time in notes.	J. Am. Medical Informatics Assoc.	2023	DBLP DOI BibTeX RDF
19	Manisha Pal, Nripes Kumar Mandal, Hare Krishna Maity	D-optimal design for estimation of optimum mixture in a three-component mixture experiment with two responses.	Commun. Stat. Simul. Comput.	2023	DBLP DOI BibTeX RDF
19	Rajni Goel, Hare Krishna	Likelihood and Bayesian inference for k Lindley populations under joint type-II censoring scheme.	Commun. Stat. Simul. Comput.	2023	DBLP DOI BibTeX RDF
19	Ryan Hare, Ying Tang 0001	Hierarchical Deep Reinforcement Learning With Experience Sharing for Metaverse in Education.	IEEE Trans. Syst. Man Cybern. Syst.	2023	DBLP DOI BibTeX RDF
19	Gabriel Simmons, Christopher Hare	Large Language Models as Subpopulation Representative Models: A Review.	CoRR	2023	DBLP DOI BibTeX RDF
19	Peihong Yu, Bhoram Lee, Aswin Raghavan, Supun Samarasekera, Pratap Tokekar, James Zachary Hare	Enhancing Multi-Agent Coordination through Common Operating Picture Integration.	CoRR	2023	DBLP DOI BibTeX RDF
19	Madelaine Hare, Geoff Krause, Keith MacKnight, Timothy D. Bowman, Rodrigo Costas 0001, Philippe Mongeon	Do you cite what you tweet? Investigating the relationship between tweeting and citing research articles.	CoRR	2023	DBLP DOI BibTeX RDF
19	Tim Hobson, Lydia France, Sam F. Greenbury, Luke Hare, Pamela Wochner	Trustchain - Trustworthy Decentralised Public Key Infrastructure for Digital Credentials.	CoRR	2023	DBLP DOI BibTeX RDF
19	Warren L. Hare, Gabriel Jarry-Bolduc, Sébastien Kerleau, Clément W. Royer	Using orthogonally structured positive bases for constructing positive k-spanning sets with cosine measure guarantees.	CoRR	2023	DBLP DOI BibTeX RDF
19	Geoff Krause, Madelaine Hare, Mike Smit, Philippe Mongeon	Who Re-Uses Data? A Bibliometric Analysis of Dataset Citations.	CoRR	2023	DBLP DOI BibTeX RDF
19	Warren L. Hare, Gabriel Jarry-Bolduc, Chayne Planiden	A matrix algebra approach to approximate Hessians.	CoRR	2023	DBLP DOI BibTeX RDF
19	José Alonso Solís-Lemus, Tiffany Baptiste, Rosie K. Barrows, Charles Sillett, Ali Gharaviri, Giulia Raffaele, Orod Razeghi, Marina Strocchi, Iain Sim, Irum Kotadia, Neil Bodagh, Daniel O'Hare, Mark D. O'Neill, Steven E. Williams, Caroline H. Roney, Steven A. Niederer	Model Reproducibility Study on Left Atrial Fibres.	CoRR	2023	DBLP DOI BibTeX RDF