Search results for "outlines"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
109	Francoise Balmas	Toward a Framework for Conceptual and Formal Outlines of Programs.	WCRE	1997	DBLP DOI BibTeX RDF	formal program outlines, conceptual program outlines, program re-documentation, computation localization, code role identification, PRISME system, automatic outline construction, Lisp looping functions, reverse specification, model, reverse engineering, debugging, program understanding, loops
53	Fred B. Schneider, Bard Bloom, Keith Marzullo	Putting Time into Proof Outlines.	REX Workshop	1991	DBLP DOI BibTeX RDF	concurrent program verification, real-time actions, proof outlines, safety properties, real-time programming, timing properties
48	David A. Forsyth	Recognizing algebraic surfaces from their outlines.	Int. J. Comput. Vis.	1996	DBLP DOI BibTeX RDF	Computer Vision, Recognition, Algebraic Surfaces, Invariant Theory, Outlines
46	Roger A. Grice	Use of format models and generic outlines to develop source material.	SIGDOC	1983	DBLP DOI BibTeX RDF
40	Francoise Balmas	Query by Outlines: A New Paradigm to Help Manage Programs.	PASTE	1999	DBLP DOI BibTeX RDF
38	Roberto Cipolla, Kalle Åström, Peter J. Giblin	Motion from the Frontier of Curved Surfaces.	ICCV	1995	DBLP DOI BibTeX RDF	curved surface frontier, contour generator envelope, visible region, viewer motion, curved surface outlines, real point, continuous motion, discrete motion, calibrated cameras, iterative scheme, epipolar line structure, image segmentation, edge detection, image sequences, projections, viewpoints, boundary, epipolar constraint, uncalibrated cameras, frontier points, statistical evaluation, real image sequences
34	Thomas B. Sebastian, Philip N. Klein, Benjamin B. Kimia	Alignment-Based Recognition of Shape Outlines.	IWVF	2001	DBLP DOI BibTeX RDF
34	John D. Hobby	Generating Automatically Tuned Bitmaps from Outlines.	J. ACM	1993	DBLP DOI BibTeX RDF	Lova´sz basis reduction, feature recognition, fonts, scan-conversion
32	Ivan Blecic, Arnaldo Cecchini, Giuseppe A. Trunfio	Towards a Cooperative Visual Authoring Environment for Storytelling.	CDVE	2008	DBLP DOI BibTeX RDF	cooperative story-outlines, visual cooperation, multiple user collaborative design, Storytelling
30	Antony Galton	Pareto-Optimality of Cognitively Preferred Polygonal Hulls for Dot Patterns.	Spatial Cognition	2008	DBLP DOI BibTeX RDF	Polygonal hulls, perceived shape, multi-objective optimisation, dot patterns
30	Mads Fogtmann Hansen, Rasmus Larsen 0001, Bjarne K. Ersbøll, Lars Bager Christensen	Coupled Shape Model Segmentation in Pig Carcasses.	ICPR (1)	2006	DBLP DOI BibTeX RDF
30	Yanlin Guo, Harpreet S. Sawhney, Rakesh Kumar 0001, Steven C. Hsu	Learning-Based Building Outline Detection from Multiple Aerial Images.	CVPR (2)	2001	DBLP DOI BibTeX RDF
30	Francoise Balmas	QBO: A Query Tool Specially Developed to Explore Programs.	WCRE	1999	DBLP DOI BibTeX RDF	program indexing and querying, query tool, loop outlining, program exploration
28	Robert J. Mullen, Dorothy Ndedi Monekosso, Sarah Barman, Paolo Remagnino, Paul Wilkin	Artificial Ants to Extract Leaf Outlines and Primary Venation Patterns.	ANTS Conference	2008	DBLP DOI BibTeX RDF
28	Muhammad Sarfraz 0001, Mohammad Tanvir Parvez, Ali Rizvi	Capturing Outlines of Planar Images by Cubic Spline using Stochastic Evolution.	CGIV	2007	DBLP DOI BibTeX RDF	Planar image, soft computing, curve fitting, cubic spline, knot insertion
28	Yasutaka Furukawa, Amit Sethi, Jean Ponce, David J. Kriegman	Robust Structure and Motion from Outlines of Smooth Curved Surfaces.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	shape, motion, Image processing and computer vision
28	Svetlana Lazebnik, Jean Ponce	The Local Projective Shape of Smooth Surfaces and Their Outlines.	Int. J. Comput. Vis.	2005	DBLP DOI BibTeX RDF	projective differential geometry, oriented projective geometry, local shape, frontier points, differential invariants
28	Arjan J. Mooij, Wieger Wesselink	Incremental Verification of Owicki/Gries Proof Outlines Using PVS.	ICFEM	2005	DBLP DOI BibTeX RDF
28	Ma Yang, Graham Leedham, Colin Higgins, Swe Myo Htwe	Segmentation and Recognition of Vocalized Outlines in Pitman Shorthand.	ICPR (1)	2004	DBLP DOI BibTeX RDF
28	Svetlana Lazebnik, Jean Ponce	The Local Projective Shape of Smooth Surfaces and their Outlines.	ICCV	2003	DBLP DOI BibTeX RDF
28	Anne Soronen, Veijo Tuomisto	Mobile Image Messaging - Anticipating the Outlines of the Usage Culture.	Mobile HCI	2002	DBLP DOI BibTeX RDF
28	Lambert Schomaker, Edward de Leau, Louis Vuurpijl	Using Pen-Based Outlines for Object-Based Annotation and Image-Based Queries.	VISUAL	1999	DBLP DOI BibTeX RDF
26	Barbara Norden	Screenwriting for Requirements Engineers.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	requirements, scenarios, action, stories, outlines
26	John T. Gorgone, Paul Gray, Edward A. Stohr, Joseph S. Valacich, Rolf T. Wigand	MSIS 2006: model curriculum and guidelines for graduate degree programs in information systems.	ACM SIGCSE Bull.	2006	DBLP DOI BibTeX RDF	MS career tracks, MS course outlines, MS curriculum
26	James D. Foley, Michel Beaudouin-Lafon, Jonathan Grudin, James D. Hollan, Scott E. Hudson, Judy Olson, Bill Verplank	Graduate education in human-computer interaction.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	course outlines, degree programs, HCI, digital library, curricula, teaching materials, graduate education
24	Girish R. Ranganathan, Yevgen Biletskiy, Dawn MacIsaac	Machine Learning for Classifying Learning Objects.	CCECE	2006	DBLP DOI BibTeX RDF
24	Sotirios Gyftakis, Peggy Agouris, Anthony Stefanidis	Image-based change detection of areal objects using differential snakes.	GIS	2005	DBLP DOI BibTeX RDF	geospatial database updates, change detection, active contour models
24	Stephen W. Smoliar, James D. Baker	Text Types in Hypermedia.	HICSS (6)	1997	DBLP DOI BibTeX RDF
22	Fengjie Wang, Yanna Lin, Leni Yang, Haotian Li 0001, Mingyang Gu, Min Zhu, Huamin Qu	OutlineSpark: Igniting AI-powered Presentation Slides Creation from Computational Notebooks through Outlines.	CoRR	2024	DBLP DOI BibTeX RDF
22	Linghui Kong, Haizhong Qian, Yuqing Wu, Xinyu Niu, Di Wang, Zhekun Huang	Simplification and Regularization Algorithm for Right-Angled Polygon Building Outlines with Jagged Edges.	ISPRS Int. J. Geo Inf.	2023	DBLP DOI BibTeX RDF
22	Daniel H. Huson, Banu Cetinkaya	Visualizing incompatibilities in phylogenetic trees using consensus outlines.	Frontiers Bioinform.	2023	DBLP DOI BibTeX RDF
22	Jinhua Shi, Shuhong Wang, Naming Zhang, Jianguo Zhu 0001	A residuals-distribution-guided local optimization approach to B-spline fitting in capturing image outlines.	Comput. Graph.	2023	DBLP DOI BibTeX RDF
22	Salomé Cojean, Eric Jamet	Effects of outlines and information seeking on learning outcomes in video-based environments.	Interact. Learn. Environ.	2023	DBLP DOI BibTeX RDF
22	David Knox, Bing Xue 0001, Mengjie Zhang 0001	Convolutional Neural Networks with Mask Shift Loss for Improving Building Outlines Detection.	INNS DLIA@IJCNN	2023	DBLP DOI BibTeX RDF
22	Daiki Kohama, Yoshiteru Nagata, Kazushige Yasutake, Kenta Urano, Shin Katayama, Takuro Yonezawa, Nobuo Kawaguchi	Panoramic Ceiling Image Synthesis Method Prioritizing Fixture Outlines using an Omnidirectional Camera.	ICMU	2023	DBLP DOI BibTeX RDF
22	Felix A. Wolf, Malte Schwerhoff, Peter Müller 0001	Concise outlines for a complex logic: a proof outline checker for TaDA.	Formal Methods Syst. Des.	2022	DBLP DOI BibTeX RDF
22	Longfei Chen, Wanchang Zhang 0001, Yaning Yi, Zhijie Zhang, Shijun Chao	Long Time-Series Glacier Outlines in the Three-Rivers Headwater Region From 1986 to 2021 Based on Deep Learning.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2022	DBLP DOI BibTeX RDF
22	Xingzhe He, Bastian Wandt, Helge Rhodin	AutoLink: Self-supervised Learning of Human Skeletons and Object Outlines by Linking Keypoints.	CoRR	2022	DBLP DOI BibTeX RDF
22	Jiawei Li, S. Supraja, Wei Qiu, Andy W. H. Khong	Grade Prediction via Prior Grades and Text Mining on Course Descriptions: Course Outlines and Intended Learning Outcomes.	EDM	2022	DBLP BibTeX RDF
22	Xingzhe He, Bastian Wandt, Helge Rhodin	AutoLink: Self-supervised Learning of Human Skeletons and Object Outlines by Linking Keypoints.	NeurIPS	2022	DBLP BibTeX RDF
22	Bahareh Kalantar, Ojogbane Success Sani, Seyd Teymoor Seydi, Alfian Abdul Halin, Shattri Mansor, Naonori Ueda	A Deep Learning Approach for Automated Building Outlines Extraction in Compact Urban Environments.	IGARSS	2022	DBLP DOI BibTeX RDF
22	Marko Bizjak, Borut Zalik, Niko Lukac	Parameter-Free Half-Spaces Based 3D Building Reconstruction Using Ground and Segmented Building Points from Airborne LiDAR Data with 2D Outlines.	Remote. Sens.	2021	DBLP DOI BibTeX RDF
22	Harsh Rathod, Manisimha Varma, Parna Chowdhury, Sameer Saxena, V. Manushree, Ankita Ghosh, Sahil Khose	XCI-Sketch: Extraction of Color Information from Images for Generation of Colored Outlines and Sketches.	CoRR	2021	DBLP BibTeX RDF
22	Felix A. Wolf, Malte Schwerhoff, Peter Müller 0001	Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA.	FM	2021	DBLP DOI BibTeX RDF
22	Barak Itkin, Lior Wolf, Nachum Dershowitz	Computational Visual Ceramicology: Matching Image Outlines to Catalog Sketches.	AAAI	2021	DBLP DOI BibTeX RDF
22	Marc J. van Kreveld, Tim Ophelders, Willem Sonke, Bettina Speckmann, Kevin Verbeek	Volume from Outlines on Terrains.	GIScience (I)	2021	DBLP DOI BibTeX RDF
22	Yulia Romanyshyn, Viktoriia Bandura, Vitaliy Melnyk, Vasyl Sheketa, Volodymyr Pikh, Mykola Pasieka	Knowledge Transfer Routines in the Outlines of Web Based Education Management.	ACIT	2021	DBLP DOI BibTeX RDF
22	Chao Zhou 0014, Rui Wang 0018, Cheng Hu 0001	Robust Tracking for Small Target Groups With Dynamic Outlines.	IEEE Access	2020	DBLP DOI BibTeX RDF
22	Yakun Xie, Jun Zhu 0007, Yungang Cao, Dejun Feng, Minjun Hu, Weilian Li, Yunhao Zhang, Lin Fu	Refined Extraction Of Building Outlines From High-Resolution Remote Sensing Imagery Based on a Multifeature Convolutional Neural Network and Morphological Filtering.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2020	DBLP DOI BibTeX RDF
22	Marie Destandau, Olivier Corby, Alain Giboin	Path Outlines: Browsing Path-Based Summaries of Linked Open Datasets.	CoRR	2020	DBLP BibTeX RDF
22	Felix A. Wolf, Malte Schwerhoff, Peter Müller 0001	Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper).	CoRR	2020	DBLP BibTeX RDF
22	Marie Destandau, Olivier Corby, Jean-Daniel Fekete, Alain Giboin	Path Outlines.		2020	DOI RDF
22	Vasyl Sheketa, Iurii Shcherbiak, Volodymyr Pikh, Yulia Romanyshyn, Mykola Chesanovskyy, Miroslav Kopnický	Formal Outlines of Case-Based Modelling of Data and Knowledge Sources for Drilling Control.	ACIT	2020	DBLP DOI BibTeX RDF
22	Jinhao Zhang, Mi Xiao, Liang Gao 0001, Sheng Chu	Probability and interval hybrid reliability analysis based on adaptive local approximation of projection outlines using support vector machine.	Comput. Aided Civ. Infrastructure Eng.	2019	DBLP DOI BibTeX RDF
22	Nikolaos I. Spanoudakis, Evangelia Krassadaki, Aliki Pialoglou, Nikolaos F. Matsatsinis	A Web Application for Aiding Tutors to Develop Course Outlines.	CSEDU (2)	2019	DBLP DOI BibTeX RDF
22	Takayuki Yoshida, Teruhisa Hochin, Hiroki Nomiya	Automatic Composition System Based on Melodic Outlines and Music Theory.	Int. J. Softw. Innov.	2018	DBLP DOI BibTeX RDF
22	Hanfa Xing, Yuan Meng, Jun Chen, Jie Song, Kaixuan Fan	Employing Incremental Outlines for OpenStreetMap Data Updating.	ISPRS Int. J. Geo Inf.	2018	DBLP DOI BibTeX RDF
22	Teruaki Hayashi, Yukio Ohsawa	Inferring variable labels using outlines of data in Data Jackets by considering similarity and co-occurrence.	Int. J. Data Sci. Anal.	2018	DBLP DOI BibTeX RDF
22	Saori Nakamura, Teruhisa Hochin, Hiroki Nomiya	Improvement of Automatic Composition System Based on Melodic Outlines and Impression Words.	CSII	2018	DBLP DOI BibTeX RDF
22	Jonghwi Kim, Yonghoon Cho, Jinwhan Kim	Vehicle Localization in Urban Environment Using a 2D Online Map with Building Outlines.	UR	2018	DBLP DOI BibTeX RDF
22	Andreja Spernjak, Andrej Sorgo	Outlines for science digital competence of elementary school students.	MIPRO	2018	DBLP DOI BibTeX RDF
22	Sandeep Subramanian, Sai Rajeswar, Alessandro Sordoni, Adam Trischler, Aaron C. Courville, Chris Pal	Towards Text Generation with Adversarially Learned Neural Outlines.	NeurIPS	2018	DBLP BibTeX RDF
22	Fang Chen 0004, Meimei Zhang, Bangsen Tian, Zhen Li 0001	Extraction of Glacial Lake Outlines in Tibet Plateau Using Landsat 8 Imagery and Google Earth Engine.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2017	DBLP DOI BibTeX RDF
22	Takayuki Yoshida, Teruhisa Hochin, Hiroki Nomiya	Automatic composition using melodic outlines and music theory.	SNPD	2017	DBLP DOI BibTeX RDF
22	Teruaki Hayashi, Yukio Ohsawa	Matrix-Based Method for Inferring Variable Labels Using Outlines of Data in Data Jackets.	PAKDD (2)	2017	DBLP DOI BibTeX RDF
22	Cao Xiao, Shouyi Wang, Liying Zheng, Xudong Zhang, Wanpracha Art Chaovalitwongse	A Patient-Specific Model for Predicting Tibia Soft Tissue Insertions From Bony Outlines Using a Spatial Structure Supervised Learning Framework.	IEEE Trans. Hum. Mach. Syst.	2016	DBLP DOI BibTeX RDF
22	Katerina Woodard, Jirí Neustupa	Morphometric Asymmetry of Frustule Outlines in the Pennate Diatom Luticola poulickovae (Bacillariophyceae).	Symmetry	2016	DBLP DOI BibTeX RDF
22	Chunxiao Li 0006, Hyowon Lee 0001, Dongliang Zhang, Hao Jiang	Sketch-based 3D modeling by aligning outlines of an image.	J. Comput. Des. Eng.	2016	DBLP DOI BibTeX RDF
22	Mithra Venkatesan, Anju Vijay Kumar Kulkarni	Comparative Performance Investigation of Supervised and Unsupervised Learning Outlines applied in Cognitive Radio Systems.	Wirel. Pers. Commun.	2016	DBLP DOI BibTeX RDF
22	Wolfgang Glänzel, Raphael Beck, Katrin Milzow, Stig Slipersæter, Gábor Tóth, Michal Kolodziejski, Pei-Shan Chi	Data collection and use in research funding and performing organisations. General outlines and first results of a project launched by Science Europe.	Scientometrics	2016	DBLP DOI BibTeX RDF
22	Melanie Pohl, Dirk Feldmann	Generating Straight Outlines of 2D Point Sets and Holes using Dominant Directions or Orthogonal Projections.	VISIGRAPP (1: GRAPP)	2016	DBLP DOI BibTeX RDF
22	Dirk Feldmann, Melanie Pohl	Representing Shapes of 2D Point Sets by Straight Outlines.	VISIGRAPP (Revised Selected Papers)	2016	DBLP DOI BibTeX RDF
22	Young-Gyu Kim, Tae-Hyoung Park	Localization of mobile robots from full detection of ceiling outlines.	ICIA	2016	DBLP DOI BibTeX RDF
22	Gaurav Langan, James Montgomery 0001, Saurabh Kumar Garg 0001	Similarity Matching of Computer Science Unit Outlines in Higher Education.	Australasian Conference on Artificial Intelligence	2016	DBLP DOI BibTeX RDF
22	Saliha Bouagar, Slimane Larabi	Discriminative outlines parts for shape retrieval.	J. Vis. Commun. Image Represent.	2015	DBLP DOI BibTeX RDF
22	Arthur van Goethem, Wouter Meulemans, Bettina Speckmann, Jo Wood	Exploring Curved Schematization of Territorial Outlines.	IEEE Trans. Vis. Comput. Graph.	2015	DBLP DOI BibTeX RDF
22	Roberto Blanco, Dale Miller 0001	Proof Outlines as Proof Certificates: A System Description.	WoF'15	2015	DBLP DOI BibTeX RDF
22	Kurt Luther, Nathan Hahn, Steven P. Dow, Aniket Kittur	Crowdlines: Supporting Synthesis of Diverse Information Sources through Crowdsourced Outlines.	HCOMP	2015	DBLP DOI BibTeX RDF
22	Kouhei Okada, Yasuhiro Ogawa, Makoto Nakamura, Tomohiro Ohno, Katsuhiko Toyama	Improvement of Translation Accuracy for the Outlines of Japanese Statutes by Splitting Parenthesized Expressions.	KSE	2015	DBLP DOI BibTeX RDF
22	Asterios Toutios, Shrikanth S. Narayanan	Factor analysis of vocal-tract outlines derived from real-time magnetic resonance imaging data.	ICPhS	2015	DBLP BibTeX RDF
22		Shape from Outlines of Projection.	Computer Vision, A Reference Guide	2014	DBLP DOI BibTeX RDF
22	Srinivas Nedunuri, Sailesh Prabhu, Mark Moll, Swarat Chaudhuri, Lydia E. Kavraki	SMT-based synthesis of integrated task and motion plans from plan outlines.	ICRA	2014	DBLP DOI BibTeX RDF
22	Ádám B. Csapó	Outlines of a framework for progressive representation-bridging CogInfoCom channels.	CogInfoCom	2014	DBLP DOI BibTeX RDF
22	Prabhjot Juneja, Philp M. Evans, Emma J. Harris	The Validation Index: A New Metric for Validation of Segmentation Algorithms Using Two or More Expert Outlines With Application to Radiotherapy Planning.	IEEE Trans. Medical Imaging	2013	DBLP DOI BibTeX RDF
22	Bisheng Yang, Wenxue Xu, Zhen Dong 0005	Automated Extraction of Building Outlines From Airborne Laser Scanning Point Clouds.	IEEE Geosci. Remote. Sens. Lett.	2013	DBLP DOI BibTeX RDF
22	Fernando Náufel do Amaral	Model outlines: A visual language for DL concept descriptions.	Semantic Web	2013	DBLP DOI BibTeX RDF
22	Lu Sun, Yu Xing, Gaixian Shan, Xiangqian He	Research on extraction of outlines of mandible in forensic individual recognitions.	ICDIP	2013	DBLP DOI BibTeX RDF
22	László Szécsi, Balázs Hajagos, Tamás Umenhoffer	On Depth-testing Wide Outlines.	Eurographics (Posters)	2013	DBLP DOI BibTeX RDF
22	Saliha Aouat	A new indexing approach using outlines primitives.	AICCSA	2013	DBLP DOI BibTeX RDF
22	Asma Bellili, Slimane Larabi, Neil M. Robertson	Outlines of Objects Detection by Analogy.	CAIP (1)	2013	DBLP DOI BibTeX RDF
22	Mikko Berg, Ilpo Kojo	Integrating complex information with object displays: psychophysical evaluation of outlines.	Behav. Inf. Technol.	2012	DBLP DOI BibTeX RDF
22	Frank Paul, Andreas Linsbauer	Modeling of glacier bed topography from glacier outlines, central branch lines, and a DEM.	Int. J. Geogr. Inf. Sci.	2012	DBLP DOI BibTeX RDF
22	Scott A. Hale	Unsupervised Threshold for Automatic Extraction of Dolphin Dorsal Fin Outlines from Digital Photographs in DARWIN (Digital Analysis and Recognition of Whale Images on a Network).	CoRR	2012	DBLP BibTeX RDF
22	Asanka S. Rodrigo, Ravindra S. Goonetilleke, Channa P. Witana	Model based foot shape classification using 2D foot outlines.	Comput. Aided Des.	2012	DBLP DOI BibTeX RDF
22	Véronique Amarger, Dominik Maximilián Ramík, Christophe Sabourin, Kurosh Madani, Ramón Moreno, Lucile Rossi, Manuel Graña	Spherical coordinates framed RGB color space dichromatic reflection model based image segmentation: Application to wildland fires' outlines extraction.	IPTA	2012	DBLP DOI BibTeX RDF
22	Haojin Yang, Franka Gruenewald, Christoph Meinel	Automated Extraction of Lecture Outlines from Lecture Videos - A Hybrid Solution for Lecture Video Indexing.	CSEDU (1)	2012	DBLP BibTeX RDF
22	Mikko Apiola, Saila Pakarinen, Matti Tedre	Pedagogical outlines for OLPC initiatives: A case of Ukombozi school in Tanzania.	AFRICON	2011	DBLP DOI BibTeX RDF
22	Luke M. Davis, Barry-John Theobald, Andoni Toms, Anthony J. Bagnall	On the Extraction and Classification of Hand Outlines.	IDEAL	2011	DBLP DOI BibTeX RDF
22	Elisabeth A. Jones	Large-scale book digitization in historical context: outlines of a comparison.	iConference	2011	DBLP DOI BibTeX RDF
22	Muhammad Sarfraz 0001	Vectorizing outlines of generic shapes by cubic spline using simulated annealing.	Int. J. Comput. Math.	2010	DBLP DOI BibTeX RDF