Search results for "Upward"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
181	Vida Dujmovic, David R. Wood	Upward Three-Dimensional Grid Drawings of Graphs.	Order	2006	DBLP DOI BibTeX RDF	grid drawing, three dimensional graph drawing, upward drawing, track layout, upward track layout, upward queue layout, strong star colouring, harmonious colouring, graph drawing
149	Francesco Giordano, Giuseppe Liotta, Tamara Mchedlidze, Antonios Symvonis	Computing Upward Topological Book Embeddings of Upward Planar Digraphs.	ISAAC	2007	DBLP DOI BibTeX RDF
145	Md. Jawaherul Alam, Md. Abul Hassan Samee, Mashfiqui Rabbi, Md. Saidur Rahman 0001	Upward Drawings of Trees on the Minimum Number of Layers.	WALCOM	2008	DBLP DOI BibTeX RDF	Planar Drawing, k-layer Planar Drawing, Upward Drawing, Minimum Layer Upward Drawing, Algorithm, Trees, Line-labeling, Straight-line Drawing
121	Paola Bertolazzi, Giuseppe Di Battista, Walter Didimo	Quasi-Upward Planarity.	Algorithmica	2002	DBLP DOI BibTeX RDF	Upward, Flow techniques, Branch and bound, Planarity
120	Paola Bertolazzi, Giuseppe Di Battista, Carlo Mannino, Roberto Tamassia	Optimal Upward Planarity Testing of Single-Source Digraphs.	ESA	1993	DBLP DOI BibTeX RDF
109	Fabrizio Frati	On Minimum Area Planar Upward Drawings of Directed Trees and Other Families of Directed Acyclic Graphs.	WG	2007	DBLP DOI BibTeX RDF
97	Markus Chimani, Carsten Gutwenger, Petra Mutzel, Hoi-Ming Wong	Layer-Free Upward Crossing Minimization.	WEA	2008	DBLP DOI BibTeX RDF
86	Alejandro Estrella-Balderrama, Fabrizio Frati, Stephen G. Kobourov	Upward Straight-Line Embeddings of Directed Graphs into Point Sets.	WG	2008	DBLP DOI BibTeX RDF
86	Lane A. Hemachandra, Sudhir K. Jha	Defying Upward and Downward Separation.	STACS	1993	DBLP DOI BibTeX RDF
79	Emilio Di Giacomo, Walter Didimo, Giuseppe Liotta, Stephen K. Wismath	Book Embeddability of Series-Parallel Digraphs.	Algorithmica	2006	DBLP DOI BibTeX RDF	Book embeddability, Point set embedding
75	Patrick Healy, Karol Lynch	Fixed-Parameter Tractable Algorithms for Testing Upward Planarity.	SOFSEM	2005	DBLP DOI BibTeX RDF
75	Hubert Y. Chan 0002	A Parameterized Algorithm for Upward Planarity Testing.	ESA	2004	DBLP DOI BibTeX RDF
75	Walter Didimo, Maurizio Pizzonia	Upward Embeddings and Orientations of Undirected Planar Graphs.	WADS	2001	DBLP DOI BibTeX RDF
70	Walter Didimo, Francesco Giordano, Giuseppe Liotta	Upward Spirality and Upward Planarity Testing.	GD	2005	DBLP DOI BibTeX RDF
69	Myungsook Klassen, Russell Stockard, Ali Akbari	Stimulating information technology education among underrepresented minorities.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	computer science college major, computer science pipeline, status attainment model, underrepresented minorities, upward bound program, information technology, self-efficacy, social cognition theory
68	Emilio Di Giacomo, Walter Didimo, Giuseppe Liotta, Stephen K. Wismath	Book Embeddings and Point-Set Embeddings of Series-Parallel Digraphs.	GD	2002	DBLP DOI BibTeX RDF
63	Giuseppe Di Battista, Giuseppe Liotta	Upward Planarity Checking: "Faces Are More than Polygons".	GD	1998	DBLP DOI BibTeX RDF
63	Pierluigi Crescenzi, Paolo Penna	Upward Drawings of Search Trees (Extended Abstract).	WG	1996	DBLP DOI BibTeX RDF
52	Seok-Hee Hong 0001, Hiroshi Nagamochi	Upward Star-Shaped Polyhedral Graphs.	ISAAC	2009	DBLP DOI BibTeX RDF
52	Sarmad Abbasi, Patrick Healy, Aimal Rextin	An Improved Upward Planarity Testing Algorithm and Related Applications.	WALCOM	2009	DBLP DOI BibTeX RDF
52	Tamara Mchedlidze, Antonios Symvonis	Spine Crossing Minimization in Upward Topological Book Embeddings.	GD	2008	DBLP DOI BibTeX RDF
52	Aimal Rextin, Patrick Healy	A Fully Dynamic Algorithm to Test the Upward Planarity of Single-Source Embedded Digraphs.	GD	2008	DBLP DOI BibTeX RDF
52	Hsu-Chun Yen, Chien-Liang Chen	Computing Minimal Elements of Upward-Closed Sets for Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
52	Krishnendu Chatterjee	Nash Equilibrium for Upward-Closed Objectives.	CSL	2006	DBLP DOI BibTeX RDF
52	Martin Siebenhaller, Michael Kaufmann 0001	Mixed Upward Planarization - Fast and Robust.	GD	2005	DBLP DOI BibTeX RDF
52	Walter Didimo	Computing Upward Planar Drawings Using Switch-Regularity Heuristics.	SOFSEM	2005	DBLP DOI BibTeX RDF
52	Paola Bertolazzi, Giuseppe Di Battista, Walter Didimo	Quasi-Upward Planarity.	GD	1998	DBLP DOI BibTeX RDF
47	Graeme Smith 0001, John Derrick	Verifying data refinements using a model checker.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	State-based specifications, Z Refinement, Downward and upward simulations, Model checking, CTL
45	Tamara Mchedlidze, Antonios Symvonis	Crossing-Free Acyclic Hamiltonian Path Completion for Planar st-Digraphs.	ISAAC	2009	DBLP DOI BibTeX RDF
41	Tamara Mchedlidze, Antonios Symvonis	Crossing-Optimal Acyclic Hamiltonian Path Completion and Its Application to Upward Topological Book Embeddings.	WALCOM	2009	DBLP DOI BibTeX RDF
41	Francesco Giordano, Giuseppe Liotta, Sue Whitesides	Embeddability Problems for Upward Planar Digraphs.	GD	2008	DBLP DOI BibTeX RDF
41	Markus Eiglsperger, Michael Kaufmann 0001	An Approach for Mixed Upward Planarization.	WADS	2001	DBLP DOI BibTeX RDF
41	Luc Moreau 0001	Non-Speculative and Upward Invocation of Continuations in a Parallel Language.	TAPSOFT	1995	DBLP DOI BibTeX RDF
41	Ashim Garg, Michael T. Goodrich, Roberto Tamassia	Area-Efficient Upward Tree Drawings.	SCG	1993	DBLP DOI BibTeX RDF
41	Eric Allender	Limitations of the Upward Separation Technique (Preliminary Version).	ICALP	1989	DBLP DOI BibTeX RDF
41	Giuseppe Di Battista, Roberto Tamassia	Upward Drawings of Acyclic Digraphs.	WG	1987	DBLP DOI BibTeX RDF
36	Hans Jakob Belter, Thomas Krumpen, Markus A. Janout, Ed Ross, Christian Haas 0001	An Adaptive Approach to Derive Sea Ice Draft from Upward-Looking Acoustic Doppler Current Profilers (ADCPs), Validated by Upward-Looking Sonar (ULS) Data.	Remote. Sens.	2021	DBLP DOI BibTeX RDF
36	Francesco Giordano, Giuseppe Liotta, Tamara Mchedlidze, Antonios Symvonis, Sue Whitesides	Computing upward topological book embeddings of upward planar digraphs.	J. Discrete Algorithms	2015	DBLP DOI BibTeX RDF
36	Carla Binucci, Walter Didimo, Maurizio Patrignani	Upward and quasi-upward planarity testing of embedded mixed graphs.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
36	Walter Didimo, Francesco Giordano, Giuseppe Liotta	Upward Spirality and Upward Planarity Testing.	SIAM J. Discret. Math.	2009	DBLP DOI BibTeX RDF
35	Hao Wang, Xing Zhang, Guoqing Chen	Mining a Complete Set of Both Positive and Negative Association Rules from Large Databases.	PAKDD	2008	DBLP DOI BibTeX RDF	upward closure, data mining, Apriori, Negative association rules
35	Chia-Chun Tsai, Jan-Ou Wu, Chung-Chieh Kuo, Trong-Yen Lee, Wen-Ta Lee	Zero-Skew Driven for RLC Clock Tree Construction in SoC.	ICITA (1)	2005	DBLP DOI BibTeX RDF	RLC delay model, Upward propagation, SoC, Clock tree, Zero skew
34	Patrick R. J. van der Laag, Shan-Hwei Nienhuys-Cheng	Existence and Nonexistence of Complete Refinement Operators.	ECML	1994	DBLP DOI BibTeX RDF
34	Paola Bertolazzi, Robert F. Cohen, Giuseppe Di Battista, Roberto Tamassia, Ioannis G. Tollis	How to Draw a Series-Parallel Digraph (Extended Abstract).	SWAT	1992	DBLP DOI BibTeX RDF
34	Krishnaprasad Thirunarayan	An Analysis of Property-Flow View vs Individual-Flow View of Inheritance.	ISMIS	1991	DBLP DOI BibTeX RDF
29		Temporal Upward Compatibility.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
29	Carla Binucci, Walter Didimo, Francesco Giordano	Maximum Upward Planar Subgraphs of Embedded Planar Digraphs.	GD	2007	DBLP DOI BibTeX RDF
29	Alon Altman, Ya'acov Peterzil, Yoad Winter	Scope Dominance with Upward Monotone Quantifiers.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	monotonicity, dominance, scope, generalized quantifier
29	Emilio Di Giacomo, Giuseppe Liotta, Henk Meijer, Stephen K. Wismath	Volume Requirements of 3D Upward Drawings.	GD	2005	DBLP DOI BibTeX RDF
29	Patrick Healy, Karol Lynch	Building Blocks of Upward Planar Digraphs.	GD	2004	DBLP DOI BibTeX RDF
29	Wenfei Fan, Peter Schwenzer, Kun Wu	Keys with Upward Wildcards for XML.	DEXA	2001	DBLP DOI BibTeX RDF
29	Giorgio Delzanno, Jean-François Raskin	Symbolic Representation of Upward-Closed Sets.	TACAS	2000	DBLP DOI BibTeX RDF
29	Giuseppe Di Battista, Walter Didimo, Maurizio Patrignani, Maurizio Pizzonia	Orthogonal and Quasi-upward Drawings with Vertices of Prescribed Size.	GD	1999	DBLP DOI BibTeX RDF
24	Hossein Mohebi	Increasing and Positively Homogeneous Functions on Topological Vector Spaces.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Monotonic analysis, IPH functions, Downward sets, Upward sets, Abstract convexity
24	Hossein Mohebi	Best Approximation in Ordered Normed Linear Spaces.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Downward and upward sets, Star-shaped set, Proximinal set, Necessary and sufficient conditions, Global minimum, Best approximation
24	Almond D. Dillard, Galen Raether	IT staff training and development.	SIGUCCS	2001	DBLP DOI BibTeX RDF	employee development, training needs assessment, training plan, upward mobility
23	Betsy Williams, Travis Rasor, Gayathri Narasimham	Distance perception in virtual environments: a closer look at the horizon and the error.	APGV	2009	DBLP DOI BibTeX RDF	virtual reality (VR), space perception
23	Michael Benedikt, Wenfei Fan, Floris Geerts	XPath satisfiability in the presence of DTDs.	J. ACM	2008	DBLP DOI BibTeX RDF	XML, Satisfiability, XPath, Containment, DTDs
23	Yi-Fei Pu, Weixing Wang, Jiliu Zhou, Yiyang Wang, Huading Jia	Fractional differential approach to detecting textural features of digital image and its fractional differential filter implementation.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	fractional stationary point, fractional equilibrium coefficient, fractional stable coefficient, fractional grayscale co-occurrence matrix, fractional differential mask
23	Yang Liu, Loïc Brunel, Joseph Jean Boutros	Belief propagation with Gaussian approximation for joint channel estimation and decoding.	PIMRC	2008	DBLP DOI BibTeX RDF
23	Shimpei Isobe, Shigeki Nakaura, Mitsuji Sampei	Continuous rolling motion control for theAcrobot composed of rounded links.	CDC	2008	DBLP DOI BibTeX RDF
23	Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar	Computing Simulations over Tree Automata.	TACAS	2008	DBLP DOI BibTeX RDF
23	Chien-Chung Chan, Gwo-Hshiung Tzeng	Dominance-Based Rough Sets Using Indexed Blocks as Granules.	RSKT	2008	DBLP DOI BibTeX RDF	Dominance-based rough sets, Multiple criteria decision analysis (MCDA), Indexed blocks, Classification, Rough sets, sorting, Granule
23	Humphrey Rutagemwa, Minghui Shi, Xuemin Shen, Jon W. Mark	Wireless Profiled TCP Performance over Integrated Wireless LANs and Cellular Networks.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
23	Humphrey Rutagemwa, Sangheon Pack, Xuemin Shen, Jon W. Mark	Cross-layer Design and Analysis of Wireless Profiled TCP for Vertical Handover.	ICC	2007	DBLP DOI BibTeX RDF
23	Jieh-Shan Yeh, Yu-Chiang Li, Chin-Chen Chang 0001	Two-Phase Algorithms for a Novel Utility-Frequent Mining Model.	PAKDD Workshops	2007	DBLP DOI BibTeX RDF
23	Zied Marrakchi, Hayder Mrabet, Habib Mehrez	Configuration tools for a new multilevel hierarchical FPGA.	FPGA	2006	DBLP DOI BibTeX RDF
23	Hayder Mrabet, Zied Marrakchi, Pierre Souillot, Habib Mehrez	A multilevel hierarchical interconnection structure for FPGA.	FPGA	2006	DBLP DOI BibTeX RDF
23	Nutan Limaye, Meena Mahajan, Jayalal Sarma	Evaluating Monotone Circuits on Cylinders, Planes and Tori.	STACS	2006	DBLP DOI BibTeX RDF
23	Sudipta Saha, Debashis Paul, Ashutosh Mukherjee, Somnath Banerjee, G. C. Majumder	Development of a Unique Computerized Spectrophotometric System with Vertical Movement of the Cuvette for Sperm Motilty Analysis.	CCECE	2006	DBLP DOI BibTeX RDF
23	Hin-Lun Lai, Jack Yiu-Bun Lee, Lian-Kuan Chen	A monotonic-decreasing rate scheduler for variable-bit-rate video streaming.	IEEE Trans. Circuits Syst. Video Technol.	2005	DBLP DOI BibTeX RDF
23	Michael Benedikt, Wenfei Fan, Floris Geerts	XPath satisfiability in the presence of DTDs.	PODS	2005	DBLP DOI BibTeX RDF
23	Yao-Nan Lien	Performance Issues of P2P File Sharing over Asymmetric and Wireless Networks.	ICDCS Workshops	2005	DBLP DOI BibTeX RDF	TCP, P2P
23	Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger	Trading Memory for Randomness.	QEST	2004	DBLP DOI BibTeX RDF
23	Steve Dunne	Introducing Backward Refinement into B.	ZB	2003	DBLP DOI BibTeX RDF
23	Haluk Topcuoglu, Salim Hariri, Min-You Wu	Performance-Effective and Low-Complexity Task Scheduling for Heterogeneous Computing.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	mapping, heterogeneous systems, task graphs, list scheduling, DAG scheduling
23	Yoshiki Kinoshita, John Power	Data Refinement and Algebraic Structure.	Acta Informatica	2000	DBLP DOI BibTeX RDF
23	M. Stella Atkins	Experiments in SR with Different Upcall Program Structures.	ACM Trans. Comput. Syst.	1988	DBLP DOI BibTeX RDF	SR
18	Limeng Zheng, Biao Cao, Qiang Na, Boxiong Qin, Junhua Bai, Yongming Du, Hua Li 0005, Zunjian Bian, Qing Xiao, Qinhuo Liu	Estimation and Evaluation of 15 Minute, 40 Meter Surface Upward Longwave Radiation Downscaled from the Geostationary FY-4B AGRI.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
18	Kai Zeng, Kejiang Chen, Weiming Zhang 0001, Yaofei Wang	Upward Robust Steganography Based on Overflow Alleviation.	IEEE Trans. Multim.	2024	DBLP DOI BibTeX RDF
18	Emilio Di Giacomo, Henry Förster, Daria Kokhovich, Tamara Mchedlidze, Fabrizio Montecchiani, Antonios Symvonis, Anaïs Villedieu	On 1-bend Upward Point-set Embeddings of st-digraphs.	CoRR	2024	DBLP DOI BibTeX RDF
18	Isabell Stucke, Deborah Morgenstern, Georg J. Mayr, Thorsten Simon, Achim Zeileis, Gerhard Diendorfer, Wolfgang Schulz, Hannes Pichler	Spatio-seasonal risk assessment of upward lightning at tall objects using meteorological reanalysis data.	CoRR	2024	DBLP DOI BibTeX RDF
18	Emilio Di Giacomo, Henry Förster, Daria Kokhovich, Tamara Mchedlidze, Fabrizio Montecchiani, Antonios Symvonis, Anaïs Villedieu	On 1-Bend Upward Point-Set Embeddings of st-Digraphs.	LATIN (1)	2024	DBLP DOI BibTeX RDF
18	Paul Jungeblut, Laura Merker, Torsten Ueckerdt	A Sublinear Bound on the Page Number of Upward Planar Graphs.	SIAM J. Discret. Math.	2023	DBLP DOI BibTeX RDF
18	Jonathan Klawitter, Johannes Zink 0001	Upward Planar Drawings with Three and More Slopes.	J. Graph Algorithms Appl.	2023	DBLP DOI BibTeX RDF
18	Patrizio Angelini, Michael A. Bekos, Henry Förster, Martin Gronemann	Bitonic st-Orderings for Upward Planar Graphs: Splits and Bends in the Variable Embedding Scenario.	Algorithmica	2023	DBLP DOI BibTeX RDF
18	Carla Binucci, Giordano Da Lozzo, Emilio Di Giacomo, Walter Didimo, Tamara Mchedlidze, Maurizio Patrignani	Upward Book Embeddability of st-Graphs: Complexity and Algorithms.	Algorithmica	2023	DBLP DOI BibTeX RDF
18	Sujoy Bhore, Giordano Da Lozzo, Fabrizio Montecchiani, Martin Nöllenburg	On the upward book thickness problem: Combinatorial and complexity results.	Eur. J. Comb.	2023	DBLP DOI BibTeX RDF
18	Linying Dong, Sameh Al-Natour, Ugonna Omeziri, Ozgur Turetken	Does user satisfaction affect employee well-being? An exploratory investigation at the onward and upward stage of enterprise system experience cycle.	Enterp. Inf. Syst.	2023	DBLP DOI BibTeX RDF
18	Fabrizio Frati	Upward Planarity Testing of Biconnected Outerplanar DAGs Solves Partition.	CoRR	2023	DBLP DOI BibTeX RDF
18	Fabian Egidy, Christian Glaßer, Martin Herold	Upward Translation of Optimal and P-Optimal Proof Systems in the Boolean Hierarchy over NP.	CoRR	2023	DBLP DOI BibTeX RDF
18	Bart M. P. Jansen, Liana Khazaliya, Philipp Kindermann, Giuseppe Liotta, Fabrizio Montecchiani, Kirill Simonov	Upward and Orthogonal Planarity are W[1]-hard Parameterized by Treewidth.	CoRR	2023	DBLP DOI BibTeX RDF
18	Isabell Stucke, Deborah Morgenstern, Thorsten Simon, Georg J. Mayr, Achim Zeileis, Gerhard Diendorfer, Wolfgang Schulz, Hannes Pichler	Upward lightning at wind turbines: Risk assessment from larger-scale meteorology.	CoRR	2023	DBLP DOI BibTeX RDF
18	Walter Didimo, Michael Kaufmann 0001, Giuseppe Liotta, Giacomo Ortali, Maurizio Patrignani	Rectilinear-Upward Planarity Testing of Digraphs.	ISAAC	2023	DBLP DOI BibTeX RDF
18	Chian C. Ho, Ke-Chi Hu	Forward-Backward-View Depth-Visual SLAM and Navigation Based on Upward-View Visual Odometry and Wheel Odometry.	ICCE-Taiwan	2023	DBLP DOI BibTeX RDF
18	Fabian Egidy, Christian Glaßer, Martin Herold	Upward Translation of Optimal and P-Optimal Proof Systems in the Boolean Hierarchy over NP.	MFCS	2023	DBLP DOI BibTeX RDF
18	Cory J. Butz, Jhonatan de S. Oliveira, André E. dos Santos, Anna Norris, Kadence Meredith	Upward Pass Semantics in Arithmetic Circuit Inference.	Canadian AI	2023	DBLP DOI BibTeX RDF
18	Bart M. P. Jansen, Liana Khazaliya, Philipp Kindermann, Giuseppe Liotta, Fabrizio Montecchiani, Kirill Simonov	Upward and Orthogonal Planarity are W[1]-Hard Parameterized by Treewidth.	GD (2)	2023	DBLP DOI BibTeX RDF
18	Christopher Donahue, Kevin Hammonds	Laboratory Observations of Preferential Flow Paths in Snow Using Upward-Looking Polarimetric Radar and Hyperspectral Imaging.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
18	Prayitno Abadi, Umar Ali Ahmad, Yuichi Otsuka, Punyawi Jamjareegulgarn, Dyah Rahayu Martiningrum, Agri Faturahman, Septi Perwitasari, Randy Erfa Saputra, Reza Rendian Septiawan	Modeling Post-Sunset Equatorial Spread-F Occurrence as a Function of Evening Upward Plasma Drift Using Logistic Regression, Deduced from Ionosondes in Southeast Asia.	Remote. Sens.	2022	DBLP DOI BibTeX RDF