Search results for "arrows"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Birgit Imhof, Katharina Scheiter, Jörg Edelmann, Julian von Ulardt, Peter Gerjets	Is enriching static-simultaneous visualizations with motion-indicating arrows helpful for learning about locomotion patterns?	CogSci	2011	DBLP BibTeX RDF
23	Lanting Lu, Christine S. M. Currie	Evaluation of the Arrows Method for Classification of Data.	Asia Pac. J. Oper. Res.	2010	DBLP DOI BibTeX RDF
23	Kazuyuki Asada, Ichiro Hasuo	Categorifying Computations into Components via Arrows as Profunctors.	CMCS@ETAPS	2010	DBLP DOI BibTeX RDF
23	Peng Li, Steve Zdancewic	Arrows for secure information flow.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
23	Adam Megacz	Multi-Stage Programs are Generalized Arrows	CoRR	2010	DBLP BibTeX RDF
23	Adam Megacz	Multi-Level Languages are Generalized Arrows	CoRR	2010	DBLP BibTeX RDF
23	Hai Liu 0012, Paul Hudak	An Ode to Arrows.	PADL	2010	DBLP DOI BibTeX RDF
23	Hugo Daniel Macedo, José Nuno Oliveira	Matrices as Arrows!	MPC	2010	DBLP DOI BibTeX RDF
23	Kazuyuki Asada	Arrows Are Strong Monads.	MSFP@ICFP	2010	DBLP DOI BibTeX RDF
23	Fuchun Xie, Teddy Furon, Caroline Fontaine	Better security levels for broken arrows.	Media Forensics and Security	2010	DBLP DOI BibTeX RDF
23	Bart Jacobs 0001, Chris Heunen, Ichiro Hasuo	Categorical semantics for arrows.	J. Funct. Program.	2009	DBLP DOI BibTeX RDF
23	Yit Phang Khoo, Michael Hicks 0001, Jeffrey S. Foster, Vibha Sazawal	Directing JavaScript with arrows.	DLS	2009	DBLP DOI BibTeX RDF
23	Patrick Bas, Andreas Westfeld	Two key estimation techniques for the broken arrows watermarking scheme.	MM&Sec	2009	DBLP DOI BibTeX RDF
23	Sam Lindley, Philip Wadler, Jeremy Yallop	Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous.	MSFP@ICALP	2008	DBLP DOI BibTeX RDF
23	Robert Atkey	What is a Categorical Model of Arrows?	MSFP@ICALP	2008	DBLP DOI BibTeX RDF
23	Teddy Furon, Patrick Bas	Broken Arrows.	EURASIP J. Inf. Secur.	2008	DBLP DOI BibTeX RDF
23	Luca La Rocca, Alberto Roverato	Chain graph models: topological sorting of meta-arrows and efficient construction of B-essential graphs.	Stat. Methods Appl.	2008	DBLP DOI BibTeX RDF
23	Don S. Batory, Maider Azanza, João Saraiva	The Objects and Arrows of Computational Design.	MoDELS	2008	DBLP DOI BibTeX RDF	Software product lines, model driven engineering, categories
23	Murdoch Gabbay, Michael Gabbay 0001	a-Logic With Arrows.	WFLP@RDP	2007	DBLP DOI BibTeX RDF
23	Ian Stewart 0001	Elimination of Multiple Arrows and Self-Connections in Coupled Cell Networks.	Int. J. Bifurc. Chaos	2007	DBLP DOI BibTeX RDF
23	Maaike Schweers, Bart Verheij	Beyond boxes and arrows: argumentation support in terms of the knowledge structure of a legal topic.	JURIX	2007	DBLP BibTeX RDF
23	Juliana Kaizer Vizzotto, Antônio Carlos da Rocha Costa, Amr Sabry	Quantum Arrows in Haskell.	QPL	2006	DBLP DOI BibTeX RDF
23	Chris Heunen, Bart Jacobs 0001	Arrows, like Monads, are Monoids.	MFPS	2006	DBLP DOI BibTeX RDF
23	Juliana Kaizer Vizzotto, Thorsten Altenkirch, Amr Sabry	Structuring quantum effects: superoperators as arrows.	Math. Struct. Comput. Sci.	2006	DBLP DOI BibTeX RDF
23	Julie Heiser, Barbara Tversky	Arrows in Comprehending and Producing Mechanical Diagrams.	Cogn. Sci.	2006	DBLP DOI BibTeX RDF
23	Mohamed El-Ghali M. Abdallah, L. N. Gab-Alla, Sayed Khalil M. Elagan	On semilattices of groups whose arrows are epimorphisms.	Int. J. Math. Math. Sci.	2006	DBLP DOI BibTeX RDF
23	Sergey A. Solovyov	Categories of lattice-valued sets as categories of arrows.	Fuzzy Sets Syst.	2006	DBLP DOI BibTeX RDF
23	H. Dieter Zeh	Remarks on the Compatibility of Opposite Arrows of Time II.	Entropy	2006	DBLP DOI BibTeX RDF
23	Bart Jacobs 0001, Ichiro Hasuo	Freyd is Kleisli, for Arrows.	MSFP@MPC	2006	DBLP BibTeX RDF
23	Timothy Koschmann, Alan Zemel	Optical Pulsars and Black Arrows: Discovery's Work in 'Hot' and 'Cold' Science.	ICLS	2006	DBLP BibTeX RDF
23	Martin Golubitsky, Ian Stewart 0001, Andrei Török	Patterns of Synchrony in Coupled Cell Networks with Multiple Arrows.	SIAM J. Appl. Dyn. Syst.	2005	DBLP DOI BibTeX RDF
23	Juliana Kaizer Vizzotto, Thorsten Altenkirch, Amr Sabry	Structuring quantum effects: superoperators as arrows	CoRR	2005	DBLP BibTeX RDF
23	H. Dieter Zeh	Remarks on the Compatibility of Opposite Arrows of Time.	Entropy	2005	DBLP DOI BibTeX RDF
23	Jeffrey V. Nickerson	The Meaning of Arrows: Diagrams and Other Facets in System Sciences Literature.	HICSS	2005	DBLP DOI BibTeX RDF
23	Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke	Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
23	John Hughes 0001	Programming with Arrows.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
23	Bruce E. Shapiro, Andre Levchenko, Elliot M. Meyerowitz, Barbara J. Wold, Eric Mjolsness	Cellerator: extending a computer algebra system to include biochemical arrows for signal transduction simulations.	Bioinform.	2003	DBLP DOI BibTeX RDF
23	John Hughes 0001	Generalising monads to arrows.	Sci. Comput. Program.	2000	DBLP DOI BibTeX RDF
23	Gerard Ligozat	Reasoning with Diagrams: The Semantics of Arrows.	IEA/AIE	1999	DBLP DOI BibTeX RDF
23	Alfio Ricardo de Brito Martini	Relating arrows between institutions in a categorical framework.		1999	RDF
23	Craig Harrison	The three arrows of Zeno.	Synth.	1996	DBLP DOI BibTeX RDF
23	Jurgen den Hartog, Ton K. ten Kate	Finding arrows in utility maps using a neural network.	ICPR (2)	1994	DBLP DOI BibTeX RDF
23	Jean-François Monin	Real-size Compiler Writing Using Prolog with Arrows.	ICLP	1991	DBLP BibTeX RDF
13	Hector Ouilhet	Google Sky Map: using your phone as an interface.	Mobile HCI	2010	DBLP DOI BibTeX RDF
13	Mengqiao Huang, Qingguo Li, Jibo Li	Generalized Continuous Posets and a New Cartesian Closed Category.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06A06, 06D10, 18B30, 54F05, 06B35
13	Dov M. Gabbay, Sérgio Marcelino	Modal Logics of Reactive Frames.	Stud Logica	2009	DBLP DOI BibTeX RDF	reactive graphs, reactive frames, (bi)modal logic, Kripke semantics
13	Andrew S. Forsberg, Jian Chen 0006, David H. Laidlaw	Comparing 3D Vector Field Visualization Methods: A User Study.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
13	Tony McLoughlin, Robert S. Laramee, Eugene Zhang	Easy integral surfaces: a fast, quad-based stream and path surface algorithm.	CGI	2009	DBLP DOI BibTeX RDF
13	Mireille Samia, Michael Leuschel	Towards pie tree visualization of graphs and large software architectures.	ICPC	2009	DBLP DOI BibTeX RDF
13	Harlan Hile, Radek Grzeszczuk, Alan L. Liu, Ramakrishna Vedantham, Jana Kosecka, Gaetano Borriello	Landmark-Based Pedestrian Navigation with Enhanced Spatial Reasoning.	Pervasive	2009	DBLP DOI BibTeX RDF
13	Benjamin Smith, Sharon J. Laskowski, Svetlana Lowry	Implications of Graphics on Usability and Accessibility for the Voter.	VoteID	2009	DBLP DOI BibTeX RDF	Ballots, Voter Interface, Usability, Animation, Accessibility, Graphics, Icons, Logos, Voting System
13	J. Robin B. Cockett, Luigi Santocanale	On the Word Problem for SP{Sigma Pi}-Categories, and the Properties of Two-Way Communication.	CSL	2009	DBLP DOI BibTeX RDF	??-categories, bicatersian categories, two-way communication, proof theory, game semantics, word problem
13	Andreas Westfeld	Fast Determination of Sensitivity in the Presence of Countermeasures in BOWS-2.	Information Hiding	2009	DBLP DOI BibTeX RDF
13	Robert Laurini, Silvia E. Gordillo, Françoise Milleret-Raffort, Sylvie Servigne, Gustavo Rossi, Nan Wang, Andres Fortier	A Primer of Picture-Aided Navigation in Mobile Systems.	SDH	2008	DBLP DOI BibTeX RDF	explaining itineraries, GIS, Location-based Services, images, Physical Hypermedia
13	Antoni W. Mazurkiewicz	Token-Free Petri Nets.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
13	Tryphon T. Georgiou, Malcolm C. Smith	Feedback control and the arrow of time.	CDC	2008	DBLP DOI BibTeX RDF
13	Martin Luboschik, Heidrun Schumann	Illustrative halos in information visualization.	AVI	2008	DBLP DOI BibTeX RDF	illustrative rendering, information visualization, illustrative visualization, halos
13	Andreas Westfeld	A regression-based restoration technique for automated watermark removal.	MM&Sec	2008	DBLP DOI BibTeX RDF	robustness, digital watermarking, attack
13	Brad A. Myers, Sun Young Park, Yoko Nakano, Greg Mueller, Amy J. Ko	How designers design and program interactive behaviors.	VL/HCC	2008	DBLP DOI BibTeX RDF
13	Dan B. Goldman, Chris Gonterman, Brian Curless, David Salesin, Steven M. Seitz	Video object annotation, navigation, and composition.	UIST	2008	DBLP DOI BibTeX RDF	video interaction, video navigation, direct manipulation, video annotation
13	Alejandro Russo, Koen Claessen, John Hughes 0001	A library for light-weight information-flow security in haskell.	Haskell	2008	DBLP DOI BibTeX RDF	information-flow, library, monad, declassification
13	H. J. Sander Bruggink, Barbara König 0001	On the Recognizability of Arrow and Graph Languages.	ICGT	2008	DBLP DOI BibTeX RDF
13	Ashweeni Kumar Beeharee, Anthony Steed	Minimising Pedestrian Navigational Ambiguities Through Geoannotation and Temporal Tagging.	HCI (2)	2007	DBLP DOI BibTeX RDF	Geoannotation, Design, Human Factors, Ambiguities, Pedestrian Navigation
13	Ichiro Hasuo, Bart Jacobs 0001, Tarmo Uustalu	Categorical Views on Computations on Trees (Extended Abstract).	ICALP	2007	DBLP DOI BibTeX RDF
13	Lanting Lu, Christine S. M. Currie, Russell C. H. Cheng, John Ladbrook	Classification analysis for simulation of machine breakdowns.	WSC	2007	DBLP DOI BibTeX RDF
13	Imran Rao, Nomica Imran, Salman Khan, Eui-nam Huh, TaeChoong Chung	Adaptive and Reconfigurable ResOurce Management for Wireless Sensors using Grid Technology.	COMSWARE	2007	DBLP DOI BibTeX RDF
13	Simon Bouvier-Zappa, Victor Ostromoukhov, Pierre Poulin	Motion cues for illustration of skeletal motion capture data.	NPAR	2007	DBLP DOI BibTeX RDF
13	Abdelmajid Kadri, Anatole Lécuyer, Jean-Marie Burkhardt, Simon Richir	The Influence of Visual Appearance of User's Avatar on the Manipulation of Objects in Virtual Environments.	VR	2007	DBLP DOI BibTeX RDF
13	Bill Karakostas, Yannis Zorgios, Charalampos C. Alevizos	Automatic derivation of BPEL4WS from IDEF0 process models.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	IDEF0, Web services, UML, WSDL, Orchestration, BPEL4WS
13	Tuan-Fang Fan, Duen-Ren Liu, Gwo-Hshiung Tzeng	Arrow Decision Logic for Relational Information Systems.	Trans. Rough Sets	2006	DBLP DOI BibTeX RDF	Arrow logic, functional information systems, relational information systems, rough sets, multicriteria decision analysis, decision logic
13	Dan B. Goldman, Brian Curless, David Salesin, Steven M. Seitz	Schematic storyboarding for video visualization and editing.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	video interaction, video summarization, video editing, storyboards, video visualization
13	Peng Li, Steve Zdancewic	Encoding Information Flow in Haskell.	CSFW	2006	DBLP DOI BibTeX RDF
13	Esther Schmidt, Ewan Birney, David Croft 0001, Bernard de Bono, Peter D'Eustachio, Marc Gillespie, Gopal Gopinath, Bijay Jassal, Suzanna Lewis, Lisa Matthews, Lincoln Stein, Imre Vastrik, Guanming Wu	Reactome - A Knowledgebase of Biological Pathways.	OTM Workshops (1)	2006	DBLP DOI BibTeX RDF	biological processes, pathways, knowledgebase
13	Johannes Reichardt	Two-dimensional C++.	SOFTVIS	2006	DBLP DOI BibTeX RDF	C++
13	Alejo Hausner	Animated visualization of time-varying 2D flows using error diffusion.	AVI	2006	DBLP DOI BibTeX RDF	time-varying flow, flow visualization, error diffusion
13	Marios N. Avraamides, Melina-Nicole Kyranidou	Sensorimotor Interference When Reasoning About Described Environments.	Spatial Cognition	2006	DBLP DOI BibTeX RDF	alignment effect, sensorimotor interference, Spatial reasoning
13	Wen Wu, Jie Yang 0001, Jing Zhang	A Multimedia System for Route Sharing and Video-Based Navigation.	ICME	2006	DBLP DOI BibTeX RDF
13	M. C. Andrade, Célio Estevan Morón, José Hiroki Saito	Reconfigurable System with Virtuoso Real-Time Kernel and TEV Environment.	SBAC-PAD	2006	DBLP DOI BibTeX RDF
13	Björn Schwerdtfeger, Troels Frimor, Daniel Pustka, Gudrun Klinker	Mobile Information Presentation Schemes for Supra-adaptive Logistics Applications.	ICAT	2006	DBLP DOI BibTeX RDF	commissioning, mobile information presentation, Augmented reality, user interface evaluations, order picking
13	Marc Verhagen	Drawing TimeML Relations with TBox.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP DOI BibTeX RDF	TimeML, temporal annotation, temporal closure, visualization, timelines
13	Jake K. Aggarwal	Human Activity Recognition.	PReMI	2005	DBLP DOI BibTeX RDF
13	Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone	Spatial Logics for Bigraphs.	ICALP	2005	DBLP DOI BibTeX RDF
13	Robin Milner	Embeddings and Contexts for Link Graphs.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
13	Tarmo Uustalu, Varmo Vene	The Essence of Dataflow Programming.	APLAS	2005	DBLP DOI BibTeX RDF
13	Matthias Fischer 0001, Bengt Mueck, Kiran R. Mahajan, Michael Kortenjan, Christoph Laroque, Wilhelm Dangelmaier	Multi-user support and motion planning of humans and humans driven vehicles in interactive 3D material flow simulations.	WSC	2005	DBLP DOI BibTeX RDF
13	Tuan-Fang Fan, Duen-Ren Liu, Gwo-Hshiung Tzeng	Arrow Decision Logic.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF	Arrow logic, rough sets, multicriteria decision analysis, decision logic
13	Roberto Ballerini, Luigi Cinque, Luca Lombardi, Roberto Marmo	Rectangular Traffic Sign Recognition.	ICIAP	2005	DBLP DOI BibTeX RDF
13	Shyh-Kuang Ueng, Sheng-Chuan Wang	Interpolation And Visualization For Advected Scalar Fields.	IEEE Visualization	2005	DBLP DOI BibTeX RDF	Doppler radar, volume rendering, optical flow, level of details, vector field visualization
13	Tarmo Uustalu, Varmo Vene	The Essence of Dataflow Programming.	CEFP	2005	DBLP DOI BibTeX RDF
13	Georg Pölzlbauer, Andreas Rauber, Michael Dittenbach	A Vector Field Visualization Technique for Self-organizing Maps.	PAKDD	2005	DBLP DOI BibTeX RDF
13	Yohei Kurata, Max J. Egenhofer	Structure and Semantics of Arrow Diagrams.	COSIT	2005	DBLP DOI BibTeX RDF
13	Martin Szummer	Learning Diagram Parts with Hidden Random Fields.	ICDAR	2005	DBLP DOI BibTeX RDF
13	Don Willems, Stéphane Rossignol, Louis Vuurpijl	Mode detection in on-line pen drawing and handwriting recognition.	ICDAR	2005	DBLP DOI BibTeX RDF
13	Hartmut Ehrig, Barbara König 0001	Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting.	FoSSaCS	2004	DBLP DOI BibTeX RDF
13	Thomas Erlebach, Riko Jacob, Matús Mihalák, Marc Nunkesser, Gábor Szabó 0001, Peter Widmayer	Joint Base Station Scheduling.	WAOA	2004	DBLP DOI BibTeX RDF
13	Tudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen	Validating the Unit Correctness of Spreadsheet Programs.	ICSE	2004	DBLP DOI BibTeX RDF
13	Lutz Straßburger, François Lamarche	On Proof Nets for Multiplicative Linear Logic with Units.	CSL	2004	DBLP DOI BibTeX RDF
13	Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden	GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
13	Qiang-Sheng Hua, Zhi-Gang Chen 0001, Francis C. M. Lau 0001	A New Method for Independent Task Scheduling in Nonlinearly DAG Clustering.	ISPAN	2004	DBLP DOI BibTeX RDF
13	Harrie C. M. de Swart, Ad van Deemen, Eliora van der Hout, Peter Kop	Categoric and Ordinal Voting: An Overview.	Theory and Applications of Relational Structures as Knowledge Instruments	2003	DBLP DOI BibTeX RDF