Search results for "arrows"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
140	Hai Liu 0012, Eric Cheng, Paul Hudak	Causal commutative arrows and their optimization.	ICFP	2009	DBLP DOI BibTeX RDF	functional programming, stream processing, program optimization, functional reactive programming, arrows, dataflow language
101	Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer	There and back again: arrows for invertible programming.	Haskell	2005	DBLP DOI BibTeX RDF	invertible program construction, haskell, polytypic programming, arrows
62	G. M. Germano, Stefano Mazzanti	Non-Deterministic Closure Theory and Universal Arrows.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	closure theory, reflection theory, universal arrows, non-deterministic programs, while-do commands
62	Alfio Martini, Uwe Wolter	A Single Perspective on Arrows between Institutions.	AMAST	1998	DBLP DOI BibTeX RDF
52	Rossano Barone, Peter C.-H. Cheng	Interpreting Lines in Graphs: Do Graph Users Construe Fictive Motion?.	Diagrams	2004	DBLP DOI BibTeX RDF
49	Dimiter Vakarelov	A Modal Theory of Arrows. Arrow Logics I.	JELIA	1992	DBLP DOI BibTeX RDF	Arrow structures, Modal logics
45	J. Michael Dunn	Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras.	Johan van Benthem on Logic and Information Dynamics	2014	DBLP DOI BibTeX RDF
39	Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski	Miró: Visual Specification of Security.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Miro, visual specification of security, file system security, instance language, security specification problems, tools, specification languages, visual programming, security of data, constraint language, arrows, boxes
39	Stefano Burigat, Luca Chittaro, Silvia Gabrielli	Visualizing locations of off-screen objects on mobile devices: a comparative evaluation of three approaches.	Mobile HCI	2006	DBLP DOI BibTeX RDF	off-screen locations, visualization, mobile devices, maps
39	Amnon Glassner, Baruch B. Schwarz	The Synchronous Mapping Discussions: The Effects of Floor Control in Turn-Taking and Choice of Argumentative Representations.	IV	2004	DBLP DOI BibTeX RDF
39	Luca Chittaro, Stefano Burigat	3D location-pointing as a navigation aid in Virtual Environments.	AVI	2004	DBLP DOI BibTeX RDF	evaluation, Virtual Environments, navigation aids
39	Laurel King	The Relationship between Scene and Eye Movements.	HICSS	2002	DBLP DOI BibTeX RDF	visual strategies, visual task, neural networks, eye tracking, human factors
39	M. Natchez, T. Prose	Creating effective hypercard online documentation and training.	SIGDOC	1989	DBLP DOI BibTeX RDF
36	Liwen Huang, Paul Hudak, John Peterson	HPorter: Using Arrows to Compose Parallel Processes.	PADL	2007	DBLP DOI BibTeX RDF
36	Laurent Wendling, Salvatore Tabbone	A New Way to Detect Arrows in Line Drawings.	IEEE Trans. Pattern Anal. Mach. Intell.	2004	DBLP DOI BibTeX RDF
36	Laurent Wendling, Salvatore Tabbone	Recognition of Arrows in Line Drawings based on the Aggregation of Geometric Criteria using the Choquet Integral.	ICDAR	2003	DBLP DOI BibTeX RDF
36	Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson	Arrows, Robots, and Functional Reactive Programming.	Advanced Functional Programming	2002	DBLP DOI BibTeX RDF
36	Ross Paterson	A New Notation for Arrows.	ICFP	2001	DBLP DOI BibTeX RDF	Haskell
36	Barbara Tversky, Jeff Zacks, Paul U. Lee, Julie Heiser	Lines, Blobs, Crosses and Arrows: Diagrammatic Communication with Schematic Figures.	Diagrams	2000	DBLP DOI BibTeX RDF
36	Helwig Löffelmann, Lukas Mroz, M. Eduard Gröller, Werner Purgathofer	Stream arrows: enhancing the use of stream surfaces for the visualization of dynamical systems.	Vis. Comput.	1997	DBLP DOI BibTeX RDF	Stream surfaces, Mixed-mode oscillations, Occlusion, Dynamical systems, Flow visualization
26	Pierre-Évariste Dagand, Dejan Kostic, Viktor Kuncak	Opis: reliable distributed systems in OCaml.	TLDI	2009	DBLP DOI BibTeX RDF	distributed systems, model checking, functional programming, arrows
26	Conal Elliott	Tangible functional programming.	ICFP	2007	DBLP DOI BibTeX RDF	gestural composition, end-user programming, interactive visualization, interactive programming, combinator libraries, arrows
26	Henrik Nilsson	Dynamic optimization for functional reactive programming using generalized algebraic data types.	ICFP	2005	DBLP DOI BibTeX RDF	DSEL, FRP, Yampa, synchronous dataflow languages, functional programming, domain-specific languages, Haskell, reactive programming, GADT, combinator library, arrows
26	David F. Ferraiolo, John F. Barkley, D. Richard Kuhn	A Role-Based Access Control Model and Reference Implementation within a Corporate Intranet.	ACM Trans. Inf. Syst. Secur.	1999	DBLP DOI BibTeX RDF	Web arrows, role based access, World Wide Web, access control, RBAC, authorization management
26	Neil A. Dodgson, Ursula H. Augsdörfer, Thomas J. Cashman 0001, Malcolm A. Sabin	Deriving Box-Spline Subdivision Schemes.	IMA Conference on the Mathematics of Surfaces	2009	DBLP DOI BibTeX RDF
26	Andreas Stoffel, Ernesto Tapia, Raúl Rojas 0001	Recognition of On-Line Handwritten Commutative Diagrams.	ICDAR	2009	DBLP DOI BibTeX RDF
26	Kosta Dosen, Zoran Petric	Equality of proofs for linear equality.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03F07, 03F52, 03G30, 18C05, 18A40, 18D10, 03F05
26	Masahito Hasegawa, Martin Hofmann 0001, Gordon D. Plotkin	Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
26	Takahiro Yamanoi, Hisashi Toyoshima, Toshimasa Yamazaki, Shin-ichi Ohnishi, Michio Sugeno, Elie Sanchez	Fundamental research for brain machine interface by use of EEG from right frontal gyrus.	CSTST	2008	DBLP DOI BibTeX RDF	brain machine interface and micro robot, directional symbol, mental translation, EEG, discriminant analysis
26	Barbora Batíková	Completion of Semi-uniform Spaces.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 54E15
26	Marie-Renée Fleury, Myriam Quatrini	A Mixed lambda-calculus.	Stud Logica	2007	DBLP DOI BibTeX RDF	Typed ?-calculus, non-commutative linear logic, order varieties, series-parallel orders, normalization
26	Marco Grandis	Absolute Lax 2-categories.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 18D05, 55Pxx
26	Grigore Rosu	Complete Categorical Deduction for Satisfaction as Injectivity.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
26	Tatsuya Ishihara, Hironobu Takagi, Takashi Itoh, Chieko Asakawa	Analyzing visual layout for a non-visual presentation-document interface.	ASSETS	2006	DBLP DOI BibTeX RDF	alternative interface, metadata, diagram, visual analysis
26	Howard Barringer, Dov M. Gabbay, John Woods 0001	Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
26	Andrew J. Malton, Richard C. Holt	Boxology of NBA and TA: A Basis for Understanding Software Architecture.	WCRE	2005	DBLP DOI BibTeX RDF
26	Luca Chittaro, Stefano Burigat	Augmenting audio messages with visual directions in mobile guides: an evaluation of three approaches.	Mobile HCI	2005	DBLP DOI BibTeX RDF	evaluation, navigation aids, mobile guides
26	Levent Burak Kara, Thomas F. Stahovich	Hierarchical parsing and recognition of hand-sketched diagrams.	UIST	2004	DBLP DOI BibTeX RDF	pnns, visual parsing, Simulink, symbol recognition, pen computing, sketch understanding
26	G. M. Germano, Stefano Mazzanti	Cantor Diagrams: A Unifying Discussion of Self-Reference.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	Cantor diagonal method, Cantor diagrams, logical paradoxes, self-reference, incompleteness, Cartesian closed categories
26	R. J. Mac Dawson, R. Paré, D. A. Pronk	Undecidability of the Free Adjoint Construction.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	free adjoint construction, abacus, undecidability, 2-category
26	Dusko Pavlovic, Douglas R. Smith	Guarded Transitions in Evolving Specifications.	AMAST	2002	DBLP DOI BibTeX RDF
26	Andrea Corradini 0001, Fabio Gadducci	An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	term graphs, symmetric monoidal categories, gs-monoidal categories, directed acyclic graphs, algebraic theories
26	Panagiotis K. Linos	Automatic layout for graphical representation of programs.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
23	Vassilis Papadopoulos, Jérémie Wenger, Clément Hongler	Arrows of Time for Large Language Models.	CoRR	2024	DBLP DOI BibTeX RDF
23	Guojie Hu, Jiangbo Si, Zan Li 0001	Borrowing Arrows With Thatched Boats: Exploiting the Reactive Primary Communications for Boosting Jamming-Assisted Proactive Eavesdropping.	IEEE Trans. Mob. Comput.	2023	DBLP DOI BibTeX RDF
23	Nilotpal Biswas, Arpit Singh, Samit Bhattacharya	Augmented 3D arrows for visualizing off-screen Points of Interest without clutter.	Displays	2023	DBLP DOI BibTeX RDF
23	Sara Romano, Enricoandrea Laviola, Michele Gattullo, Michele Fiorentino 0001, Antonio Emmanuele Uva	More Arrows in the Quiver: Investigating the Use of Auxiliary Models to Localize In-View Components with Augmented Reality.	IEEE Trans. Vis. Comput. Graph.	2023	DBLP DOI BibTeX RDF
23	Michael Janas, Michel Janssen	Broken Arrows: Hardy-Unruh Chains and Quantum Contextuality.	Entropy	2023	DBLP DOI BibTeX RDF
23	Paulus N. Meessen	On Normative Arrows and Comparing Tax Automation Systems.	ICAIL	2023	DBLP DOI BibTeX RDF
23	Carla Binucci, Walter Didimo, Michael Kaufmann 0001, Giuseppe Liotta, Fabrizio Montecchiani	Placing Arrows in Directed Graph Layouts: Algorithms and Experiments.	Comput. Graph. Forum	2022	DBLP DOI BibTeX RDF
23	Masasuke Yasumoto	Evaluation of the Difference in the Reality of the Bow Device with and Without Arrows.	HCI (22)	2022	DBLP DOI BibTeX RDF
23	Nathan Argaman	Quantum Computation and Arrows of Time.	Entropy	2021	DBLP DOI BibTeX RDF
23	Eugene Frimpong, Reyhaneh Rabbaninejad, Antonis Michalas	Arrows in a Quiver: A Secure Certificateless Group Key Distribution Protocol for Drones.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
23	Greta Adamo, Chiara Di Francescomarino, Chiara Ghidini, Fabrizio Maria Maggi	Beyond arrows in process models: A user study on activity dependences and their rationales.	Inf. Syst.	2021	DBLP DOI BibTeX RDF
23	Eugene Frimpong, Reyhaneh Rabbaninejad, Antonis Michalas	Arrows in a Quiver: A Secure Certificateless Group Key Distribution Protocol for Drones.	NordSec	2021	DBLP DOI BibTeX RDF
23	Dinh Thai Hoang, Diep N. Nguyen, Mohammad Abu Alsheikh, Shimin Gong, Eryk Dutkiewicz, Dusit Niyato, Zhu Han 0001	"Borrowing Arrows with Thatched Boats": The Art of Defeating Reactive Jammers in IoT Networks.	IEEE Wirel. Commun.	2020	DBLP DOI BibTeX RDF
23	Kazutaka Matsuda	Modular Inference of Linear Types for Multiplicity-Annotated Arrows.	ESOP	2020	DBLP DOI BibTeX RDF
23	Jun Gao 0001, Li Li 0029, Pingfan Kong, Tegawendé F. Bissyandé, Jacques Klein	Borrowing your enemy's arrows: the case of code reuse in Android via direct inter-app code invocation.	ESEC/SIGSOFT FSE	2020	DBLP DOI BibTeX RDF
23	Melissa Moreland, Morgan Vickery, Zachary Ryan, Danielle Murphy, Na'ama Y. Av-Shalom, Cindy E. Hmelo-Silver, Joshua A. Danish, Ravit Golan Duncan, Clark A. Chinn	Representing Modeling Relationships in Systems: Student Use of Arrows.	ICLS	2020	DBLP BibTeX RDF
23	Hui Liang 0004, Fanyu Bao, Yusheng Sun, Chao Ge, Fei Liang, Qian Zhang	To Borrow Arrows with Thatched Boats: An Educational Game for Early Years Under the Background of Chinese Three Kingdoms Culture.	ICEC	2020	DBLP DOI BibTeX RDF
23	Shah Khalid, Sehat Ullah, Numan Ali, Aftab Alam, Ihsan Rabbi, Inam Ur Rehman, Muhammad Azhar	Navigation Aids in Collaborative Virtual Environments: Comparison of 3DML, Audio, Textual, Arrows-Casting.	IEEE Access	2019	DBLP DOI BibTeX RDF
23	Dinh Thai Hoang, Diep N. Nguyen, Mohammad Abu Alsheikh, Shimin Gong, Eryk Dutkiewicz, Dusit Niyato, Zhu Han 0001	"Borrowing Arrows with Thatched Boats": The Art of Defeating Reactive Jammers in IoT Networks.	CoRR	2019	DBLP BibTeX RDF
23	Ryan Fish, Youzhi Liang, Kyle Saleeby, Jonathan Spirnak, Mingxiu Sun, Xiang Zhang	Dynamic Characterization of Arrows through Stochastic Perturbation.	CoRR	2019	DBLP BibTeX RDF
23	Kazutaka Matsuda	A Modular Inference of Linear Types for Multiplicity-Annotated Arrows.	CoRR	2019	DBLP BibTeX RDF
23	Tian Zhao 0002, Adam Berger, Yonglun Li	Concurrency control of JavaScript with arrows.	REBLS@SPLASH	2019	DBLP DOI BibTeX RDF
23	Chris Heunen, Robin Kaarsgaard, Martti Karvonen	Reversible Effects as Inverse Arrows.	MFPS	2018	DBLP DOI BibTeX RDF
23	H. J. Sander Bruggink, Barbara König 0001	Recognizable languages of arrows and cospans.	Math. Struct. Comput. Sci.	2018	DBLP DOI BibTeX RDF
23	Matthias Schurz, Martin Kronbichler 0001, Sebastian Weissengruber, Andrew Surtees, Josef Perner	Measuring visual perspective taking in the brain with avatars and arrows: Which question are we asking?	NeuroImage	2018	DBLP DOI BibTeX RDF
23	Exequiel Rivas	Relating Idioms, Arrows and Monads from Monoidal Adjunctions.	MSFP@FSCD	2018	DBLP DOI BibTeX RDF
23	Chris Heunen, Robin Kaarsgaard, Martti Karvonen	Reversible effects as inverse arrows.	CoRR	2018	DBLP BibTeX RDF
23	Martin Braun, Oleg Lobachev, Phil Trinder	Arrows for Parallel Computation.	CoRR	2018	DBLP BibTeX RDF
23	Greta Adamo, Stefano Borgo, Chiara Di Francescomarino, Chiara Ghidini, Nicola Guarino, Emilio M. Sanfilippo	Business Process Activity Relationships: Is There Anything Beyond Arrows?	BPM (Forum)	2018	DBLP DOI BibTeX RDF
23	Malihe Alikhani, Matthew Stone	Arrows are the Verbs of Diagrams.	COLING	2018	DBLP BibTeX RDF
23	David Castro 0006	Structured arrows: a type-based framework for structured parallelism.		2018	RDF
23	Tyrus Fisher	Counterlegal dependence and causation's arrows: causal models for backtrackers and counterlegals.	Synth.	2017	DBLP DOI BibTeX RDF
23	Eric Fritz, Tian Zhao 0002	Typing and semantics of asynchronous arrows in JavaScript.	Sci. Comput. Program.	2017	DBLP DOI BibTeX RDF
23	Biwei Huang, Kun Zhang 0001, Jiji Zhang, Ruben Sanchez-Romero, Clark Glymour, Bernhard Schölkopf	Behind Distribution Shift: Mining Driving Forces of Changes and Causal Arrows.	ICDM	2017	DBLP DOI BibTeX RDF
23	Qian Qian, Xiaoting Wang, Miao Song 0002, Feng Wang 0039	Gazes Induce Similar Sequential Effects as Arrows in a Target Discrimination Task.	IFIP TC12 ICIS	2017	DBLP DOI BibTeX RDF
23	Caroline Catmur, Idalmis Santiesteban, Jane R. Conway, Cecilia Heyes, Geoffrey Bird	Avatars and arrows in the brain.	NeuroImage	2016	DBLP DOI BibTeX RDF
23	Carla Binucci, Markus Chimani, Walter Didimo, Giuseppe Liotta, Fabrizio Montecchiani	Placing Arrows in Directed Graph Drawings.	CoRR	2016	DBLP BibTeX RDF
23	Yu-Cin Jian, Chao-Jung Wu	The function of diagram with numbered arrows and text in helping readers construct kinematic representations: Evidenced from eye movements and reading tests.	Comput. Hum. Behav.	2016	DBLP DOI BibTeX RDF
23	Eric Fritz, Jose Antony, Tian Zhao 0002	Arrows in Commercial Web Applications.	HotWeb	2016	DBLP DOI BibTeX RDF
23	Carla Binucci, Markus Chimani, Walter Didimo, Giuseppe Liotta, Fabrizio Montecchiani	Placing Arrows in Directed Graph Drawings.	GD	2016	DBLP DOI BibTeX RDF
23	Vijay Rengarajan, A. N. Rajagopalan 0001, Rangarajan Aravind	From Bows to Arrows: Rolling Shutter Rectification of Urban Scenes.	CVPR	2016	DBLP DOI BibTeX RDF
23	Jeremy Yallop, Hai Liu 0012	Causal commutative arrows revisited.	Haskell	2016	DBLP DOI BibTeX RDF
23	Martin Bresler, Daniel Prusa, Václav Hlavác	Detection of Arrows in On-Line Sketched Diagrams Using Relative Stroke Positioning.	WACV	2015	DBLP DOI BibTeX RDF
23	Sam Lindley	Algebraic effects and effect handlers for idioms and arrows.	WGP@ICFP	2014	DBLP DOI BibTeX RDF
23	Adam Megacz Joseph	Generalized Arrows.		2014	RDF
23	Angelo Monti	Deciding the winner in k rounds for DISJOINT ARROWS, a new combinatorial partizan game.	Theor. Comput. Sci.	2013	DBLP DOI BibTeX RDF
23	Birgit Imhof, Katharina Scheiter, Jörg Edelmann, Peter Gerjets	Learning about locomotion patterns: Effective use of multiple pictures and motion-indicating arrows.	Comput. Educ.	2013	DBLP DOI BibTeX RDF
23	Matthias Brettschneider, Tobias Häberlein	From Arrows to Netlists Describing Hardware.	ICCSA (3)	2013	DBLP DOI BibTeX RDF
23	Cengiz Acartürk	Points, Lines and Arrows in Statistical Graphs.	Diagrams	2012	DBLP DOI BibTeX RDF
23	Carlos Areces, Raul Fervari, Guillaume Hoffmann 0001	Moving Arrows and Four Model Checking Results.	WoLLIC	2012	DBLP DOI BibTeX RDF
23	Luís Soares Barbosa	Software Components as Invariant-Typed Arrows - (Keynote Talk).	SBLP	2012	DBLP DOI BibTeX RDF
23	Makoto Hamana	Correct Looping Arrows from Cyclic Terms - Traced Categorical Interpretation in Haskell.	FLOPS	2012	DBLP DOI BibTeX RDF
23	Hugo Daniel Macedo	Matrices as arrows: why categories of matrices matter		2012	RDF
23	Ehtibar N. Dzhafarov, Janne V. Kujala	Selectivity in Probabilistic Causality: Drawing Arrows from Inputs to Stochastic Outputs	CoRR	2011	DBLP BibTeX RDF
23	Stefano Burigat, Luca Chittaro	Visualizing references to off-screen content on mobile devices: A comparison of Arrows, Wedge, and Overview + Detail.	Interact. Comput.	2011	DBLP DOI BibTeX RDF
23	Hai Liu 0012, Eric Cheng, Paul Hudak	Causal commutative arrows.	J. Funct. Program.	2011	DBLP DOI BibTeX RDF
23	Adam Megacz	Hardware Design with Generalized Arrows.	IFL	2011	DBLP DOI BibTeX RDF